Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels

DOI10.1007/978-3-540-87405-8_13MaRDI QIDQ3540397zbMATH OpenOpenAlexFDO

Authors Hartmut Ehrig, Ulrike Prange

Publication date 20 November 2008

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

Full work available at URL https://doi.org/10.1007/978-3-540-87405-8_13

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42)

Recommendations

• Formal analysis of model transformations based on triple graph grammars
• Formal analysis of functional behaviour for model transformations based on triple graph grammars
• Construction of integrity preserving triple graph grammars
• Toward bridging the gap between formal foundations and current practice for triple graph grammars. Flexible relations between source and target elements
• A static analysis of non-confluent triple graph grammars for efficient model transformation

Cites work

• scientific article; zbMATH DE number 5605140 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• Fundamentals of algebraic graph transformation
• Model View Management with Triple Graph Transformation Systems

Cited in

(3)

• Formal analysis of functional behaviour for model transformations based on triple graph grammars
• Correctness, completeness and termination of pattern-based model-to-model transformation
• Formal analysis of model transformations based on triple graph grammars

This page was built for publication: Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3540397)