Applications of Graph Transformations with Industrial Relevance

TRAMA

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.

SOMMARIO

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.

ALTRE INFORMAZIONI

• Condizione: Nuovo
• ISBN: 9783540221203
• Collana: Lecture Notes in Computer Science
• Dimensioni: 235 x 155 mm
• Formato: Brossura
• Illustration Notes: XVI, 504 p.
• Pagine Arabe: 504
• Pagine Romane: xvi