Query-driven soft interconnection of EMF models

Model repositories based on the Eclipse Modeling Framework (EMF) play a central role in the model-driven development of complex software-intensive systems by offering means to persist and manipulate models obtained from heterogeneous languages and tools. Complex EMF models can be assembled by interconnecting model fragments by hard links, i.e. regular references, where the target end points to external resources using storage-specific URIs. This approach, in certain application scenarios, may prove to be a too rigid and error prone way of interlinking models. As a flexible alternative, we propose to combine derived features of EMF models with advanced incremental model queries as means for soft interlinking of model elements residing in different model resources. These soft links can be calculated on-demand with graceful handling for temporarily unresolved references. In the background, the interlinks are maintained efficiently and flexibly by using incremental model queries as provided by the EMF-IncQuery framework.

[1]  Matthias Jarke,et al.  Metamodeling for Method Engineering , 2009 .

[2]  Kevin Lano,et al.  Slicing of UML models using model transformations , 2010, MODELS'10.

[3]  Arend Rensink.  Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings , 2009, ECMDA-FA.

[4]  Edward D. Willink.  Aligning OCL with UML , 2011, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[5]  Uwe Aßmann,et al.  Reference Attribute Grammars for Metamodel Semantics , 2010, SLE.

[6]  Perdita Stevens,et al.  Modelling Recursive Calls with UML State Diagrams , 2003, FASE.

[7]  Antonio Vallecillo,et al.  Objects, Models, Components, Patterns , 2011, Lecture Notes in Computer Science.

[8]  Krzysztof Czarnecki,et al.  Intermodeling, Queries, and Kleisli Categories , 2012, FASE.

[9]  Dániel Varró,et al.  Live Model Transformations Driven by Incremental Pattern Matching , 2008, ICMT@TOOLS.

[10]  Alexander Egyed,et al.  Incremental Consistency Checking of Dynamic Constraints , 2010, FASE.

[11]  Herman Balsters,et al.  Modelling Database Views with Derived Classes in the UML/OCL-Framework , 2003, UML.

[12]  Dániel Varró,et al.  The model transformation language of the VIATRA2 framework , 2007, Sci. Comput. Program..

[13]  Ákos Horváth,et al.  Incremental evaluation of model queries over EMF models , 2010, MODELS'10.

[14]  Richard F. Paige,et al.  Concordance: A Framework for Managing Model Integrity , 2010, ECMFA.

[15]  Perdita Stevens.  A Simple Game-Theoretic Approach to Checkonly QVT Relations , 2009, ICMT@TOOLS.

[16]  Andy Schürr,et al.  Introduction to PROGRESS, an Attribute Graph Grammar Based Specification Language , 1990, WG.

[17]  Jordi Cabot,et al.  Virtual Composition of EMF Models , 2011 .

[18]  Dániel Varró,et al.  A Graph Query Language for EMF Models , 2011, ICMT@TOOLS.

[19]  João Saraiva,et al.  Generative and Transformational Techniques in Software Engineering II , 2007, Lecture Notes in Computer Science.

[20]  Dániel Varró,et al.  Incremental Pattern Matching for the Efficient Computation of Transitive Closure , 2012, ICGT.

[21]  Holger Giese,et al.  Proceedings of the Eighth International Workshop on Graph Transformation and Visual Modeling Techniques , 2009 .

[22]  Jordi Cabot,et al.  Incremental integrity checking of UML/OCL conceptual schemas , 2009, J. Syst. Softw..

[23]  Ákos Horváth,et al.  Integrating Efficient Model Queries in State-of-the-Art EMF Tools , 2012, TOOLS.

[24]  Markus Scheidgen.  On Implementing MOF 2 . 0 – New Features for Modelling Language Abstractions , 2005 .

[25]  Ulrich Nickel,et al.  The FUJABA environment , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[26]  Zinovy Diskin,et al.  Model Synchronization: Mappings, Tiles, and Categories , 2009, GTTSE.

[27]  Roger D. Launius,et al.  The Eclipse Project , 2012 .

[28]  Dimitrios S. Kolovos,et al.  Establishing Correspondences between Models with the Epsilon Comparison Language , 2009, ECMDA-FA.

[29]  Dániel Varró,et al.  Derived Features for EMF by Integrating Advanced Model Queries , 2012, ECMFA.

[30]  Gabriele Taentzer,et al.  Precise Semantics of EMF Model Transformations by Graph Transformation , 2008, MoDELS.

[31]  Dongxi Liu,et al.  Towards automatic model synchronization from model transformations , 2007, ASE.

[32]  Adil Anwar,et al.  A Rule-Driven Approach for composing Viewpoint-oriented Models , 2010, J. Object Technol..