Formal analysis of model transformations based on triple graph grammars
From MaRDI portal
Publication:5740377
DOI10.1017/S0960129512000370zbMath1342.68180OpenAlexW2040657499MaRDI QIDQ5740377
Hartmut Ehrig, Frank Hermann, Fernando Orejas, Ulrike Golas
Publication date: 26 July 2016
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129512000370
Database theory (68P15) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)
Related Items (1)
Cites Work
- Fundamentals of algebraic graph transformation
- On theories with a combinatorial definition of 'equivalence'
- Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation
- Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels
- Pattern-Based Model-to-Model Transformation
- Model View Management with Triple Graph Transformation Systems
- Correctness of high-level transformation systems relative to nested conditions
- Handbook of Graph Grammars and Computing by Graph Transformation
- Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars
- Adhesive and quasiadhesive categories
This page was built for publication: Formal analysis of model transformations based on triple graph grammars
