AGTIVE 2003: Charlottesville, Virginia, USA

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