Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars

DOI10.1007/978-3-642-15928-2_11zbMath1306.68074OpenAlexW1519554633MaRDI QIDQ4931310

Ulrike Golas, Fernando Orejas, Hartmut Ehrig, Frank Hermann

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)

Related Items (5)

Incremental Concurrent Model Synchronization using Triple Graph Grammars ⋮ Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs ⋮ Grammar-based model transformations: definition, execution, and quality properties ⋮ Formal analysis of model transformations based on triple graph grammars ⋮ Rule-based transformation of graph rewriting rules: towards higher-order graph grammars

This page was built for publication: Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars