Extending Model Synchronization Results from Triple Graph Grammars to Multiple Models

Triple graph grammars are a formally well-founded and widely used technique for model transformation and model synchronization. In previous work we have shown that basic model transformation results from triple graph grammars can be extended to multiple models and relations on the basis of a formalism called graph diagrams. In this paper we extend this theory to model synchronization by generalizing results from model synchronization for triple graphs to graph diagrams. This extension is the basis for the implementation and analysis of model synchronization in future work.

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

[2]  Thomas Vogel,et al.  Incremental model synchronization for efficient run-time monitoring , 2009, MODELS'09.

[3]  Sahin Albayrak,et al.  Extending Model to Model Transformation Results from Triple Graph Grammars to Multiple Models , 2015, ICMT.

[4]  Andy Schürr,et al.  Specification of Graph Translators with Triple Graph Grammars , 1994, WG.

[5]  Alcino Cunha,et al.  Towards a framework for multi-directional model transformations , 2014 .

[6]  Andy Schürr,et al.  Efficient Model Synchronization with Precedence Triple Graph Grammars , 2012, ICGT.

[7]  Benjamin Michotte,et al.  USIXML: A Language Supporting Multi-path Development of User Interfaces , 2004, EHCI/DS-VIS.

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

[9]  Holger Giese,et al.  Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case , 2012 .

[10]  Hartmut Ehrig,et al.  On Propagation-Based Concurrent Model Synchronization , 2013 .

[11]  Hui Song,et al.  Synchronizing concurrent model updates based on bidirectional transformation , 2013, Software & Systems Modeling.

[12]  Holger Giese,et al.  Incremental model synchronization with triple graph grammars , 2006, MoDELS'06.

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

[14]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Graph Transformation , 2006, Monographs in Theoretical Computer Science. An EATCS Series.

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

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

[17]  Fernando Orejas,et al.  Correctness of Incremental Model Synchronization with Triple Graph Grammars , 2014, ICMT.

[18]  Hartmut Ehrig,et al.  Information Preserving Bidirectional Model Transformations , 2007, FASE.

[19]  Krzysztof Czarnecki,et al.  From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case , 2011, J. Object Technol..

[20]  Hartmut Ehrig,et al.  Correctness of model synchronization based on triple graph grammars , 2011, MODELS'11.

[21]  Thomas Vogel,et al.  Adaptation and abstract runtime models , 2010, SEAMS '10.

[22]  Frank Leymann,et al.  Business process change management based on process model synchronization of multiple abstraction levels , 2011, 2011 IEEE International Conference on Service-Oriented Computing and Applications (SOCA).