Personal tools
You are here: Home Publications

Scientific Papers

ISSI Research Papers

Paper information
Title
Algebraic Specification of a Model Transformation Engine
Published in
Fundamental Approaches to Software Engineering (FASE'06). ETAPS'06. Springer LNCS. Vienna (Austria). March 27-29. 2006. - 2006
Abstract
In Model-Driven Engineering, a software development process is a sequence of manipulation tasks that are applied to models, where model transformations play a relevant role. MOMENT (MOdel manageMENT) is a framework that is integrated in the Eclipse platform. MOMENT provides a collection of generic set-oriented operators to manipulate EMF models. In this paper, we present the model transformation mechanism that is embodied by the ModelGen operator. This operator uses the term rewriting system Maude as transformation engine and provides support for traceability. ModelGen has been defined in an algebraic specification so that we can use formal tools to reason about transformation features, such as termination and confluence. Furthermore, its application to EMF models shows that formal methods can be applied to industrial modeling tools in an efficient way. Finally, we indicate how the ModelGen operator provides support for the QVT Relations language in the MOMENT Framework.


BibTeX
@misc{issi_web:id:169,
        title =  "Algebraic Specification of a Model Transformation Engine",
        author = "Artur Boronat Moll and Jose Angel Carsí Cubel and Isidro Ramos Salavert",
        booktitle = "Fundamental Approaches to Software Engineering (FASE'06). ETAPS'06. Springer LNCS. Vienna (Austria). March 27-29. 2006.",
        year = "2006",
        eprint = "http://issi.dsic.upv.es/publications/archives/",
        url = "",
        abstract = "In Model-Driven Engineering, a software development process is a sequence of manipulation tasks that are applied to models, where model transformations play a relevant role. MOMENT (MOdel manageMENT) is a framework that is integrated in the Eclipse platform. MOMENT provides a collection of generic set-oriented operators to manipulate EMF models. In this paper, we present the model transformation mechanism that is embodied by the ModelGen operator. This operator uses the term rewriting system Maude as transformation engine and provides support for traceability. ModelGen has been defined in an algebraic specification so that we can use formal tools to reason about transformation features, such as termination and confluence. Furthermore, its application to EMF models shows that formal methods can be applied to industrial modeling tools in an efficient way. Finally, we indicate how the ModelGen operator provides support for the QVT Relations language in the MOMENT Framework."
}