Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs
37
TL;DR: A new category of typed attributed graphs with inheritance is introduced and the notion of abstract critical pairs is defined for the detection of conflicts between graph transformations on these graphs, which allows the analysis on polymorphic rules and transformations without the need for flattening.
read more
About: This article is published in Theoretical Computer Science. The article was published on 01 Mar 2012. and is currently open access. The article focuses on the topics: Modular decomposition & Lattice graph.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
•Proceedings Article
Termination Criteria for Model Transformation
Hartmut Ehrig,Karsten Ehrig,Gabriele Taentzer,Juan de Lara,Dániel Varró,Szilvia Varró-Gyapai +5 more
- 01 Jan 2006
TL;DR: In this article, a model transformation is described in a precise way, and the model transformation can be analyzed later on. But the model transformations can be expressed in a rule-based manner.
119
•Journal Article
Conflict Detection for Graph Transformation with Negative Application Conditions
TL;DR: A critical pair definition is introduced and completeness of the set of all critical pairs is shown, which means that for each conflict, occuring in a graph transformation system with NACs, there exists a critical pair expressing the same conflict in a minimal context.
58
Formal Methods for Model-Driven Engineering
Marco Bernardo,Vittorio Cortellessa,Alfonso Pierantonio +2 more
- 01 Jan 2012
TL;DR: The author index lists the authors, authors, and topics related to Software Performance Modeling, Model Versioning, and Software Performance Antipatterns.
37
Improved Conflict Detection for Graph Transformation with Attributes
TL;DR: This paper proposes an improved, less conservative condition for static conflict detection of graph transformation with attributes by explicitly taking the semantics of the attribute operations into account, based on symbolic graphs.
17
Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation
TL;DR: This paper model and analyze self-adaptive systems by means of typed, attributed graph grammars and defines consistency and operational properties that are maintained despite adaptations and gives static conditions for their verification.
12
References
•Book
Object-Oriented Analysis and Design with Applications
Grady Booch
- 01 Jan 1990
TL;DR: This chapter discusses the development of Object-Oriented Programming Languages and the Structure of Complex Systems, and the role of Classification in this development.
3.9K
Simple Word Problems in Universal Algebras
Donald E. Knuth,Peter B. Bendix +1 more
- 01 Jan 1983
TL;DR: In this article, an algorithm is described which is capable of solving certain word problems: i.e., deciding whether or not two words composed of variables and operators can be proved equal as a consequence of a given set of identities satisfied by the operators.
Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems: Abstract Properties and Applications to Term Rewriting Systems
TL;DR: This paper gives new results, and presents old ones, concerning ChurchRosser theorems for rewrmng systems, depending solely on axioms for a binary relatton called reduction, and how these criteria yield new methods for the mechanizaUon of equattonal theories.
1.2K
•Book
Fundamentals of Algebraic Graph Transformation
Hartmut Ehrig,Karsten Ehrig,Ulrike Prange,Gabriele Taentzer +3 more
- 19 Nov 2010
TL;DR: This is the first textbook treatment of the algebraic approach to graph transformation, based on algebraic structures and category theory, and contains an introduction to classical graphs.
1.1K
Related Papers (5)
Ana Paula Lüdtke Ferreira,Leila Ribeiro +1 more
- 28 Sep 2004
Jonathan Hayman,Tobias Heindel +1 more
- 16 Mar 2013
Ronald J. Brachman,Hector J. Levesque +1 more
- 01 Jan 2004