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

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. Thisvolumeconsistsofpapersselectedfromthe Presentationsgivenatthe Int- National Workshop And Symposium On “applications Of Graph Transformation With Industrial Relevance” (agtive 2003). The Papers Underwent Up To Two Additional Reviews. This Volume Contains The Revised Versions Of These Papers. Agtive2003wasthesecondeventofthegraphtransformationcommunity. The Aim Of Agtive Is To Unite People From Research And Industry Interested In The Application Of Graph Transformation To Practical Problems. The ?rst Wo- Shoptookplaceatkerkrade,thenetherlands.theproceedingsappearedasvol. 1779ofspringer-verlags’slecturenotesincomputerscienceseries.thissecond Workshop, Agtive 2003, Was Held In Historic Charlottesville, Virginia, Usa. Graphs Constitute Well-known, Well-understood, And Frequently Used Means To Depict Networks Of Related Items In Di?erent Application Domains. Various Typesofgraphtransformationapproaches– Alsocalledgraphgrammarsorgraph Rewriting Systems – Have Been Proposed To Specify, Recognize, Inspect, Modify, Anddisplaycertainclassesofgraphsrepresentingstructuresofdi?erentdomains. Research Activities Based On Graph Transformations (gt For Short) Cons- Tute A Well-established Scienti?c Discipline Within Computer Science. The Int- National Gt Research Community Is Quite Active And Has Organized International Workshops And The Conference Icgt 2002. The Proceedings Of These Events, A Three Volume Handbook On Gt, And Books On Speci?c Approaches As Well As Big Application Projects Give A Good Documentation About Research In The Gt ?eld (see The List At The End Of The Proceedings). The Intention Of All These Activities Has Been (1) To Bring Together The - Ternational Community In A Viable Scienti?c Discussion, (2) To Integrate Di?erent Approaches, And (3) To Build A Bridge Between Theory And Practice. Web Applications -- Graph Transformation For Merging User Navigation Histories -- Towards Validation Of Session Management In Web Applications Based On Graph Transformation -- Data Structures And Data Bases -- Specifying Pointer Structures By Graph Reduction -- Specific Graph Models And Their Mappings To A common Model -- Engineering Applications -- Transforming Graph Based Scenarios Into Graph Transformation Based Junit Tests -- On Graphs In Conceptual Engineering Design -- Parameterized Specification Of Conceptual Design Tools In Civil Engineering -- Agent-oriented And Functional Programs, Distribution -- Design Of An Agent-oriented Modeling Language Based On Graph Transformation -- Specification And Analysis Of Fault Behaviours Using Graph Grammars -- Object And Aspect-oriented Systems -- Integrating Graph Rewriting And Standard Software Tools -- Expressing Component-relating Aspects With Graph Transformations -- Natural Languages: Processing And Structuring --^ Modeling Discontinuous Constituents With Hypergraph Grammars -- Authoring Support Based On User-serviceable Graph Transformation -- Re-engineering -- Re-engineering A medical Imaging System Using Graph Transformations -- Behavioral Analysis Of Telecommunication Systems By Graph Transformations -- Reuse And Integration -- Specifying Integrated Refactoring With Distributed Graph Transformations -- A Domain Specific Architecture Tool: Rapid Prototyping With Graph Grammars -- Modelling Languages -- Graph Transformations In Omg’s Model-driven Architecture -- Computing Reading Trees For Constraint Diagrams -- Uml Interaction Diagrams: Correct Translation Of Sequence Diagrams Into Collaboration Diagrams -- Meta-modelling, Graph Transformation And Model Checking For The Analysis Of Hybrid Systems -- Bioinformatics -- Proper Down-coloring Simple Acyclic Digraphs -- Local Specification Of Surface Subdivision Algorithms -- Transforming Toric Digraphs --^ Management Of Development And Processes -- Graph-based Specification Of A management System For Evolving Development Processes -- Graph-based Tools For Distributed Cooperation In Dynamic Development Processes -- Multimedia, Picture, And Visual Languages -- Mpeg-7 Semantic Descriptions: Graph Transformations, Graph Grammars, And The Description Of Multimedia -- Collage Grammars For Collision-free Growing Of Objects In 3d Scenes -- Visualdiagen – A tool For Visually Specifying And Generating Visual Editors -- Demos -- Genged – A visual Definition Tool For Visual Modeling Environments -- Chasid – A graph-based Authoring Support System -- Interorganizational Management Of Development Processes -- Conceptual Design Tools For Civil Engineering -- E-cares – Telecommunication Re- And Reverse Engineering Tools -- Agg: A graph Transformation Environment For Modeling And Validation Of Software -- Process Evolution Support In The Ahead System --^ Fire3: Architecture Refinement For A-posteriori Integration -- A Demo Of Optimixj -- Visual Specification Of Visual Editors With Visualdiagen -- The Groove Simulator: A tool For State Space Generation -- Summaries Of The Workshop -- Agtive’03: Summary From The Outside In -- Agtive’03: Summary From The Theoretical Point Of View -- Agtive’03: Summary From The Viewpoint Of Graph Transformation Specifications -- Agtive’03: Summary From A tool Builder’s Viewpoint -- Best Presentation And Demonstration Awards. John L. Pfaltz, Manfred Nagl, Boris Böhlen (eds.). Includes Bibliographical References And Index. Also Issued Online. 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 - This volume consists of papers selected from the presentations given at the International Workshop and Symposium on "Applications of Graph Transformation with Industrial Relevance" (AGTIVE 2003). The papers underwent up to two additional reviews. This volume contains the revised versions of these papers. AGTIVE2003 was the second event of the Graph Transformation community. The aim of AGTIVE is to unite people from research and industry interested in the application of Graph Transformation to practical problems. The first workshop took place at Kerkrade, The Netherlands. The proceedings appeared as vol. 1779 of Springer-Verlags's Lecture Notes in Computer Science series. This second workshop, AGTIVE 2003, was held in historic Charlottesville, Virginia, USA. Graphs constitute well-known, well-understood, and frequently used means to depict networks of related items in different application domains. Various types of graph transformation approaches- also called graph grammars or graph rewriting systems - have been proposed to specify, recognize, inspect, modify, and display certain classes of graphs representing structures of different domains. Research activities based on Graph Transformations (GT for short) constitute a well-established scientific discipline within Computer Science. The international GT research community is quite active and has organized international workshops and the conference ICGT 2002. The proceedings of these events, a three volume handbook on GT, and books on specific approaches as well as big application projects give a good documentation about research in the GT field (see the list at the end of the proceedings). The intention of all these activities has been (1) to bring together the international community in a viable scientific discussion, (2) to integrate different approaches, and (3) to build a bridge between theory and practice Applications of Graph Transformations with Industrial Relevance: International Workshop, AGTIVE’99 Kerkrade, The Netherlands, September 1–3, 1999 Proceedings Author: Manfred Nagl, Andreas Schürr, Manfred Münch Published by Springer Berlin Heidelberg ISBN: 978-3-540-67658-4 DOI: 10.1007/3-540-45104-8 Table of Contents: Term Graph Rewriting and Mobile Expressions in Functional Languages Graph Transformation Modules and Their Composition Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions From UML Descriptions of High-Level Software Architectures to LQN Performance Models On a Uniform Representation of Transformation Systems A Note on Modeling Agent Systems by Graph Transformation Compositional Construction of Simulation Models Using Graph Grammars Graph-Based Reverse Engineering and Reengineering Tools Support for Design Patterns through Graph Transformation Tools Conditional Graph Rewriting as a Domain-Independent Formalism for Software Evolution Visual Languages: Where Do We Stand? From Graph Transformation to Rule-Based Programming with Diagrams Using Fujaba for the Development of Production Control Systems A Formal Definition of Structured Analysis with Programmable Graph Grammars Creating Semantic Representations of Diagrams Defining the Syntax and Semantics of Natural Visual Languages GENGED A Development Environment for Visual Languages Graph Visualisation in ArchiCAD A Combined Graph Schema and Graph Grammar Approach to Consistency in Distributed Modeling Improving the Publication Chain through High-Level Authoring Support 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 Charlottesville, 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. Graphs constitute well-known, well-understood, and frequently used means to depict networks of related items in different application domains. Various types of graph transformation approaches - also called graph grammars or graph rewriting systems - have been proposed to specify, recognize, inspect, modify, and display certain classes of graphs representing structures of different domains. Research activities based on Graph Transformations (GT for short) constitute a well-established scientific discipline within Computer Science. The proceedings of these events give a good documentation about research in the GT field. These activities (1) bring together the international community in a viable scientific discussion, (2) integrate different approaches, and (3) build a bridge between theory and practice