Formal Integration of Inheritance with Typed Attributed Graph Transformation for Efficient VL Definition and Model Manipulation

2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05) ◽

10.1109/vlhcc.2005.37 ◽

2005 ◽

Author(s):

H. Ehrig ◽

K. Ehrig ◽

U. Prange ◽

G. Taentzer

Keyword(s):

Graph Transformation ◽

Attributed Graph ◽

Formal Integration

Download Full-text

Implementation of Typed Attributed Graph Transformation by AGG

Monographs in Theoretical Computer Science. An EATCS Series - Fundamentals of Algebraic Graph Transformation ◽

10.1007/3-540-31188-2_15 ◽

2006 ◽

pp. 305-323 ◽

Keyword(s):

Graph Transformation ◽

Attributed Graph

Download Full-text

Confluence of Typed Attributed Graph Transformation Systems

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/3-540-45832-8_14 ◽

2002 ◽

pp. 161-176 ◽

Author(s):

Reiko Heckel ◽

Jochen Malte Küster ◽

Gabriele Taentzer

Keyword(s):

Graph Transformation ◽

Attributed Graph ◽

Transformation Systems ◽

Graph Transformation Systems

Download Full-text

Incorporating Proofs in a Categorical Attributed Graph Transformation System for Software Modelling and Verification

Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development ◽

10.5220/0004321200620074 ◽

2013 ◽

Keyword(s):

Graph Transformation ◽

Transformation System ◽

Attributed Graph ◽

Software Modelling

Download Full-text

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

Theoretical Computer Science ◽

10.1016/j.tcs.2012.01.032 ◽

2012 ◽

Vol 424 ◽

pp. 46-68 ◽

Author(s):

Ulrike Golas ◽

Leen Lambers ◽

Hartmut Ehrig ◽

Fernando Orejas

Keyword(s):

Graph Transformation ◽

Conflict Detection ◽

Attributed Graph ◽

Download Full-text

Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions

Graph Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-51372-6_15 ◽

2020 ◽

pp. 257-275

Author(s):

Sven Schneider ◽

Johannes Dyck ◽

Holger Giese

Keyword(s):

Formal Verification ◽

Graph Transformation ◽

Attributed Graph ◽

Transformation Systems ◽

Graph Transformation Systems

Download Full-text

Towards the Verification of Attributed Graph Transformation Systems

Lecture Notes in Computer Science - Graph Transformations ◽

10.1007/978-3-540-87405-8_21 ◽

2008 ◽

pp. 305-320 ◽

Author(s):

Barbara König ◽

Vitali Kozioura

Keyword(s):

Graph Transformation ◽

Attributed Graph ◽

Transformation Systems ◽

Graph Transformation Systems

Download Full-text

Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation

Formal Methods in Software and Systems Modeling - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31847-7_4 ◽

2005 ◽

pp. 64-83 ◽

Author(s):

Claudia Ermel ◽

Gabriele Taentzer ◽

Roswitha Bardohl

Keyword(s):

Graph Transformation ◽

Attributed Graph ◽

Download Full-text

Typed Attributed Graph Transformation Systems

Monographs in Theoretical Computer Science. An EATCS Series - Fundamentals of Algebraic Graph Transformation ◽

10.1007/3-540-31188-2_9 ◽

2006 ◽

pp. 181-205

Keyword(s):

Graph Transformation ◽

Attributed Graph ◽

Transformation Systems ◽

Graph Transformation Systems

Download Full-text

Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2006.01.011 ◽

2006 ◽

Vol 152 ◽

pp. 3-22 ◽

Author(s):

Hartmut Ehrig ◽

Karsten Ehrig

Keyword(s):

Graph Transformation ◽

Model Transformations ◽

Attributed Graph ◽

Formal Concepts

Download Full-text

Checking Bisimilarity for Attributed Graph Transformation

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/978-3-642-37075-5_8 ◽

2013 ◽

pp. 113-128

Author(s):

Fernando Orejas ◽

Artur Boronat ◽

Ulrike Golas ◽

Nikos Mylonakis

Keyword(s):

Graph Transformation ◽

Attributed Graph

Download Full-text