ICGT 2006 was the 3rd International Conference on Graph Transformation, following the previous two in Barcelona (2002) and Rome (2004), and a series of six international workshops between 1978 and 1998. ICGT 2006 was held in Natal (Rio Grande do Norte, Brazil) on September 17-23, 2006, co-located with the Brazilian Symposium on Formal Methods (SBMF 2006), under the auspices of the BrazilianComputer Society (SBC), the EuropeanAssociation of Software Science and Technology (EASST), the European Association for Theoretical Computer Science (EATCS) and the IFIP WG 1.3 on Foundations of Systems Speci?cation. The conference obtained partial support from Formal Methods Europe and IFIP TC 1 on Foundations of Computer Science. The scope of the conference concerned graphical structures of various kinds (like graphs, diagrams and visual sentences) that are useful when describing complex structures and systems in a direct and intuitive way. These structures are often enriched with formalisms that model their evolution via suitable kinds of transformations. The ?eld of the conference was concerned with the theory, applications, and implementation issues of such formalisms. Particularemphasis wasputonmetamodelswhichcanaccommodateavarietyofgraphicalstructures within the same abstract theory.
Author(s): Arend Rensink (auth.), Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg (eds.)
Series: Lecture Notes in Computer Science 4178 : Theoretical Computer Science and General Issues
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2006
Language: English
Pages: 473
Tags: Data Structures; Software Engineering; Computation by Abstract Devices; Algorithm Analysis and Problem Complexity; Logics and Meanings of Programs; Discrete Mathematics in Computer Science
Front Matter....Pages -
Nested Quantification in Graph Transformation Rules....Pages 1-13
Idioms of Logical Modelling....Pages 14-14
New Algorithms and Applications of Cyclic Reference Counting....Pages 15-29
Sesqui-Pushout Rewriting....Pages 30-45
Automata on Directed Graphs: Edge Versus Vertex Marking....Pages 46-60
Conflict Detection for Graph Transformation with Negative Application Conditions....Pages 61-76
Adaptive Star Grammars....Pages 77-91
Narrowing Data-Structures with Pointers....Pages 92-106
Molecular Analysis of Metabolic Pathway with Graph Transformation....Pages 107-121
Matrix Approach to Graph Transformation: Matching and Sequences....Pages 122-137
String Generating Hypergraph Grammars with Word Order Restrictions....Pages 138-152
Composition and Decomposition of DPO Transformations with Borrowed Context....Pages 153-167
Process Bisimulation Via a Graphical Encoding....Pages 168-183
Toposes Are Adhesive....Pages 184-198
Graph Transactions as Processes....Pages 199-214
Categorical Foundations of Distributed Graph Transformation....Pages 215-229
Dynamic Graph Transformation Systems....Pages 230-244
Autonomous Units and Their Semantics — The Sequential Case....Pages 245-259
Termination Analysis of Model Transformations by Petri Nets....Pages 260-274
Non-functional Analysis of Distributed Systems in Unreliable Environments Using Stochastic Object Based Graph Grammars....Pages 275-290
Temporal Graph Queries to Support Software Evolution....Pages 291-305
On the Use of Alloy to Analyze Graph Transformation Systems....Pages 306-320
Non-materialized Model View Specification with Triple Graph Grammars....Pages 321-335
Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract....Pages 336-350
Model View Management with Triple Graph Transformation Systems....Pages 351-366
Graph Transformation in Constant Time....Pages 367-382
GrGen: A Fast SPO-Based Graph Rewriting Tool....Pages 383-397
Realizing Graph Transformations by Pre- and Postconditions and Command Sequences....Pages 398-413
Heuristic Search for the Analysis of Graph Transition Systems....Pages 414-429
Satisfiability of High-Level Conditions....Pages 430-444
Weakest Preconditions for High-Level Programs....Pages 445-460
Introductory Tutorial on Foundations and Applications of Graph Transformation....Pages 461-462
Workshop on Graph Computation Models....Pages 463-464
Workshop on Graph-Based Tools....Pages 465-466
Workshop on Petri Nets and Graph Transformations....Pages 467-469
3rd International Workshop on Software Evolution Through Transformations: Embracing Change....Pages 470-472
Back Matter....Pages -
