An algebraic framework for the transformation of attributed graphs
Term graph rewriting
Programmed graph replacement systems
Handbook of graph grammars and computing by graph transformation
Handbook of graph grammars and computing by graph transformation: vol. 3: concurrency, parallelism, and distribution
Distributed graph transformation with application to visual design of distributed systems
Handbook of graph grammars and computing by graph transformation
Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools
The AGG approach: language and environment
Handbook of graph grammars and computing by graph transformation
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
A visual environment for visual languages
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
A Generic Component Framework for System Modeling
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Pushout Complements for Arbitrary Partial Algebras
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
Introduction to the Algebraic Theory of Graph Grammars (A Survey)
Proceedings of the International Workshop on Graph-Grammars and Their Application to Computer Science and Biology
Confluence of Typed Attributed Graph Transformation Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Semantic Integration of Heterogeneous Software Specifications (Monographs in Theoretical Computer Science)
Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Theory of Constraints and Application Conditions: From Graphs to High-Level Structures
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Companion of the 30th international conference on Software engineering
Explicit State Model Checking for Graph Grammars
Concurrency, Graphs and Models
High-Level Programs and Program Conditions
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
A Graph-Based Operational Semantics of OO Programs
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Modeling dynamic reconfigurations in Reo using high-level replacement systems
Science of Computer Programming
Delaying constraint solving in symbolic graph transformation
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Symbolic graphs for attributed graph constraints
Journal of Symbolic Computation
The edge of graph transformation: graphs for behavioural specification
Graph transformations and model-driven engineering
Formalizing model consistency based on the abstract syntax
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems
Contextual ontology module learning from web snippets and past user queries
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part II
Verification of graph grammars using a logical approach
Science of Computer Programming
Modeling the flow and change of information on the web
Proceedings of the 21st international conference companion on World Wide Web
Graph-based implicit knowledge discovery from architecture change logs
Proceedings of the WICSA/ECSA 2012 Companion Volume
A visual token-based formalization of BPMN 2.0 based on in-place transformations
Information and Software Technology
Hi-index | 0.00 |
The concept of typed attributed graphs and graph transformation is most significant for modeling and meta modeling in software engineering and visual languages, but up to now there is no adequate theory for this important branch of graph transformation. In this article we give a new formalization of typed attributed graphs, which allows node and edge attribution. The first main result shows that the corresponding category is isomorphic to the category of algebras over a specific kind of attributed graph structure signature. This allows to prove the second main result showing that the category of typed attributed graphs is an instance of "adhesive HLR categories". This new concept combines adhesive categories introduced by Lack and Sobociński with the well-known approach of high-level replacement (HLR) systems using a new simplified version of HLR conditions. As a consequence we obtain a rigorous approach to typed attributed graph transformation providing as fundamental results the Local Church-Rosser, Parallelism, Concurrency, Embedding and Extension Theorem and a Local Confluence Theorem known as Critical Pair Lemma in the literature.