Model transformation languages relying on models as ADTs
Material type:
ArticleDescription: 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.
| Item type | Home library | Collection | Call number | URL | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|
Capítulo de libro
|
Biblioteca de la Facultad de Informática | Biblioteca digital | A0346 (Browse shelf(Opens below)) | Link to resource | Recurso en Línea |
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