Front matter
1-5
Ubiquitous, Decentralized, and Evolving Software: Challenges for Software Engineering
Carlo Ghezzi
6-7
Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?)
David Harel
8-13
Bigraphs as a Model for Mobile Interaction
Robin Milner
14-29
Approximating the Behaviour of Graph Transformation Systems
Paolo Baldan and Barbara König
30-44
Transforming Specification Architectures by GenGED
Roswitha Bardohl, Claudia Ermel and Julia Padberg
45-59
Decomposing Graphs with Symmetries
Michel Bauderon and Frédérique Carrère
60-74
Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problems
J. Christopher Beck, Patrick Prosser and Evgeny Selensky
75-89
Call-by-Value λ-Graph Rewriting
Without Rewriting
Maribel Fernández and Ian Mackie
90-105
Transformation: The Missing Link of MDA
Anna Gerber, Michael Lawley, Kerry Raymond, Jim Steel and Andrew Wood
106-119
Termination Detection of Distributed Algorithms by Graph Relabelling Systems
Emmanuel Godard, Yves Métivier, Mohamed Mosbah and Afif Sellami
120-134
Graph Transformation with Time: Causality and Logical Clocks
Szilvia Gyapay, Reiko Heckel and Dániel Varró
135-147
Relabelling in Graph Transformation
Annegret Habel and Detlef Plump
148-160
Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes
Jurriaan Hage, Tero Harju and Emo Welzl
161-176
Confluence of Typed Attributed Graph Transformation Systems
Reiko Heckel, Jochen Malte Küster and Gabriele Taentzer
177-191
Abstraction and Control for Shapely Nested Graph Transformation
Berthold Hoffmann
192-206
Hyperedge Substitution in Basic Atom-Replacement Languages
Renate Klempien-Hinrichs
207-222
Distributed Graph Transformation Units
Peter Knirsch and Sabine Kuske
223-238
Describing Policies with Graph Constraints and Rules
Manuel Koch and Francesco Parisi-Presicce
239-253
Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts
Juan de Lara and Hans Vangheluwe
254-269
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 and Daltro J. Nunes
270-285
Graph-Based Reengineering of Telecommunication Systems
André Marburger and Bernhard Westfechtel
286-301
Formalising Behaviour Preserving Program Transformations
Tom Mens, Serge Demeyer and Dirk Janssens
302-316
Unparsing of Diagrams with DiaGen
Mark Minas and Frank Strüber
317-333
Linear Ordered Graph Grammars and Their Algebraic Foundations
Ugo Montanari and Leila Ribeiro
334-350
Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems
Julia Padberg and Bettina E. Enders
351-362
Incremental Transformation of Lattices: A Key to Effective Knowledge Discovery
John L. Pfaltz
363-377
GraCAD – Graph-Based Tool for Conceptual Design
Janusz Szuba, Andy Schürr and Adam Borkowski
378-392
A Formal Semantics of UML Statecharts by Model Transition Systems
Dániel Varró
393-401
Hierarchical Vertex Ordering
Sung-Ho Woo and Sung-Bong Yang
402-429
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
Luciano Baresi and Reiko Heckel
430-434
Tutorial on DNA Computing and Graph Transformation - Computational Nature of Gene Assembly in Ciliates
Tero Harju, Ion Petre and Grzegorz Rozenberg
435-439
TERMGRAPH 2002 Workshop Survey
Detlef Plump
440-444
Workshop on Graph-Based Tools
Tom Mens, Andy Schürr and Gabriele Taentzer
445-449
Workshop on Graph Transformation and Visual Modeling Techniques
Paolo Bottoni and Mark Minas
450-454
Workshop on Software Evolution through Transformations: Towards Uniform Support throughout the Software Life-Cycle
Reiko Heckel, Tom Mens and Michel Wermelinger
455-457
Workshop on Logic, Graph Transformations and Discrete Structures
Bruno Courcelle and Pascal Weil
Back matter