Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs

DOI10.1016/j.tcs.2012.01.032zbMath1284.68324OpenAlexW1982728514MaRDI QIDQ418014

Leen Lambers, Fernando Orejas, Hartmut Ehrig, Ulrike Golas

Publication date: 14 May 2012

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2012.01.032

zbMATH Keywords

inheritance\(M\)-adhesive category with NACscritical pair analysistyped attributed graph transformation

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Abstract data types; algebraic specification (68Q65) Grammars and rewriting systems (68Q42) Special categories (18B99)

Related Items (5)

Amalgamation of domain specific languages with behaviour ⋮ Polymorphic Sesqui-Pushout Graph Rewriting ⋮ Drags: a compositional algebraic framework for graph rewriting ⋮ Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality ⋮ Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation

Uses Software

• AGG
• GROOVE
• OOZE
• Henshin

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Attributed graph transformation with node type inheritance
• Partial confluence of processes and systems of objects
• Fundamentals of algebraic graph transformation
• Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions
• Formal Verification of Object-Oriented Graph Grammars Specifications
• Embedding and Confluence of Graph Transformations with Negative Application Conditions
• Conflict Detection for Graph Transformation with Negative Application Conditions
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Handbook of Graph Grammars and Computing by Graph Transformation
• Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars
• Local Confluence for Rules with Nested Application Conditions
• Handbook of Graph Grammars and Computing by Graph Transformation
• Defining Object-Oriented Execution Semantics Using Graph Transformations
• Graph Transformations
• Fundamental Approaches to Software Engineering
• Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs
• A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams
• Formal Methods in Software and Systems Modeling
• Processes, Terms and Cycles: Steps on the Road to Infinity

This page was built for publication: Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs