Portal de Periódicos da CAPES

Controlling Reuse in Pattern-Based Model-to-Model Transformations

2010; Springer Science+Business Media; Linguagem: Inglês

10.1007/978-3-642-17322-6_9

1611-3349

Esther Guerra, Juan de Lara, Fernando Orejas,

Advanced Software Engineering Methodologies

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.