Invited Papers |
Ubiquitous, Decentralized, and Evolving Software: Challenges for Software Engineering / Carlo Ghezzi |
Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?) / David Harel |
Bigraphs as a Model for Mobile Interaction / Robin Milner |
Contributed Papers |
Approximating the Behaviour of Graph Transformation Systems / Paolo Baldan ; Barbara König |
Transforming Specification Architectures by GenGED / Roswitha Bardohl ; Claudia Ermel ; Julia Padberg |
Decomposing Graphs with Symmetries / Michel Bauderon ; Fréderiqué Carrère |
Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problems / J. Christopher Beck ; Patrick Prosser ; Evgeny Selensky |
Call-by-Value ?-Graph Rewriting Without Rewriting / Maribel Fernández ; Ian Mackie |
Transformation: The Missing Link of MDA / Anna Gerber ; Michael Lawley ; Kerry Raymond ; Jim Steel ; Andrew Wood |
Termination Detection of Distributed Algorithms by Graph Relabelling Systems / Emmanuel Godard ; Yves Mátivier ; Mohamed Mosbah ; Afif Sellami |
Graph Transformation with Time: Causality and Logical Clocks / Szilvia Gyapay ; Reiko Heckel ; Dániel Varró |
Relabelling in Graph Transformation / Annegret Habel ; Detlef Plump |
Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes / Jurriaan Hage ; Tero Harju ; Emo Welzl |
Confluence of Typed Attributed Graph Transformation Systems / Jochen Malte Kuüster ; Gabriele Taentzer |
Abstraction and Control for Shapely Nested Graph Transformation / Berthold Hoffmann |
Hyperedge Substitution in Basic Atom-Replacement Languages / Renate Klempien-Hinrichs |
Distributed Graph Transformation Units / Peter Knirsch ; Sabine Kuske |
Describing Policies with Graph Constraints and Rules / Manuel Koch ; Francesco Parisi-Presicce |
Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts / Juan de Lara ; Hans Vangheluwe |
Using Graph Transformation as the Semantical Model for Software Process Execution in the APSEE Environment / Carla A. Lima Reis ; Rodrigo Quites Reis ; Marcelo M. de Abreu ; Heribert Schlebbe ; Daltro J. Nunes |
Graph-Based Reengineering of Telecommunication Systems / Andre Marburger ; Bernhard Westfechtel |
Formalising Behaviour Preserving Program Transformations / Tom Mens ; Serge Demeyer ; Dirk Janssens |
Unparsing of Diagrams with DiaGen / Mark Minas ; Frank Struber |
Linear Ordered Graph Grammars and Their Algebraic Foundations / Ugo Montanari ; Leila Ribeiro |
Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems / Bettina E. Enders |
Incremental Transformation of Lattices: A Key to Effective Knowledge Discovery / John L. Pfaltz |
GraCAD - Graph-Based Tool for Conceptual Design / Janusz Szuba ; Andy Schürr ; Adam Borkowski |
A Formal Semantics of UML Statecharts by Model Transition Systems |
Hierarchical Vertex Ordering / Sung-Ho Woo ; Sung-Bong Yang |
Tutorials and Workshops |
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective / Luciano Baresi |
Tutorial on DNA Computing and Graph Transformation - Computational Nature of Gene Assembly in Ciliates / Ion Petre ; Grzegorz Rozenberg |
TERMGRAPH 2002 - Workshop Survey |
Workshop on Graph-Based Tools |
Workshop on Graph Transformation and Visual Modeling Techniques / Paolo Bottoni |
Workshop on Software Evolution through Transformations: Towards Uniform Support throughout the Software Life-Cycle / Michel Wermelinger |
Workshop on Logic, Graph Transformations and Discrete Structures / Bruno Courcelle ; Pascal Weil |
Author Index |
Invited Papers |
Ubiquitous, Decentralized, and Evolving Software: Challenges for Software Engineering / Carlo Ghezzi |
Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?) / David Harel |
Bigraphs as a Model for Mobile Interaction / Robin Milner |
Contributed Papers |
Approximating the Behaviour of Graph Transformation Systems / Paolo Baldan ; Barbara König |