Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation

DOI10.1007/978-3-540-87405-8_14zbMath1175.68221OpenAlexW156775712MaRDI QIDQ3540398

Hartmut Ehrig, Claudia Ermel

Publication date: 20 November 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://depositonce.tu-berlin.de/handle/11303/11401

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (7)

Combining Graph Transformation and Algebraic Specification into Model Transformation ⋮ Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems ⋮ Towards the flexible reuse of model transformations: a formal approach based on graph transformation ⋮ Behavior-Preserving Simulation-to-Animation Model and Rule Transformations ⋮ Automating the transformation-based analysis of visual languages ⋮ Formalizing and testing the consistency of DSL transformations ⋮ Model Continuity in Discrete Event Simulation

This page was built for publication: Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation