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 /
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2004.
|
| Σειρά: | Lecture Notes in Computer Science,
3062 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.
