
×
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
herausgegeben von John L. Pfaltz, Manfred Nagl und Boris BöhlenInhaltsverzeichnis
- 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 SimpleAcyclic 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.