Applications of Graph Transformations with Industrial Relevance: Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 – October 1, 2003, Revised Selected and Invited Papers

Mario Michele Gala, Elisa Quintarelli, Letizia Tanca (auth.), John L. Pfaltz, Manfred Nagl, Boris Böhlen (eds.)9783540221203, 9783540259596, 3540221204

This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Applications of Graph Transformations with Industrial Relevance, AGTIVE 2003, held in Charlotesville, Virginia, USA in September/October 2003.

The 27 revised full papers and 11 revised demo papers presented together with 2 invited papers and 5 workshop reports were carefully selected during iterated rounds of reviewing and revision. The papers are organized in topical sections on Web applications; data structures and data bases; engineering applications; agent-oriented and functional programs and distribution; object- and aspect-oriented systems; natural languages: processing and structuring; reengineering; reuse and integration; modeling languages; bioinformatics; and multimedia, picture, and visual languages.

---

Table of contents :
Front Matter….Pages –
Graph Transformation for Merging User Navigation Histories….Pages 1-14
Towards Validation of Session Management in Web Applications based on Graph Transformation….Pages 15-29
Specifying Pointer Structures by Graph Reduction….Pages 30-44
Specific Graph Models and Their Mappings to a Common Model….Pages 45-60
Transforming Graph Based Scenarios into Graph Transformation Based JUnit Tests….Pages 61-74
On Graphs in Conceptual Engineering Design….Pages 75-89
Parameterized Specification of Conceptual Design Tools in Civil Engineering….Pages 90-105
Design of an Agent-Oriented Modeling Language Based on Graph Transformation….Pages 106-119
Specification and Analysis of Fault Behaviours Using Graph Grammars….Pages 120-133
Integrating Graph Rewriting and Standard Software Tools….Pages 134-148
Expressing Component-Relating Aspects with Graph Transformations….Pages 149-162
Modeling Discontinuous Constituents with Hypergraph Grammars….Pages 163-169
Authoring Support Based on User-Serviceable Graph Transformation….Pages 170-184
Re-engineering a Medical Imaging System Using Graph Transformations….Pages 185-201
Behavioral Analysis of Telecommunication Systems by Graph Transformations….Pages 202-219
Specifying Integrated Refactoring with Distributed Graph Transformations….Pages 220-235
A Domain Specific Architecture Tool: Rapid Prototyping with Graph Grammars….Pages 236-242
Graph Transformations in OMG’s Model-Driven Architecture….Pages 243-259
Computing Reading Trees for Constraint Diagrams….Pages 260-274
UML Interaction Diagrams: Correct Translation of Sequence Diagrams into Collaboration Diagrams….Pages 275-291
Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems….Pages 292-298
Proper Down-Coloring Simple Acyclic Digraphs….Pages 299-312
Local Specification of Surface Subdivision Algorithms….Pages 313-327
Transforming Toric Digraphs….Pages 328-333
Graph-Based Specification of a Management System for Evolving Development Processes….Pages 334-351
Graph-Based Tools for Distributed Cooperation in Dynamic Development Processes….Pages 352-368
MPEG-7 Semantic Descriptions: Graph Transformations, Graph Grammars, and the Description of Multimedia….Pages 369-382
Collage Grammars for Collision-Free Growing of Objects in 3D Scenes….Pages 383-397
VisualDiaGen – A Tool for Visually Specifying and Generating Visual Editors….Pages 398-412
GenGED – A Visual Definition Tool for Visual Modeling Environments….Pages 413-419
CHASID – A Graph-Based Authoring Support System….Pages 420-426
Interorganizational Management of Development Processes….Pages 427-433
Conceptual Design Tools for Civil Engineering….Pages 434-439
E-CARES – Telecommunication Re- and Reverse Engineering Tools….Pages 440-445
AGG: A Graph Transformation Environment for Modeling and Validation of Software….Pages 446-453
Process Evolution Support in the AHEAD System….Pages 454-460
Fire3: Architecture Refinement for A-posteriori Integration….Pages 461-467
A Demo of OptimixJ….Pages 468-472
Visual Specification of Visual Editors with VisualDiaGen….Pages 473-478
The GROOVE Simulator: A Tool for State Space Generation….Pages 479-485
AGTIVE’03: Summary from the Outside In….Pages 486-488
AGTIVE’03: Summary from the Theoretical Point of View….Pages 489-490
AGTIVE’03: Summary from the Viewpoint of Graph Transformation Specifications….Pages 491-492
AGTIVE’03: Summary from a Tool Builder’s Viewpoint….Pages 493-495
Best Presentation and Demonstration Awards….Pages 496-496
Back Matter….Pages –