Normal view MARC view ISBD view

Model transformation languages relying on models as ADTs

By:

Irazábal, Jerónimo

Contributor(s):

Pons, Claudia Fabiana

Material type: Article

ArticlePublication details: ref_localidad@NULL : Springer, 2010Description: 1 archivo (311,3 KB)Subject(s):

Online resources:

Summary: In this paper we describe a simple formal approach that can be used to support the definition and implementation of model to model transforma- tions. The approach is based on the idea that models as well as metamodels should be regarded as abstract data types (ADTs), that is to say, as abstract structures equipped with a set of operations. On top of these ADTs we define a minimal, imperative model transformation language with strong formal seman- tics. This proposal can be used in two different ways, on one hand it enables simple transformations to be implemented simply by writing them in any ordi- nary programming language enriched with the ADTs. And on the other hand, it provides a practical way to formally define the semantics of more complex model transformation languages.

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Capítulo de libro	Biblioteca Fac.Informática	A0346 (Browse shelf(Opens below))	Available		DIF-A0346

Browsing Biblioteca Fac.Informática shelves Close shelf browser (Hides shelf browser)

Previous								Next
Previous	A0343 Learning life cycle in autonomous intelligent systems	A0344 Un modelo de arquitectura para el aprendizaje y compartición de conocimiento entre sistemas inteligentes autónomos distribuidos	A0345 Variables significativas de diseño óptimo en simuladores de proceso	A0346 Model transformation languages relying on models as ADTs	A0347 Supporting modularization in textual DSL development	A0348 Particle swarm optimization with variable population size	A0349 A new binary PSO with velocity control	Next

Formato de archivo: PDF. -- Este documento es producción intelectual de la Facultad de Informática - UNLP (Colección BIPA/Biblioteca)

In this paper we describe a simple formal approach that can be used to support the definition and implementation of model to model transforma- tions. The approach is based on the idea that models as well as metamodels should be regarded as abstract data types (ADTs), that is to say, as abstract structures equipped with a set of operations. On top of these ADTs we define a minimal, imperative model transformation language with strong formal seman- tics. This proposal can be used in two different ways, on one hand it enables simple transformations to be implemented simply by writing them in any ordi- nary programming language enriched with the ADTs. And on the other hand, it provides a practical way to formally define the semantics of more complex model transformation languages.

Software Language Engineering: Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers. Berlín : Springer, 2010. (Lecture Notes in Computer Science ; 5969), pp. 133-143

There are no comments on this title.

to post a comment.