Amazon cover image
Image from Amazon.com

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, and Boris Böhlen (eds.).

By: Contributor(s): Material type: TextTextPublisher number: 11011156Series: Lecture notes in computer science ; 3062.Publisher: Berlin : Springer-Verlag, [2004]Copyright date: ©2004Description: 1 online resource (xv, 500 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 3540259597
  • 9783540259596
Other title:
  • AGTIVE 2003
Subject(s): Genre/Form: Additional physical formats: Print version:: Applications of graph transformations with industrial relevance.DDC classification:
  • 004 22
LOC classification:
  • QA75.5 .A195 2003
Other classification:
  • 54.73
  • SS 4800
  • DAT 537f
  • MAT 055f
Online resources:
Contents:
Web applications ; Graph transformation for merging user navigation histories / Mario Michele Gala, Elisa Quintarelli, and Letizia Tanca -- Towards validation of session management in web applications based on graph transformation / Anilda Qemali and Gabriele Taentzer -- Data structures and data bases ; Specifying pointer structures by graph reduction / Adam Bakewell, Detlef Plump, and Colin Runciman -- Specific graph models and their mappings to a common model / Boris Böhlen -- Engineering applications ; Transforming graph based scenarios into graph transformation based JUnit tests / Leif Geiger and Albert Zündorf -- On graphs in conceptual engineering design / Janusz Szuba, Agnieszka Ozimek, and Andy Schürr -- Parameterized specification of conceptual design tools in civil engineering / Bodo Kraft and Manfred Nagl -- Agent-oriented and functional programs, distribution ; Design of an agent-oriented modeling language based on graph transformation / Ralph Depke, Jan Hendrik Hausmann, and Reiko Heckel -- Specification and analysis of fault behaviours using graph grammars / Fernando Luis Dotti, Leila Ribeiro, and Osmar Marchi dos Santos -- Object and aspect-oriented systems ; Integrating graph rewriting and standard software tools / Uwe Aßmann and Johan Lövdahl -- Expressing component-relating aspects with graph transformations / Alon Amsel and Dirk Janssens
Natural languages : processing and structuring ; Modeling discontinuous constituents with hypergraph grammars / Ingrid Fischer -- Authoring support based on user-serviceable graph transformation / Felix H. Gatzemeier -- Re-engineering ; Re-engineering a medical imaging system using graph transformations / Tobias Rötschke -- Behavioral analysis of telecommunication systems by graph transformations / André Marburger and Bernhard Westfechtel -- Reuse and integration ; Specifying integrated refactoring with distributed graph transformations / Paolo Bottoni, Francesco Parisi Presicce, and Gabriele Taentzer -- A domain specific architecture tool : rapid prototyping with graph grammars / Thomas Haase, Oliver Meyer, Boris Böhlen, and Felix Gatzemeier -- Modelling languages ; Graph transformations in OMG's model-driven architecture (invited talk) / Gabor Karsai and Aditya Agrawal -- Computing reading trees for constraint diagrams / Andrew Fish and John Howse -- UML interaction diagrams : correct translation of sequence diagrams into collaboration diagrams / Björn Cordes, Karsten Hölscher, and Hans-Jörg Kreowski -- Meta-modelling, graph transformation and model checking for the analysis of hybrid systems / Juan de Lara, Esther Guerra, and Hans Vangheluwe -- Bioinformatics ; Proper down-coloring simple acyclic digraphs / Geir Agnarsson, Ágúst S. Egilsson, and Magnús M. Halldórsson -- Local specification of surface subdivision algorithms / Colin Smith, Przemyslaw Prusinkiewicz, and Faramarz Samavati -- Transforming toric digraphs / Robert E. Jamison
Management of development and processes ; Graph-based specification of a management system for evolving development processes / Markus Heller, Ansgar Schleicher, and Bernhard Westfechtel -- Graph-based tools for distributed cooperation in dynamic development processes / Markus Heller and Dirk Jäger -- Multimedia, picture, and visual languages ; MPEG-7 semantic descriptions : graph transformations, graph grammars, and the description of multimedia (invited talk) / Hawley K. Rising III -- Collage grammars for collision-free growing of objects in 3D scenes / Renate Klempien-Hinrichs, Thomas Meyer, and Carolina von Totth -- VisualDiaGen : a tool for visually specifying and generating visual editors / Mark Minas -- Demos ; GenGED : a visual definition tool for visual modeling environments / Roswitha Bardohl, Claudia Ermel, and Ingo Weinhold -- CHASID : a graph-based authoring support system / Felix H. Gatzemeier -- Interorganizational management of development processes / Markus Heller and Dirk Jäger -- Conceptual design tools for civil engineering / Bodo Kraft -- E-CARES : telecommunication re- and reverse engineering tools / André Marburger and Bernhard Westfechtel -- AGG : a graph transformation environment for modeling and validation of software / Gabriele Taentzer -- Process evolution support in the AHEAD system / Markus Heller, Ansgar Schleicher, and Bernhard Westfechtel -- Fire3 : architecture refinement for a-posteriori integration / Thomas Haase, Oliver Meyer, Boris Böhlen, and Felix Gatzemeier -- A demo of OptimixJ / Uwe Aßmann and Johan Lövdahl -- Visual specification of visual editors with VisualDiaGen / Mark Minas -- The GROOVE simulator : a tool for state space generation / Arend Rensink -- Summaries of the workshop ; AGTIVE'03 : summary from the outside in / Arend Rensink -- AGTIVE'03 : summary from the theoretical point of view / Gabriele Taentzer -- AGTIVE'03 : summary from the viewpoint of graph transformation specifications / Mark Minas -- AGTIVE'03 : summary from a tool builder's viewpoint / Bernhard Westfechtel -- Best presentation and demonstration awards / Bernhard Westfechtel.
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 Charlottesville, 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. Graphs constitute well-known, well-understood, and frequently used means to depict networks of related items in different application domains. Various types of graph transformation approaches - also called graph grammars or graph rewriting systems - have been proposed to specify, recognize, inspect, modify, and display certain classes of graphs representing structures of different domains. Research activities based on Graph Transformations (GT for short) constitute a well-established scientific discipline within Computer Science. The proceedings of these events give a good documentation about research in the GT field. These activities (1) bring together the international community in a viable scientific discussion, (2) integrate different approaches, and (3) build a bridge between theory and practice.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Includes 'books on graph transformation' bibliographical references (pages 498-500), and index.

Web applications ; Graph transformation for merging user navigation histories / Mario Michele Gala, Elisa Quintarelli, and Letizia Tanca -- Towards validation of session management in web applications based on graph transformation / Anilda Qemali and Gabriele Taentzer -- Data structures and data bases ; Specifying pointer structures by graph reduction / Adam Bakewell, Detlef Plump, and Colin Runciman -- Specific graph models and their mappings to a common model / Boris Böhlen -- Engineering applications ; Transforming graph based scenarios into graph transformation based JUnit tests / Leif Geiger and Albert Zündorf -- On graphs in conceptual engineering design / Janusz Szuba, Agnieszka Ozimek, and Andy Schürr -- Parameterized specification of conceptual design tools in civil engineering / Bodo Kraft and Manfred Nagl -- Agent-oriented and functional programs, distribution ; Design of an agent-oriented modeling language based on graph transformation / Ralph Depke, Jan Hendrik Hausmann, and Reiko Heckel -- Specification and analysis of fault behaviours using graph grammars / Fernando Luis Dotti, Leila Ribeiro, and Osmar Marchi dos Santos -- Object and aspect-oriented systems ; Integrating graph rewriting and standard software tools / Uwe Aßmann and Johan Lövdahl -- Expressing component-relating aspects with graph transformations / Alon Amsel and Dirk Janssens

Natural languages : processing and structuring ; Modeling discontinuous constituents with hypergraph grammars / Ingrid Fischer -- Authoring support based on user-serviceable graph transformation / Felix H. Gatzemeier -- Re-engineering ; Re-engineering a medical imaging system using graph transformations / Tobias Rötschke -- Behavioral analysis of telecommunication systems by graph transformations / André Marburger and Bernhard Westfechtel -- Reuse and integration ; Specifying integrated refactoring with distributed graph transformations / Paolo Bottoni, Francesco Parisi Presicce, and Gabriele Taentzer -- A domain specific architecture tool : rapid prototyping with graph grammars / Thomas Haase, Oliver Meyer, Boris Böhlen, and Felix Gatzemeier -- Modelling languages ; Graph transformations in OMG's model-driven architecture (invited talk) / Gabor Karsai and Aditya Agrawal -- Computing reading trees for constraint diagrams / Andrew Fish and John Howse -- UML interaction diagrams : correct translation of sequence diagrams into collaboration diagrams / Björn Cordes, Karsten Hölscher, and Hans-Jörg Kreowski -- Meta-modelling, graph transformation and model checking for the analysis of hybrid systems / Juan de Lara, Esther Guerra, and Hans Vangheluwe -- Bioinformatics ; Proper down-coloring simple acyclic digraphs / Geir Agnarsson, Ágúst S. Egilsson, and Magnús M. Halldórsson -- Local specification of surface subdivision algorithms / Colin Smith, Przemyslaw Prusinkiewicz, and Faramarz Samavati -- Transforming toric digraphs / Robert E. Jamison

Management of development and processes ; Graph-based specification of a management system for evolving development processes / Markus Heller, Ansgar Schleicher, and Bernhard Westfechtel -- Graph-based tools for distributed cooperation in dynamic development processes / Markus Heller and Dirk Jäger -- Multimedia, picture, and visual languages ; MPEG-7 semantic descriptions : graph transformations, graph grammars, and the description of multimedia (invited talk) / Hawley K. Rising III -- Collage grammars for collision-free growing of objects in 3D scenes / Renate Klempien-Hinrichs, Thomas Meyer, and Carolina von Totth -- VisualDiaGen : a tool for visually specifying and generating visual editors / Mark Minas -- Demos ; GenGED : a visual definition tool for visual modeling environments / Roswitha Bardohl, Claudia Ermel, and Ingo Weinhold -- CHASID : a graph-based authoring support system / Felix H. Gatzemeier -- Interorganizational management of development processes / Markus Heller and Dirk Jäger -- Conceptual design tools for civil engineering / Bodo Kraft -- E-CARES : telecommunication re- and reverse engineering tools / André Marburger and Bernhard Westfechtel -- AGG : a graph transformation environment for modeling and validation of software / Gabriele Taentzer -- Process evolution support in the AHEAD system / Markus Heller, Ansgar Schleicher, and Bernhard Westfechtel -- Fire3 : architecture refinement for a-posteriori integration / Thomas Haase, Oliver Meyer, Boris Böhlen, and Felix Gatzemeier -- A demo of OptimixJ / Uwe Aßmann and Johan Lövdahl -- Visual specification of visual editors with VisualDiaGen / Mark Minas -- The GROOVE simulator : a tool for state space generation / Arend Rensink -- Summaries of the workshop ; AGTIVE'03 : summary from the outside in / Arend Rensink -- AGTIVE'03 : summary from the theoretical point of view / Gabriele Taentzer -- AGTIVE'03 : summary from the viewpoint of graph transformation specifications / Mark Minas -- AGTIVE'03 : summary from a tool builder's viewpoint / Bernhard Westfechtel -- Best presentation and demonstration awards / Bernhard Westfechtel.

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 Charlottesville, 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. Graphs constitute well-known, well-understood, and frequently used means to depict networks of related items in different application domains. Various types of graph transformation approaches - also called graph grammars or graph rewriting systems - have been proposed to specify, recognize, inspect, modify, and display certain classes of graphs representing structures of different domains. Research activities based on Graph Transformations (GT for short) constitute a well-established scientific discipline within Computer Science. The proceedings of these events give a good documentation about research in the GT field. These activities (1) bring together the international community in a viable scientific discussion, (2) integrate different approaches, and (3) build a bridge between theory and practice.

Powered by Koha