## Graph Transformation: First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, ProceedingsAndrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg ICGT 2002 was the ?rst International Conference on Graph Transformation following a series of six international workshops on graph grammars with - plications in computer science, held in Bad Honnef (1978), Osnabruc ̈ k (1982), Warrenton (1986), Bremen (1990), Williamsburg (1994), and Paderborn (1998). ICGT 2002 was held in Barcelona (Spain), October 7–12, 2002 under the a- pices of the European Association of Theoretical Computer Science (EATCS), the European Association of Software Science and Technology (EASST), and the IFIP Working Group 1.3, Foundations of Systems Speci?cation. The scope of the conference concerned graphical structures of various kinds (like graphs, diagrams, visual sentences and others) that are useful to describe complex structures and systems in a direct and intuitive way. These structures are often augmented by formalisms which add to the static description a further dimension, allowing for the modeling of the evolution of systems via all kinds of transformations of such graphical structures. The ?eld of Graph Transformation is concerned with the theory, applications, and implementation issues of such formalisms. The theory is strongly related to areas such as graph theory and graph - gorithms, formal language and parsing theory, the theory of concurrent and distributed systems, formal speci?cation and veri?cation, logic, and semantics. |

### What people are saying - Write a review

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

### Contents

Challenges for Software Engineering | 1 |

Can Behavioral Requirements Be Executed? And Why Would We Want to Do So? | 6 |

Bigraphs as a Model for Mobile Interaction | 8 |

Approximating the Behaviour of Graph Transformation Systems | 14 |

Transforming Specification Architectures by GenGED | 30 |

Decomposing Graphs with Symmetries | 45 |

Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problems | 60 |

CallbyValue λGraph Rewriting Without Rewriting | 75 |

Using Graph Transformation as the Semantical Model for Software Process Execution in the APSEE Environment | 254 |

GraphBased Reengineering of Telecommunication Systems | 270 |

Formalising Behaviour Preserving Program Transformations | 286 |

Unparsing of Diagrams with DiaGen | 302 |

Linear Ordered Graph Grammars and Their Algebraic Foundations | 317 |

Rule Invariants in Graph Transformation Systems for Analyzing SafetyCritical Systems | 334 |

A Key to Effective Knowledge Discovery | 351 |

GraCAD GraphBased Tool for Conceptual Design | 363 |

The Missing Link of MDA | 90 |

Termination Detection of Distributed Algorithms by Graph Relabelling Systems | 106 |

Causality and Logical Clocks | 120 |

Relabelling in Graph Transformation | 135 |

Euler Graphs TriangleFree Graphs and Bipartite Graphs in Switching Classes | 148 |

Confluence of Typed Attributed Graph Transformation Systems | 161 |

Abstraction and Control for Shapely Nested Graph Transformation | 177 |

Hyperedge Substitution in Basic AtomReplacement Languages | 192 |

Distributed Graph Transformation Units | 207 |

Describing Policies with Graph Constraints and Rules | 223 |

Computer Aided Multiparadigm Modelling to Process PetriNets and Statecharts | 239 |

A Formal Semantics of UML Statecharts by Model Transition Systems | 378 |

Hierarchical Vertex Ordering | 393 |

A Software Engineering Perspective | 402 |

Tutorial on DNA Computing and Graph Transformation Computational Nature of Gene Assembly in Ciliates | 430 |

TERMGRAPH 2002 Workshop Survey | 435 |

Workshop on GraphBased Tools | 440 |

Workshop on Graph Transformation and Visual Modeling Techniques | 445 |

Towards Uniform Support throughout the Software LifeCycle | 450 |

Workshop on Logic Graph Transformations and Discrete Structures | 455 |

458 | |

### Other editions - View all

### Common terms and phrases

abstract syntax algebraic algorithm application approach ArchiCAD architecture arrows attributed graph basic bigraphs components Computer Science concept lattice concepts connected constraints context Corradini corresponding critical pairs defined Definition denoted derivation described DiaGen diagram distributed graph dynamic edges editors Ehrig evaluation example execution expression finite formal Fujaba function Geometry of Interaction gluing graph G graph grammar graph morphisms graph rewriting graph transformation systems graphical Grzegorz Rozenberg hState hyperedge hypergraph implementation Interaction Machine interface isomorphism labelled Lemma LNCS mapping match meta-model monoid node operations paper Petri graph Petri nets predicate problem Proc programming pullback pushout refactoring relabelling system representation represented rewrite rules rewriting systems Rozenberg semantics sequence Software Engineering specification Springer-Verlag statecharts step subgraph switching class target techniques term graph theory tile tion transformation units transition type graph unparsing variable vertex order vertices visual languages XSLT