Consistency Recovery in Interactive Modeling

MDE projects contain different kinds of artifacts such as models, metamodels, model transformations, and deltas. These artifacts are related in terms of relationships such as transformation or conformance. In this paper, we capture the types of artifacts and the relevant relationships in a megamodelingbased manner for the purpose of monitoring and recovering a MDE project’s consistency in response to changes that users may apply to the project within an interactive modeling platform. The approach supports users in experimenting with MDE projects and receiving feedback upon changes on the grounds of a specific execution semantics for megamodels. The approach is validated within the web-based modeling platform MDEFORGE.

[1]  Werner Retschitzegger,et al.  Consistent co-evolution of models and transformations , 2015, 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS).

[2]  Ralf Lämmel,et al.  Modeling the linguistic architecture of software products , 2012, MODELS'12.

[3]  Ralf Lämmel,et al.  Interpretation of Linguistic Architecture , 2014, ECMFA.

[4]  Selmin Nurcan,et al.  A Systematic Literature Review of Consistency Among Business Process Models , 2016, BMMDS/EMMSAD.

[5]  Perdita Stevens.  Bidirectional Transformations in the Large , 2017, 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS).

[6]  Udo Kelter,et al.  Automatic Generation of Consistency-Preserving Edit Operations for MDE Tools , 2014, MoDELS.

[7]  Ralf Lämmel,et al.  Interconnected Linguistic Architecture , 2017, Art Sci. Eng. Program..

[8]  Frédéric Jouault,et al.  Model Driven Management of Complex Systems: Implementing the Macroscope's Vision , 2008, 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008).

[9]  Ralf Lämmel.  Relationship Maintenance in Software Language Repositories , 2017, Art Sci. Eng. Program..

[10]  Krzysztof Czarnecki,et al.  A three-dimensional taxonomy for bidirectional model synchronization , 2016, J. Syst. Softw..

[11]  Davide Di Ruscio,et al.  Coupled Evolution in Model-Driven Engineering , 2012, IEEE Software.

[12]  Sahar Kokaly,et al.  MMINT: A Graphical Tool for Interactive Model Management , 2015, P&D@MoDELS.

[13]  Aditya K. Ghose,et al.  Towards rational and minimal change propagation in model evolution , 2014, ArXiv.

[14]  Juri Di Rocco,et al.  Model Repositories: Will They Become Reality? , 2015, CloudMDE@MoDELS.

[15]  Florian Noyrit,et al.  Use of Architecture Description to Maintain Consistency in Agile Processes , 2017, MODELSWARD.

[16]  Ralf Lämmel,et al.  Bidirectional Transformations: A Cross-Discipline Perspective , 2009, ICMT@TOOLS.

[17]  Ralf Lämmel,et al.  Axioms of Linguistic Architecture , 2017, MODELSWARD.

[18]  Thomas Kühne,et al.  Matters of (Meta-) Modeling , 2006, Software & Systems Modeling.

[19]  Juri Di Rocco,et al.  MDEForge: an Extensible Web-Based Modeling Platform , 2014, CloudMDE@MoDELS.

[20]  Ina Schaefer,et al.  Incremental Consistency Checking in Delta-oriented UML-Models for Automation Systems , 2016, FMSPLE.

[21]  Juri Di Rocco,et al.  Collaborative Repositories in Model-Driven Engineering [Software Technology] , 2015, IEEE Software.

[22]  João Araújo,et al.  SnapMind: A framework to support consistency and validation of model-based requirements in agile development , 2014, 2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE).

[23]  Dániel Varró,et al.  MONDO: Scalable Modelling and Model Management on the Cloud , 2015, STAF Doctoral Symposium / Showcase.

[24]  Gerson Sunyé,et al.  Model Consistency for Distributed Collaborative Modeling , 2017, ECMFA.

[25]  Hans Vangheluwe,et al.  Multi-level modelling in the Modelverse , 2014, MULTI@MoDELS.

[26]  Jordi Cabot,et al.  MoScript: A DSL for Querying and Manipulating Model Repositories , 2011, SLE.

[27]  Oszkár Semeráth,et al.  Incremental backward change propagation of view models by logic solvers* , 2016, MoDELS.

[28]  Richard F. Paige,et al.  Evolving models in Model-Driven Engineering: State-of-the-art and future challenges , 2016, J. Syst. Softw..

[29]  Alexander Egyed,et al.  Co-evolution of Metamodels and Models through Consistent Change Propagation , 2013, ME@MoDELS.