Correctness of model synchronization based on triple graph grammars

No abstract is available for this paper.

• Publication year

  2011

• Venue

  ACM/IEEE International Conference on Model Driven Engineering Languages and Systems

• Publication date

  2011-10-16

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-3-642-24485-8_49
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions

  2011cited by this paper
• Using Design Pattern Clues to Improve the Precision of Design Pattern Detection Tools

  2011cited by this paper
• From state- to delta-based bidirectional model transformations: the symmetric case

  2011cited by this paper
• Preventing Information Loss in Incremental Model Synchronization by Reusing Elements

  2011cited by this paper
• Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars - Extended Version

  2010cited by this paper
• Forschungsberichte der Fakultät IV – Elektrotechnik und Informatik Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars-Extended Version

  2010cited by this paper
• Forschungsberichte der Fakultät IV – Elektrotechnik und Informatik Efficient Analysis and Execution of Correct and Complete Model Transformations Based on Triple Graph Grammars-Extended Version

  2010influential reference
• Slicing of UML models using model transformations

  2010cited by this paper
• Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday

  2010cited by this paper
• Extended Triple Graph Grammars with Efficient and Compatible Graph Translators

  2010cited by this paper
• Bridging the gap between formal semantics and implementation of triple graph grammars

  2010cited by this paper
• The Last Rule

  2010cited by this paper
• A simple game-theoretic approach to checkonly QVT Relations

  2009cited by this paper
• Model Synchronization: Mappings, Tiles, and Categories

  2009influential reference
• Comparing relational model transformation technologies: implementing Query/View/Transformation with Triple Graph Grammars

  2009influential reference
• Certifying rule-based models using graph transformation

  2009cited by this paper
• From model transformation to incremental bidirectional model synchronization

  2009influential reference
• Efficient Model Synchronization of Large-Scale Models

  2009influential reference
• On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars

  2009influential reference
• Bidirectional Transformations: A Cross-Discipline Perspective

  2009cited by this paper
• Electronic Communications of the EASST Volume 16 ( 2009 ) Proceedings of the Doctoral Symposium at the International Conference on Graph Transformation ( ICGT 2008 ) Permutation Equivalence of DPO Derivations with Negative Application Conditions based on Subobject Transformation Systems

  2009cited by this paper
• 15 Years of Triple Graph Grammars

  2008influential reference
• Subobject Transformation Systems

  2008cited by this paper
• From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars

  2008cited by this paper
• Triple Graph Grammars : Concepts , Extensions , Implementations , and Application Scenarios

  2007cited by this paper
• Information Preserving Bidirectional Model Transformations

  2007cited by this paper
• Generative and Transformational Techniques in Software Engineering II

  2007cited by this paper
• Bidirectional model transformations in QVT: semantic issues and open questions

  2007cited by this paper
• Fundamentals of Algebraic Graph Transformation

  2006cited by this paper
• Specification of Graph Translators with Triple Graph Grammars

  1994cited by this paper
• Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)

  1992cited by this paper

• KBX: Verified Model Synchronization via Formal Bidirectional Transformation

  2024cites this paper
• Comprehensive Systems: A formal foundation for Multi-Model Consistency Management

  2021cites this paper
• Model-driven engineering city spaces via bidirectional model transformations

  2021cites this paper
• Multi-Model Evolution through Model Repair

  2021influential citation
• Towards Multiple Model Synchronization with Comprehensive Systems

  2020cites this paper
• Incremental Concurrent Model Synchronization using Triple Graph Grammars

  2020influential citation
• Model-Driven Design of City Spaces via Bidirectional Transformations

  2019cites this paper
• Quality-driven Reuse of Model-based Software Architecture Elements

  2019cites this paper
• Inter-Model Consistency Checking and Restoration with Triple Graph Grammars

  2018cites this paper
• Multiple model synchronization with multiary delta lenses with amendment and K-Putput

  2018cites this paper
• Symmetric delta lenses and spans of asymmetric delta lenses

  2017cites this paper
• Leveraging Incremental Pattern Matching Techniques for Model Synchronisation

  2017cites this paper
• Automatic evaluation of complex design decisions in component-based software architectures

  2017influential citation
