Towards the Propagation of Model Updates along different Views in Multi-View Models

Models are the keystones in model-driven systems development. They describe systems at different layers of abstraction and with a focus to different domains. For each domain, dedicated domain specific visual modelling languages are used for model definitions with the idea to separate concerns to different domain experts. This enables precise problem and requirement definitions and should decrease efforts in developing and validating systems. We focus on multi-view models that are in relationship with source models by triple graph grammars. A multi-view model provides different views of the source model at different layers of abstraction but within the same DSL which is typically different from the DSL of the source model. In practice, elements in different views may overlap. We present an informal methodology for consistently propagating updates from one view to the other views and also to the source domain. We motivate our approach by multi-view models in a hospital scenario.

[1]  Andy Schürr,et al.  View Creation of Meta Models by Using Modified Triple Graph Grammars , 2008, Electron. Notes Theor. Comput. Sci..

[2]  Hartmut Ehrig,et al.  Graph and Model Transformation: General Framework and Applications , 2015 .

[3]  Andy Schürr,et al.  Efficient Model Synchronization with View Triple Graph Grammars , 2014, ECMFA.

[4]  Thomas Engel,et al.  On an Automated Translation of Satellite Procedures Using Triple Graph Grammars , 2013, ICMT.

[5]  Hartmut Ehrig,et al.  A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications , 2011, FASE.

[6]  Hartmut Ehrig,et al.  Formal analysis of model transformations based on triple graph grammars , 2014, Mathematical Structures in Computer Science.

[7]  Andy Schürr,et al.  Non-materialized Model View Specification with Triple Graph Grammars , 2006, ICGT.

[8]  Hartmut Ehrig,et al.  Model synchronization based on triple graph grammars: correctness, completeness and invertibility , 2012, Software & Systems Modeling.

[9]  Thomas Engel,et al.  Towards Bidirectional Engineering of Satellite Control Procedures Using Triple Graph Grammars , 2013, MPM@MoDELS.

[10]  Hartmut Ehrig,et al.  Triple Graph Grammars in the Large for Translating Satellite Procedures , 2014, ICMT.

[11]  Hartmut Ehrig,et al.  Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars , 2012, FASE.

[12]  Andy Schürr,et al.  15 Years of Triple Graph Grammars , 2008, ICGT.

[13]  Hartmut Ehrig,et al.  Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs , 2012, Theor. Comput. Sci..

[14]  Volker Gruhn,et al.  Model-Driven Software Development , 2005 .

[15]  Hartmut Ehrig,et al.  From state- to delta-based bidirectional model transformations: the symmetric case , 2011, MODELS'11.

[16]  Annegret Habel,et al.  Correctness of high-level transformation systems relative to nested conditions† , 2009, Mathematical Structures in Computer Science.

[17]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series) , 1992 .

[18]  Hartmut Ehrig,et al.  Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars , 2013, AMT@MoDELS.