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.
Author(s): Mario Michele Gala, Elisa Quintarelli, Letizia Tanca (auth.), John L. Pfaltz, Manfred Nagl, Boris Böhlen (eds.)
Series: Lecture Notes in Computer Science 3062
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2004
Language: English
Pages: 504
Tags: Software Engineering; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Data Structures; Algorithm Analysis and Problem Complexity; Discrete Mathematics in Computer Science
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 -