• A generic approach towards the collaborative construction of digital scholarly editions. (Une approche générique pour la construction collaborative d'éditions critiques électroniques)

  2017cites this paper
• Synchronisation of Model Visualisation and Code Generation Based on Model Transformation

  2016cites this paper
• A three-dimensional taxonomy for bidirectional model synchronization

  2016cites this paper
• Electronic Communications of the EASST Volume 73 ( 2016 ) Graph Computation Models Selected Revised Papers from GCM 2015 20 Years of Triple Graph Grammars : A Roadmap for Future Research

  2016cites this paper
• Extending Model Synchronization Results from Triple Graph Grammars to Multiple Models

  2016cites this paper
• Program Analysis Techniqes for Model eries and Transformations

  2016cites this paper
• Towards synchronizing relations between artifacts in the Java technological space

  2016cites this paper
• An Introduction to Triple Graph Grammars as an Implementation of the Delta-Lens Framework

  2016cites this paper
• Feature-based classification of bidirectional transformation approaches

  2015cites this paper
• Extending Model to Model Transformation Results from Triple Graph Grammars to Multiple Models

  2015cites this paper
• Model synchronization based on triple graph grammars: correctness, completeness and invertibility

  2015influential citation
• A survey of approaches for verifying model transformations

  2015cites this paper
• Model transformation languages for domain-specific workbenches

  2015cites this paper
• Triple Graph Grammars in the Large for Translating Satellite Procedures

  2014cites this paper
• Towards Domain Completeness for Model Transformations Based on Triple Graph Grammars

  2014cites this paper
• Randomized Model Generation for Performance Testing of Model Transformations

  2014cites this paper
• Towards a Rational Taxonomy for Increasingly Symmetric Model Synchronization

  2014cites this paper
• An algebraic semantics for bidirectional model synchronization

  2014cites this paper
• Correctness of Incremental Model Synchronization with Triple Graph Grammars

  2014influential citation
• Quantitative evaluation of model consistency evolution in compositional service-oriented simulation using a connected hyper-digraph

  2014cites this paper
• Formal analysis of model transformations based on triple graph grammars

  2014influential citation
• Towards Category Theory Foundations for Model Management

  2014cites this paper
• A Space of Model Synchronization Types : Symmetrization of Model Transformations and its Challenges

  2014cites this paper
• Theory and Practice of Model Transformations

  2014influential citation
• Symmetric Edit Lenses: A New Foundation for Bidirectional Languages

  2014cites this paper
• Managing Consistency of Business Process Models across Abstraction Levels

  2014cites this paper
• A Relational Approach to

  2014cites this paper
• A relational approach to bidirectional transformation

  2014cites this paper
• A Taxonomic Space for Increasingly Symmetric Model Synchronization

  2014cites this paper
• Composing Least-change Lenses

  2013cites this paper
• Conformance Analysis of Organizational Models: A New Enterprise Modeling Framework using Algebraic Graph Transformation

  2013cites this paper
• Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars

  2013cites this paper
• A framework for veri(cid:12)cation of model transformations

  2013cites this paper
• Correctness and Completeness for Incremental Model Synchronisation Based on TGGs

  2013cites this paper
• Understanding bidirectional transformations with TGGs and JTL

  2013cites this paper
• A Generic Scheme and Properties of Bidirectional Transformations

  2013cites this paper
• Towards Security Assurance in Round-Trip Engineering: A Type-Based Approach

  2013cites this paper
• Mapping-Aware Megamodeling: Design Patterns and Laws

  2013cites this paper
• Quality assurance with dynamic meta modeling

  2013cites this paper
• Electronic Communications of the EASST Volume 57 ( 2013 ) Proceedings of the Second International Workshop on Bidirectional Transformations ( BX 2013 ) On Propagation-Based Concurrent Model Synchronization

  2013cites this paper
• Enforcing QVT-R with mu-Calculus and Games

  2013cites this paper
• Weaving-based configuration and modular transformation of multi-layer systems

  2012cites this paper
• Incremental model synchronization with precedence-driven triple graph grammars

  2012cites this paper
• Bidirectional Model Transformation with Precedence Triple Graph Grammars

  2012cites this paper
• Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond

  2012cites this paper
• Verification of model transformations

  2012cites this paper
• Efficient Model Synchronization with Precedence Triple Graph Grammars

  2012influential citation
• Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars

  2012cites this paper
• Bidirectional data transformation by calculation

  2012cites this paper
• Forschungsberichte der Fakultät IV – Elektrotechnik und Informatik Conformance Analysis of Organizational Models in a new Enterprise Modeling Framework using Algebraic Graph Transformation-Extended Version

  2012cites this paper
• Electronic Communications of the EASST Volume 49 ( 2012 ) Proceedings of the First International Workshop on Bidirectional Transformations ( BX 2012 ) Complex Attribute Manipulation in TGGs with Constraint-Based Programming Techniques

  2012cites this paper
• Gouvernance et étude de l'impact du changement des processus métiers sur les architectures orientées services : une approche dirigée par les modèles. (Governance and Analysis of Business Processes Change Impact on Service Oriented Architectures: A Model-Driven Approach)

  2012cites this paper
• From state- to delta-based bidirectional model transformations: the symmetric case

  2011cites this paper
• GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations

  2011cites this paper
• Conformance Analysis of Organizational Models in a new Enterprise Modeling Framework using Algebraic Graph Transformation - Extended Version

  2011cites this paper