Publication: Controlling Reuse in Pattern-Based Model-to-Model Transformations
Loading...
Advisors
Tutors
Editor
Publication date
Defense date
Journal Title
Journal ISSN
Volume Title
Publisher
Springer
publication.page.ispartofseries
Lecture Notes in Computer Scie
5765
5765
To cite this item, use the following identifier: https://hdl.handle.net/10016/19193
Abstract
Model-to-model transformation is a central activity in Model-Driven Engineering that consists of transforming models from a source to a target language. Pattern-based model-to-model transformation is our approach for specifying transformations in a declarative, relational and formal style. The approach relies on patterns describing allowed or forbidden relations between two models. These patterns are compiled into operational mechanisms to perform forward and backward transformations. Inspired by QVT-Relations, in this paper we incorporate into our framework the so-called check-before-enforce semantics, which checks the existence of suitable elements before creating them (i.e. it promotes reuse). Moreover, we enable the use of keys in order to describe when two elements are considered equal. The presented techniques are illustrated with a bidirectional transformation between Web Services Description Language and Enterprise Java Beans models.
Note
Funder
Research project
Bibliographic citation
Engels, G. et al. (eds.) (2010). Graph Transformations and Model-Driven Engineering: Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday. (Lecture Notes in Computer Science, 5765). Springer, 175-201.