Formal analysis of functional behaviour for model transformations based on triple graph grammars

DOI10.1007/978-3-642-15928-2_11MaRDI QIDQ4931310zbMATH OpenOpenAlexFDO

Authors Frank Hermann, Hartmut Ehrig, Fernando Orejas, Ulrike Golas

Publication date 4 October 2010

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

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

zbMATH Keywords

confluencemodel transformationtriple graph grammarsfunctional behaviour

Mathematics Subject Classification ID

Database theory (68P15) Grammars and rewriting systems (68Q42)

Recommendations

• Formal analysis of model transformations based on triple graph grammars
• Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels
• 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
• Multi-amalgamated triple graph grammars

Cited in

(12)

• Pattern-Based Model-to-Model Transformation
• Grammar-based model transformations: definition, execution, and quality properties
• Rule-based transformation of graph rewriting rules: towards higher-order graph grammars
• A static analysis of non-confluent triple graph grammars for efficient model transformation
• Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels
• Correctness, completeness and termination of pattern-based model-to-model transformation
• Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs
• Incremental concurrent model synchronization using triple graph grammars
• Toward bridging the gap between formal foundations and current practice for triple graph grammars. Flexible relations between source and target elements
• Formal analysis of model transformations based on triple graph grammars
• Multi-amalgamated triple graph grammars
• Diagrammatic Representation and Inference

This page was built for publication: Formal analysis of functional behaviour for model transformations based on triple graph grammars

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