Front matter
1-14
Graph Transformation for Merging User Navigation Histories
Mario Michele Gala, Elisa Quintarelli and Letizia Tanca
15-29
Towards Validation of Session Management in Web Applications based on Graph Transformation
Anilda Qemali and Gabriele Taentzer
30-44
Specifying Pointer Structures by Graph Reduction
Adam Bakewell, Detlef Plump and Colin Runciman
45-60
Specific Graph Models and Their Mappings to a Common Model
Boris Böhlen
61-74
Transforming Graph Based Scenarios into Graph Transformation Based JUnit Tests
Leif Geiger and Albert Zündorf
75-89
On Graphs in Conceptual Engineering Design
Janusz Szuba, Agnieszka Ozimek and Andy Schürr
90-105
Parameterized Specification of Conceptual Design Tools in Civil Engineering
Bodo Kraft and Manfred Nagl
106-119
Design of an Agent-Oriented Modeling Language Based on Graph Transformation
Ralph Depke, Jan Hendrik Hausmann and Reiko Heckel
120-133
Specification and Analysis of Fault Behaviours Using Graph Grammars
Fernando Luis Dotti, Leila Ribeiro and Osmar Marchi dos Santos
134-148
Integrating Graph Rewriting and Standard Software Tools
Uwe Aßmann and Johan Lövdahl
149-162
Expressing Component-Relating Aspects with Graph Transformations
Alon Amsel and Dirk Janssens
163-169
Modeling Discontinuous Constituents with Hypergraph Grammars
Ingrid Fischer
170-184
Authoring Support Based on User-Serviceable Graph Transformation
Felix H. Gatzemeier
185-201
Re-engineering a Medical Imaging System Using Graph Transformations
Tobias Rötschke
202-219
Behavioral Analysis of Telecommunication Systems by Graph Transformations
André Marburger and Bernhard Westfechtel
220-235
Specifying Integrated Refactoring with Distributed Graph Transformations
Paolo Bottoni, Francesco Parisi Presicce and Gabriele Taentzer
236-242
A Domain Specific Architecture Tool: Rapid Prototyping with Graph Grammars
Thomas Haase, Oliver Meyer, Boris Böhlen and Felix Gatzemeier
243-259
Graph Transformations in OMG’s Model-Driven Architecture
Gabor Karsai and Aditya Agrawal
260-274
Computing Reading Trees for Constraint Diagrams
Andrew Fish and John Howse
275-291
UML Interaction Diagrams: Correct Translation of Sequence Diagrams into Collaboration Diagrams
Björn Cordes, Karsten Hölscher and Hans-Jörg Kreowski
292-298
Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems
Juan de Lara, Esther Guerra and Hans Vangheluwe
299-312
Proper Down-Coloring Simple Acyclic Digraphs
Geir Agnarsson, Ágúst S. Egilsson and Magnús M. Halldórsson
313-327
Local Specification of Surface Subdivision Algorithms
Colin Smith, Przemyslaw Prusinkiewicz and Faramarz Samavati
328-333
Transforming Toric Digraphs
Robert E. Jamison
334-351
Graph-Based Specification of a Management System for Evolving Development Processes
Markus Heller, Ansgar Schleicher and Bernhard Westfechtel
352-368
Graph-Based Tools for Distributed Cooperation in Dynamic Development Processes
Markus Heller and Dirk Jäger
369-382
MPEG-7 Semantic Descriptions: Graph Transformations, Graph Grammars, and the Description of Multimedia
Hawley K. Rising
383-397
Collage Grammars for Collision-Free Growing of Objects in 3D Scenes
Renate Klempien-Hinrichs, Thomas Meyer and Carolina von Totth
398-412
VisualDiaGen – A Tool for Visually Specifying and Generating Visual Editors
Mark Minas
413-419
GenGED – A Visual Definition Tool for Visual Modeling Environments
Roswitha Bardohl, Claudia Ermel and Ingo Weinhold
420-426
CHASID – A Graph-Based Authoring Support System
Felix H. Gatzemeier
427-433
Interorganizational Management of Development Processes
Markus Heller and Dirk Jäger
434-439
Conceptual Design Tools for Civil Engineering
Bodo Kraft
440-445
E-CARES – Telecommunication Re- and Reverse Engineering Tools
André Marburger and Bernhard Westfechtel
446-453
AGG: A Graph Transformation Environment for Modeling and Validation of Software
Gabriele Taentzer
454-460
Process Evolution Support in the AHEAD System
Markus Heller, Ansgar Schleicher and Bernhard Westfechtel
461-467
Fire3: Architecture Refinement for A-posteriori Integration
Thomas Haase, Oliver Meyer, Boris Böhlen and Felix Gatzemeier
468-472
A Demo of OptimixJ
Uwe Aßmann and Johan Lövdahl
473-478
Visual Specification of Visual Editors with VisualDiaGen
Mark Minas
479-485
The GROOVE Simulator: A Tool for State Space Generation
Arend Rensink
486-488
AGTIVE’03: Summary from the Outside In
Arend Rensink
489-490
AGTIVE’03: Summary from the Theoretical Point of View
Gabriele Taentzer
491-492
AGTIVE’03: Summary from the Viewpoint of Graph Transformation Specifications
Mark Minas
493-495
AGTIVE’03: Summary from a Tool Builder’s Viewpoint
Bernhard Westfechtel
496
Best Presentation and Demonstration Awards
Bernhard Westfechtel
Back matter