Juan De Lara
Esther Guerra
Davide Di Ruscio
Ludovico Iovino
Skip Abstract Section
Abstract
Model transformations are key elements of model-driven engineering, where they are used to automate the manipulation of models. However, they are typed with respect to concrete source and target meta-models, making their reuse for other (even similar) meta-models challenging.
To improve this situation, we propose capturing the typing requirements for reusing a transformation with other meta-models by the notion of a typing requirements model (TRM). A TRM describes the prerequisites that a model transformation imposes on the source and target meta-models to obtain a correct typing. The key observation is that any meta-model pair that satisfies the TRM is a valid reuse context for the transformation at hand.
A TRM is made of two domain requirement models (DRMs) describing the requirements for the source and target meta-models, and a compatibility model expressing dependencies between them. We define a notion of refinement between DRMs and see meta-models as a special case of DRM. We provide a catalogue of valid refinements and describe how to automatically extract a TRM from an ATL transformation. The approach is supported by our tool TOTEM. We report on two experiments—based on transformations developed by third parties and meta-model mutation techniques—validating the correctness and completeness of our TRM extraction procedure and confirming the power of TRMs to encode variability and support flexible reuse.
- Colin Atkinson and Thomas Kühne. 2002. Rearchitecting the UML infrastructure. ACM Trans. Model. Comput. Simul. 12, 4 (2002), 290--321. Google Scholar
Digital Library
- Francesco Basciani, Davide Di Ruscio, Ludovico Iovino, and Alfonso Pierantonio. 2014. Automated chaining of model transformations with incompatible metamodels. In Proceedings of the MoDELS (LNCS), Vol. 8767. Springer International Publishing, 602--618.Google Scholar
- Artur Boronat. 2017. Structural model subtyping with OCL constraints. In Proceedings of the SLE. ACM, 194--205. Google ScholarDigital Library
- Jean-Michel Bruel, Benoit Combemale, Esther Guerra, Jean-Marc Jezequel, Joerg Kienzle, Juan de Lara, Gunter Mussbacher, Eugene Syriani, and Hans Vangheluwe. 2018. Model transformation reuse across metamodels: A classification and comparison of approaches. In Proceedings of the ICMT (LNCS), Vol. 10888. Springer, 92--109.Google Scholar
- Loli Burgueño, Javier Troya, Manuel Wimmer, and Antonio Vallecillo. 2015. Static fault localization in model transformations. IEEE Trans. Softw. Eng. 41, 5 (2015), 490--506.Google ScholarDigital Library
- Marsha Chechik, Michalis Famelis, Rick Salay, and Daniel Strüber. 2016. Perspectives of model transformation reuse. In Proceedings of the IFM (LNCS), Vol. 9681. Springer, 28--44. Google ScholarDigital Library
- Zheng Cheng, Rosemary Monahan, and James F. Power. 2018. Formalised EMFTVM bytecode language for sound verification of model transformations. Softw. Syst. Model. 17, 4 (2018), 1197--1225. Google ScholarDigital Library
- Antonio Cicchetti, Davide Di Ruscio, Romina Eramo, and Alfonso Pierantonio. 2008. Automating co-evolution in model-driven engineering. In Proceedings of the EDOC. IEEE Computer Society, 222--231. Google ScholarDigital Library
- Dave Clarke, Michiel Helvensteijn, and Ina Schaefer. 2015. Abstract delta modelling. Math. Struct. Comput. Sci. 25, 3 (2015), 482--527.Google ScholarCross Ref
- Juan de Lara and Esther Guerra. 2011. From types to type requirements: Genericity for model-driven engineering. Softw. Syst. Model. 12, 3 (2011), 453--474. Google ScholarDigital Library
- Juan de Lara and Esther Guerra. 2017. A posteriori typing for model-driven engineering: Concepts, analysis, and applications. ACM Trans. Softw. Eng. Methodol. 25, 4 (2017), 31:1--31:60. Google ScholarDigital Library
- Juan de Lara and Esther Guerra. 2018. Refactoring multi-level models. ACM Trans. Softw. Eng. Methodol. 27, 4 (2018), 17:1--17:56. Google ScholarDigital Library
- Juan de Lara, Esther Guerra, and Jesús Sánchez Cuadrado. 2014. When and how to use multilevel modelling. ACM Trans. Softw. Eng. Methodol. 24, 2 (2014), 12:1--12:46. Google ScholarDigital Library
- Juan de Lara, Esther Guerra, Joerg Kienzle, and Yanis Hattab. 2018. Facet-oriented modelling: Open objects for model-driven engineering. In Proceedings of the SLE. ACM, 147--159. Google ScholarDigital Library
- Juan de Lara, Esther Guerra, and Jesús Sánchez Cuadrado. 2015. Model-driven engineering with domain-specific meta-modelling languages. Softw. Syst. Model. 14, 1 (2015), 429--459. Google ScholarDigital Library
- Juan de Lara, Juri Di Rocco, Davide Di Ruscio, Esther Guerra, Ludovico Iovino, Alfonso Pierantonio, and Jesús Sánchez Cuadrado. 2017. Reusing model transformations through typing requirements models. In Proceedings of the FASE (LNCS), Vol. 10202. Springer, 264--282. Google ScholarDigital Library
- Juri Di Rocco, Davide Di Ruscio, Alfonso Pierantonio, Jesús Sánchez Cuadrado, Juan de Lara, and Esther Guerra. 2016. Using ATL transformation services in the MDEForge collaborative modeling platform. In Proceedings of the ICMT (LNCS), Vol. 9765. Springer, 70--78. Google ScholarDigital Library
- Davide Di Ruscio, Ludovico Iovino, and Alfonso Pierantonio. 2012. Evolutionary togetherness: How to manage coupled evolution in metamodeling ecosystems. In Proceedings of the ICGT (LNCS), Vol. 7562. Springer, 20--37. Google ScholarDigital Library
- Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, and Gabriele Taentzer. 2006. Fundamentals of Algebraic Graph Transformation. Springer. Google Scholar
- Huseyin Ergin, Eugene Syriani, and Jeff Gray. 2016. Design pattern oriented development of model transformations. Comput. Lang. Syst. Struct. 46, C (2016), 106--139. Google ScholarDigital Library
- Anne Etien, Alexis Muller, Thomas Legrand, and Richard F. Paige. 2015. Localized model transformations for building large-scale transformations. Softw. Syst. Model. 14, 3 (2015), 1189--1213. Google ScholarDigital Library
- David Faitelson and Shmuel S. Tyszberowicz. 2017. UML diagram refinement (focusing on class- and use case diagrams). In Proceedings of the ICSE. IEEE/ACM, 735--745. Google ScholarDigital Library
- Michalis Famelis and Marsha Chechik. 2019. Managing design-time uncertainty. Softw. Syst. Model. 18, 2 (2019), 1249--1284. Google ScholarDigital Library
- Douglas P. Gregor, Jaakko Järvi, Jeremy G. Siek, Bjarne Stroustrup, Gabriel Dos Reis, and Andrew Lumsdaine. 2006. Concepts: Linguistic support for generic programming in C++. In Proceedings of the OOPSLA. ACM, 291--310. Google ScholarDigital Library
- Clement Guy, Benoît Combemale, Steven Derrien, Jim Steel, and Jean-Marc Jézéquel. 2012. On model subtyping. In Proceedings of the ECMFA (LNCS), Vol. 7349. Springer, 400--415. Google ScholarDigital Library
- Robert M. Hierons, Miqing Li, Xiaohui Liu, Sergio Segura, and Wei Zheng. 2016. SIP: Optimal product selection from feature models using many-objective evolutionary optimization. ACM Trans. Softw. Eng. Methodol. 25, 2 (2016), 17:1--17:39. Google ScholarDigital Library
- Daniel Jackson. 2006. Software Abstractions—Logic, Language, and Analysis. The MIT Press. Retrieved from: http://alloytools.org/. Google ScholarDigital Library
- Cédric Jeanneret, Martin Glinz, and Benoit Baudry. 2011. Estimating footprints of model operations. In Proceedings of the ICSE. ACM, 601--610. Google ScholarDigital Library
- Frédéric Jouault, Freddy Allilaire, Jean Bézivin, and Ivan Kurtev. 2008. ATL: A model transformation tool. Sci. Comput. Prog. 72, 1--2 (2008), 31--39. Google ScholarDigital Library
- Frédéric Jouault and Jean Bézivin. 2006. KM3: A DSL for metamodel specification. In Proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS’06). Springer-Verlag, 171--185. Google ScholarDigital Library
- Kyo Kang, Sholom Cohen, James Hess, William Novak, and A. Peterson. 1990. Feature-oriented Domain Analysis (FODA) Feasibility Study. Technical Report CMU/SEI-90-TR-021. Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA.Google Scholar
- Andreas Kästner, Martin Gogolla, and Bran Selic. 2018. From (imperfect) object diagrams to (imperfect) class diagrams: New ideas and vision paper. In Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS’18). ACM, 13--22. Google ScholarDigital Library
- Anneke Kleppe. 2006. MCC: A model transformation environment. In Proceedings of the ECMDA-FA (LNCS), Vol. 4066. 173--187. Google ScholarDigital Library
- Dimitrios S. Kolovos, Richard F. Paige, and Fiona Polack. 2006. The Epsilon Object Language (EOL). In ECMDA-FA (LNCS), Vol. 4066. Springer, 128--142. Retrieved from: https://www.eclipse.org/epsilon/doc/eol/. Google ScholarDigital Library
- Dimitrios S. Kolovos, Richard F. Paige, and Fiona Polack. 2008. The epsilon transformation language. In Proceedings of the ICMT (LNCS), Vol. 5063. Springer, 46--60. Retrieved from: https://www.eclipse.org/epsilon/doc/etl/. Google ScholarDigital Library
- Angelika Kusel, Johannes Schönböck, Manuel Wimmer, Gerti Kappel, Werner Retschitzegger, and Wieland Schwinger. 2015. Reuse in model-to-model transformation languages: Are we there yet? Softw. Syst. Model. 14, 2 (2015), 537--572. Google ScholarDigital Library
- Kevin Lano and Shekoufeh Kolahdouz Rahimi. 2014. Model-transformation design patterns. IEEE Trans. Softw. Eng. 40, 12 (2014), 1224--1259.Google ScholarCross Ref
- Kevin Lano, Shekoufeh Kolahdouz Rahimi, Iman Poernomo, Jeffrey Terrell, and Steffen Zschaler. 2014. Correct-by-construction synthesis of model transformations using transformation patterns. Softw. Syst. Model. 13, 2 (2014), 873--907. Google ScholarDigital Library
- Jesús J. López-Fernández, Jesús Sánchez Cuadrado, Esther Guerra, and Juan de Lara. 2015. Example-driven meta-model development. Softw. Syst. Model. 14, 4 (2015), 1323--1347. Google ScholarDigital Library
- Levi Lúcio, Moussa Amrani, Juergen Dingel, Leen Lambers, Rick Salay, Gehan M. K. Selim, Eugene Syriani, and Manuel Wimmer. 2016. Model transformation intents and their properties. Softw. Syst. Model. 15, 3 (2016), 647--684. Google ScholarDigital Library
- Jens Meinicke, Thomas Thüm, Reimar Schröter, Fabian Benduhn, Thomas Leich, and Gunter Saake. 2017. Mastering Software Variability with FeatureIDE. Springer. Retrieved from: https://featureide.github.io/. Google Scholar
- Object Management Group. 2005. UML 2.0 OCL Specification. Retrieved from: https://www.omg.org/spec/UML/2.0/.Google Scholar
- Object Management Group. 2016. MOF Query/View/Transformation (QVT). Retrieved from: https://www.omg.org/spec/QVT/.Google Scholar
- Ana Pescador, Antonio Garmendia, Esther Guerra, Jesús Sánchez Cuadrado, and Juan de Lara. 2015. Pattern-based development of domain-specific modelling languages. In Proceedings of the MoDELS. IEEE, 166--175. Google ScholarDigital Library
- Rick Salay, Steffen Zschaler, and Marsha Chechik. 2016. Correct reuse of transformations is hard to guarantee. In Proceedings of the ICMT (LNCS), Vol. 9765. Springer, 107--122. Google ScholarDigital Library
- Jesús Sánchez Cuadrado, Esther Guerra, and Juan de Lara. 2014a. A component model for model transformations. IEEE Trans. Softw. Eng. 40, 11 (2014), 1042--1060.Google ScholarCross Ref
- Jesús Sánchez Cuadrado, Esther Guerra, and Juan de Lara. 2014b. Reverse engineering of model transformations for reusability. In Proceedings of the ICMT (LNCS), Vol. 8568. Springer, 186--201.Google Scholar
- Jesús Sánchez Cuadrado, Esther Guerra, and Juan de Lara. 2015. Reusable model transformation components with bentō. In Proceedings of the ICMT (LNCS), Vol. 9152. Springer, 59--65. Google ScholarDigital Library
- Jesús Sánchez Cuadrado, Esther Guerra, and Juan de Lara. 2017. Static analysis of model transformations. IEEE Trans. Softw. Eng. 43, 9 (2017), 868--897.Google ScholarDigital Library
- Jesús Sánchez Cuadrado, Esther Guerra, and Juan de Lara. 2018. Quick fixing ATL transformations with speculative analysis. Softw. Syst. Model. 17, 3 (2018), 779--813. Google ScholarDigital Library
- Jesús Sánchez Cuadrado and Jesús García Molina. 2008. Approaches for model transformation reuse: Factorization and composition. In Proceedings of the ICMT (LNCS), Vol. 5063. Springer, 168--182. Google ScholarDigital Library
- Jesús Sánchez Cuadrado and Jesús García Molina. 2009. Modularization of model transformations through a phasing mechanism. Softw. Syst. Model. 8, 3 (2009), 325--345.Google ScholarCross Ref
- Douglas C. Schmidt. 2006. Guest editor’s introduction: Model-driven engineering. Computer 39, 2 (2006), 25--31. Google ScholarDigital Library
- Gehan M. K. Selim, James R. Cordy, and Juergen Dingel. 2017. How is ATL really used? Language feature use in the ATL zoo. In Proceedings of the MoDELS. IEEE Computer Society, 34--44. Google ScholarDigital Library
- Sagar Sen, Naouel Moha, Benoit Baudry, and Jean-Marc Jézéquel. 2009. Meta-model pruning. In Proceedings of the MoDELS (LNCS), Vol. 5795. Springer, 32--46. Google ScholarDigital Library
- Shane Sendall and Wojtek Kozaczynski. 2003. Model transformation: The heart and soul of model-driven software development. IEEE Software 20, 5 (2003), 42--45. Google ScholarDigital Library
- Sirius. last accessed in 2018. Retrieved from: https://eclipse.org/sirius/.Google Scholar
- Kenneth Slonneger and Barry L. Kurtz. 1995. Formal Syntax and Semantics of Programming Languages. Vol. 340. Addison-Wesley Reading. Google ScholarDigital Library
- Jim Steel and Jean-Marc Jézéquel. 2007. On model typing. Softw. Syst. Model. 6, 4 (2007), 401--413.Google ScholarCross Ref
- Dave Steinberg, Frank Budinsky, Marcelo Paternostro, and Ed Merks. 2008. EMF: Eclipse Modeling Framework, 2<sup>nd</sup> Edition. Addison-Wesley Professional. Retrieved from: http://www.eclipse.org/modeling/emf/. Google ScholarDigital Library
- Daniel Strüber, Julia Rubin, Thorsten Arendt, Marsha Chechik, Gabriele Taentzer, and Jennifer Plöger. 2018. Variability-based model transformation: Formal foundation and application. Formal Asp. Comput. 30, 1 (2018), 133--162. Google ScholarCross Ref
- Javier Troya, Sergio Segura, José Antonio Parejo, and Antonio Ruiz Cortés. 2018. Spectrum-based fault localization in model transformations. ACM Trans. Softw. Eng. Methodol. 27, 3 (2018), 13:1--13:50. Google ScholarDigital Library
- Javier Troya and Antonio Vallecillo. 2011. A rewriting logic semantics for ATL. J. Obj. Technol. 10 (2011), 5: 1--29.Google ScholarCross Ref
- Antonio Vallecillo and Martin Gogolla. 2012. Typing model transformations using tracts. In Proceedings of the ICMT (Lecture Notes in Computer Science), Vol. 7307. Springer, 56--71. Google ScholarDigital Library
- Arie van Deursen, Paul Klint, and Joost Visser. 2000. Domain-specific languages: An annotated bibliography. SIGPLAN Notices 35, 6 (2000), 26--36. Google ScholarDigital Library
- Andrés Vignaga, Frédéric Jouault, María Cecilia Bastarrica, and Hugo Brunelière. 2013. Typing artifacts in megamodeling. Softw. Syst. Model. 12, 1 (2013), 105--119. Google ScholarDigital Library
- Dennis Wagelaar, Ragnhild Van Der Straeten, and Dirk Deridder. 2010. Module superimposition: A composition technique for rule-based model transformation languages. Softw. Syst. Model. 9, 3 (2010), 285--309.Google ScholarCross Ref
- Jon Whittle, John Edward Hutchinson, and Mark Rouncefield. 2014. The state of practice in model-driven engineering. IEEE Software 31, 3 (2014), 79--85.Google ScholarCross Ref
- Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schönböck, Wieland Schwinger, Dimitris S. Kolovos, Richard F. Paige, Marius Lauder, Andy Schürr, and Dennis Wagelaar. 2012. Surveying rule inheritance in model-to-model transformation languages. J. Obj. Technol. 11, 2 (2012), 3: 1--46.Google Scholar
- Steffen Zschaler. 2014. Towards constraint-based model types: A generalised formal foundation for model genericity. In Proceedings of the VAO. ACM, New York, NY, Article 11, 8 pages. Google ScholarDigital Library
Index Terms
- Automated Reuse of Model Transformations through Typing Requirements Models
Recommendations
Verification of ATL transformations using transformation models and model finders
ICFEM'12: Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineeringIn model-driven engineering, models constitute pivotal elements of the software to be built. If models are specified well, transformations can be employed for different purposes, e.g., to produce final code. However, it is important that models produced ...
A UML Model to Simulink Model Transformation Method in the Design of Embedded Software
CIS '14: Proceedings of the 2014 Tenth International Conference on Computational Intelligence and SecurityModel Driven Development is becoming the trend of embedded software development, UML and Simulink are very important modeling languages. However, UML is a semi-formal modeling language, lacking of accurate semantics, which can't validate correctness of ...
From types to type requirements: genericity for model-driven engineering
Model-driven engineering (MDE) is a software engineering paradigm that proposes an active use of models during the development process. This paradigm is inherently type-centric, in the sense that models and their manipulation are defined over the types ...
Comments