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 /
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 /
AGTIVE 2003
John L. Pfaltz, Manfred Nagl, and Boris Böhlen (eds.).
- 1 online resource (xv, 500 pages) : illustrations
- Lecture notes in computer science ; 3062 .
- Lecture notes in computer science ; 3062. .
Includes 'books on graph transformation' bibliographical references (pages 498-500), and index.
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 / Mario Michele Gala, Elisa Quintarelli, and Letizia Tanca -- Anilda Qemali and Gabriele Taentzer -- Adam Bakewell, Detlef Plump, and Colin Runciman -- Boris Böhlen -- Leif Geiger and Albert Zündorf -- Janusz Szuba, Agnieszka Ozimek, and Andy Schürr -- Bodo Kraft and Manfred Nagl -- Ralph Depke, Jan Hendrik Hausmann, and Reiko Heckel -- Fernando Luis Dotti, Leila Ribeiro, and Osmar Marchi dos Santos -- Uwe Aßmann and Johan Lövdahl -- Alon Amsel and Dirk Janssens 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 (invited talk) / 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 / Ingrid Fischer -- Felix H. Gatzemeier -- Tobias Rötschke -- André Marburger and Bernhard Westfechtel -- Paolo Bottoni, Francesco Parisi Presicce, and Gabriele Taentzer -- Thomas Haase, Oliver Meyer, Boris Böhlen, and Felix Gatzemeier -- Gabor Karsai and Aditya Agrawal -- Andrew Fish and John Howse -- Björn Cordes, Karsten Hölscher, and Hans-Jörg Kreowski -- Juan de Lara, Esther Guerra, and Hans Vangheluwe -- Geir Agnarsson, Ágúst S. Egilsson, and Magnús M. Halldórsson -- Colin Smith, Przemyslaw Prusinkiewicz, and Faramarz Samavati -- Robert E. Jamison 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 (invited talk) / 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 / Markus Heller, Ansgar Schleicher, and Bernhard Westfechtel -- Markus Heller and Dirk Jäger -- Hawley K. Rising III -- Renate Klempien-Hinrichs, Thomas Meyer, and Carolina von Totth -- Mark Minas -- Roswitha Bardohl, Claudia Ermel, and Ingo Weinhold -- Felix H. Gatzemeier -- Markus Heller and Dirk Jäger -- Bodo Kraft -- André Marburger and Bernhard Westfechtel -- Gabriele Taentzer -- Markus Heller, Ansgar Schleicher, and Bernhard Westfechtel -- Thomas Haase, Oliver Meyer, Boris Böhlen, and Felix Gatzemeier -- Uwe Aßmann and Johan Lövdahl -- Mark Minas -- Arend Rensink -- Arend Rensink -- Gabriele Taentzer -- Mark Minas -- Bernhard Westfechtel -- 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.
3540259597 9783540259596
10.1007/b98116 doi
11011156
04,N23,0013 dnb
971071683 DE-101
Computer science--Congresses.
Graph theory--Data processing--Congresses.
Rewriting systems (Computer science)--Congresses.
Informatique--Congrès.
Systèmes de réécriture (Informatique)--Congrès.
COMPUTERS--Reference.
COMPUTERS--Machine Theory.
COMPUTERS--Computer Literacy.
COMPUTERS--Information Technology.
COMPUTERS--Data Processing.
COMPUTERS--Computer Science.
COMPUTERS--Hardware--General.
Graph theory--Data processing
Computer science
Rewriting systems (Computer science)
Anwendungssystem
Aspektorientierte Programmierung
Funktionale Programmierung
Graphersetzungssystem
Mehragentensystem
Objektorientierte Programmierung
Softwareentwicklung
Systementwicklung
World Wide Web
CAD
Transformation de graphes.
Système de réécriture.
Grammaire de graphes.
Réécriture de graphe.
Informatique.
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Charlottesville (Va., 2003)
Kongress.
QA75.5 / .A195 2003
004
Includes 'books on graph transformation' bibliographical references (pages 498-500), and index.
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 / Mario Michele Gala, Elisa Quintarelli, and Letizia Tanca -- Anilda Qemali and Gabriele Taentzer -- Adam Bakewell, Detlef Plump, and Colin Runciman -- Boris Böhlen -- Leif Geiger and Albert Zündorf -- Janusz Szuba, Agnieszka Ozimek, and Andy Schürr -- Bodo Kraft and Manfred Nagl -- Ralph Depke, Jan Hendrik Hausmann, and Reiko Heckel -- Fernando Luis Dotti, Leila Ribeiro, and Osmar Marchi dos Santos -- Uwe Aßmann and Johan Lövdahl -- Alon Amsel and Dirk Janssens 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 (invited talk) / 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 / Ingrid Fischer -- Felix H. Gatzemeier -- Tobias Rötschke -- André Marburger and Bernhard Westfechtel -- Paolo Bottoni, Francesco Parisi Presicce, and Gabriele Taentzer -- Thomas Haase, Oliver Meyer, Boris Böhlen, and Felix Gatzemeier -- Gabor Karsai and Aditya Agrawal -- Andrew Fish and John Howse -- Björn Cordes, Karsten Hölscher, and Hans-Jörg Kreowski -- Juan de Lara, Esther Guerra, and Hans Vangheluwe -- Geir Agnarsson, Ágúst S. Egilsson, and Magnús M. Halldórsson -- Colin Smith, Przemyslaw Prusinkiewicz, and Faramarz Samavati -- Robert E. Jamison 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 (invited talk) / 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 / Markus Heller, Ansgar Schleicher, and Bernhard Westfechtel -- Markus Heller and Dirk Jäger -- Hawley K. Rising III -- Renate Klempien-Hinrichs, Thomas Meyer, and Carolina von Totth -- Mark Minas -- Roswitha Bardohl, Claudia Ermel, and Ingo Weinhold -- Felix H. Gatzemeier -- Markus Heller and Dirk Jäger -- Bodo Kraft -- André Marburger and Bernhard Westfechtel -- Gabriele Taentzer -- Markus Heller, Ansgar Schleicher, and Bernhard Westfechtel -- Thomas Haase, Oliver Meyer, Boris Böhlen, and Felix Gatzemeier -- Uwe Aßmann and Johan Lövdahl -- Mark Minas -- Arend Rensink -- Arend Rensink -- Gabriele Taentzer -- Mark Minas -- Bernhard Westfechtel -- 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.
3540259597 9783540259596
10.1007/b98116 doi
11011156
04,N23,0013 dnb
971071683 DE-101
Computer science--Congresses.
Graph theory--Data processing--Congresses.
Rewriting systems (Computer science)--Congresses.
Informatique--Congrès.
Systèmes de réécriture (Informatique)--Congrès.
COMPUTERS--Reference.
COMPUTERS--Machine Theory.
COMPUTERS--Computer Literacy.
COMPUTERS--Information Technology.
COMPUTERS--Data Processing.
COMPUTERS--Computer Science.
COMPUTERS--Hardware--General.
Graph theory--Data processing
Computer science
Rewriting systems (Computer science)
Anwendungssystem
Aspektorientierte Programmierung
Funktionale Programmierung
Graphersetzungssystem
Mehragentensystem
Objektorientierte Programmierung
Softwareentwicklung
Systementwicklung
World Wide Web
CAD
Transformation de graphes.
Système de réécriture.
Grammaire de graphes.
Réécriture de graphe.
Informatique.
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Charlottesville (Va., 2003)
Kongress.
QA75.5 / .A195 2003
004