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 / John L. Pfaltz, Manfred Nagl, Boris Böhlen (eds.).

By: (2nd : AGTIVE (Symposium) (2nd : 2003 : Charlottesville, Va.)
Contributor(s): Pfaltz, John L | Nagl, Manfred, 1944- | Böhlen, Boris
Material type: TextTextSeries: SerienbezeichnungLecture notes in computer science: 3062.Publisher: Berlin : Springer, 2004Description: 1 online resource (xv, 500 pages) : illustrationsContent type: text Media type: computer Carrier type: online resourceISBN: 3540259597; 9783540259596Other title: AGTIVE 2003Subject(s): Computer science -- Congresses | Rewriting systems (Computer science) -- Congresses | Informatique -- Congrès | Réécriture, Systèmes de (Informatique) -- Congrès | COMPUTERS -- Reference | COMPUTERS -- Machine Theory | COMPUTERS -- Computer Literacy | COMPUTERS -- Information Technology | COMPUTERS -- Data Processing | COMPUTERS -- Computer Science | COMPUTERS -- Hardware -- General | Computer science | Rewriting systems (Computer science) | Anwendungssystem | Aspektorientierte Programmierung | Funktionale Programmierung | Graphersetzungssystem | Mehragentensystem | Objektorientierte Programmierung | Softwareentwicklung | Systementwicklung | World Wide Web | Transformation de graphes | Système de réécriture | Grammaire de graphes | Réécriture de graphe | Informatique | CADGenre/Form: Electronic books. | Conference papers and proceedings. | Charlottesville (Va., 2003) | Kongress. Additional physical formats: Print version:: Applications of graph transformations with industrial relevance.DDC classification: 004 LOC classification: QA75.5 | .A195 2003Other classification: 54.73 | SS 4800 | DAT 537f | MAT 055f Online resources: Click here to access online
Contents:
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.
Summary: 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.
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current location Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library

Electronic Book@IST

EBook Available
Total holds: 0

Includes bibliographical references and index.

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.

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.

There are no comments for this item.

to post a comment.

Powered by Koha