## Graph Transformations: Third International Conference, ICGT 2006, Rio Grande Do Norte, Brazil, September 17-23, 2006, ProceedingsAndrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg 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. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Nested Quantiﬁcation in Graph Transformation Rules | 1 |

Idioms of Logical Modelling | 14 |

New Algorithms and Applications of Cyclic Reference Counting | 15 |

SesquiPushout Rewriting | 30 |

Edge Versus Vertex Marking | 46 |

Conﬂict Detection for Graph Transformation with Negative Application Conditions | 61 |

Adaptive Star Grammars | 77 |

Narrowing DataStructures with Pointers | 92 |

in Unreliable Environments Using Stochastic Object Based Graph Grammars | 275 |

Temporal Graph Queries to Support Software Evolution | 291 |

On the Use of Alloy to Analyze Graph Transformation Systems | 306 |

Nonmaterialized Model View Speciﬁcation with Triple Graph Grammars | 321 |

An Application of Graph Transformation for Design by Contract | 336 |

Model View Management with Triple Graph Transformation Systems | 351 |

Graph Transformation in Constant Time | 367 |

A Fast SPOBased Graph Rewriting Tool | 383 |

Molecular Analysis of Metabolic Pathway with Graph Transformation | 107 |

Matching and Sequences | 122 |

String Generating Hypergraph Grammars with Word Order Restrictions | 138 |

Composition and Decomposition of DPO Transformations with Borrowed Context | 153 |

Process Bisimulation Via a Graphical Encoding | 168 |

Toposes Are Adhesive | 184 |

Graph Transactions as Processes | 199 |

Categorical Foundations of Distributed Graph Transformation | 215 |

Dynamic Graph Transformation Systems | 230 |

Autonomous Units and Their Semantics The Sequential Case | 245 |

by Petri Nets | 260 |

Realizing Graph Transformations by Pre and Postconditions and Command Sequences | 398 |

Heuristic Search for the Analysis of Graph Transition Systems | 414 |

Satisﬁability of HighLevel Conditions | 430 |

Weakest Preconditions for HighLevel Programs | 445 |

Foundations and Applications of Graph Transformation | 461 |

Workshop on Graph Computation Models | 463 |

Workshop on GraphBased Tools | 465 |

Workshop on Petri Nets and Graph Transformations | 467 |

Software Evolution Through Transformations Embracing Change | 470 |

473 | |

### Other editions - View all

### Common terms and phrases

abstract adhesive categories algebraic algorithm analysis application conditions approach arrows attribute automata autonomous units bisimulation citric acid cycle cloning coequaliser Computer Science conﬁguration conﬂict consider constraints construction Corradini corresponding critical pair deﬁned Deﬁnition deleted denoted derivation diagram diﬀerent digraph eﬀective Ehrig encoding epimorphism example exists ﬁnal ﬁnite ﬁrst Fujaba functor graph G Graph Grammars graph morphisms graph queries graph rewriting graph transformation systems heuristic host graph hyperedge hypergraph ICGT implementation inﬁnite injective interface isomorphism labels language Lemma LNCS mapping match metamodel model transformation monomorphisms NACs nodes and edges object operation paper Petri nets Postcondition precondition production proof properties pullback pullback complement pushout reference counting rewrite rules satisﬁes Section semantics sequence speciﬁcation Springer structure subgraph t-gts Taentzer target term-graph Theorem tion token tool transition Triple Graph type graph visual contracts