Formal analysis of functional behaviour for model transformations based on triple graph grammars
From MaRDI portal
Publication:4931310
DOI10.1007/978-3-642-15928-2_11zbMATH Open1306.68074OpenAlexW1519554633MaRDI QIDQ4931310FDOQ4931310
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
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
- Incremental concurrent model synchronization using triple graph grammars
- Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs
- 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)
