Model transformations are key elements of Model-Drive Engineering (MDE), where they are used to automate the manipulation of models. However, they are typed with respect to concrete source and target meta-models and hence their reuse for other (even similar) meta-models becomes challenging. In this paper, we describe a method to extract a typing requirements model (TRM) from an ATL model-to-model transformation. A TRM describes the requirements that the transformation needs from the source and target meta-models in order to obtain a transformation with a syntactically correct typing. A TRM is made of three parts, two of them describing the requirements for the source and target meta-models, and the last expressing dependencies between both.We define a notion of conformance of meta-model pairs with respect to TRMs. This way, the transformation can be used with any meta-model conforming to the TRM.We present tool support and an experimental validation of correctness and completeness using meta-model mutation techniques, obtaining promising results.
CITATION STYLE
de Lara, J., Di Rocco, J., Di Ruscio, D., Guerra, E., Iovino, L., Pierantonio, A., & Cuadrado, J. S. (2017). Reusing model transformations through typing requirements models. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10202 LNCS, pp. 264–282). Springer Verlag. https://doi.org/10.1007/978-3-662-54494-5_15
Mendeley helps you to discover research relevant for your work.