Contents

 

 

  1. Distribution and Concurrency
  2.  

    H. J. Schneider

    Describing Systems of Processes by the Double-Pushout Approach:

    Jungles as Distributed Data Structures

     

    N. Verlinden, D. Janssens

    Local Action Systems: a framework for Petri Nets, ESM and NLC

     

     

  3. Image Processing and Visual Languages
  4.  

    D. Blostein

    Application of Graph Rewriting to Document Image Analysis

     

    M. Minas

    Hypergraphs as a Uniform Diagram Representation Model

     

    R. Bardohl, H. Ehrig

    Conceptual Model of the Graphical Editor GENGED for the Visual

    Definition of Visual Languages

     

  5. Distributed Systems
  6.  

    I. Fischer, M. Koch, G. Taentzer

    Local Views on Distributed Systems and their Communication

     

    G. Taentzer, M. Goedicke, T. Meyer

    Dynamic Change Management by Distributed Graph Transformation:

    Towards Configurable Distributed Systems

     

    A. Radermacher

    Distribution of Applications with Graph Transformation Tools

     

     

  7. New Aspects
  8.  

    M. Shukla Sarkar, D- Blostein, J. R. Cordy

    GXL - A Graph Transformation Language with Scoping and Graph Parameters

     

    S. Gruner

    Why should Chemo-Engineers be interested in Graph Grammars?

     

    M. Llabrés, F. Rosselló

    Pushout complements for arbitrary partial algebras

     

     

  9. Refinement and Inheritance
  10.  

    A. Wagner

    Formalizing Statechart Inheritance by Graph Transformations

     

    M. Große-Rhode, F. Parisi-Presicce, M. Simeoni

    Refinements of Graph Transformation Systems via Rule Expressions

     

     

  11. Object-Oriented Approaches
  12.  

    G. Taentzer

    How to Integrate Graph Transformation with an Object-Oriented Language

     

    T. Fischer, J. Niere, L. Torunski, A. Zündorf

    Story Diagrams: A new Graph Grammar Language based on the

    Unified Modelling Language and Java

     

     

  13. Modularization
  14.  

    H. Ehrig, G. Engels, R. Heckel, G. Taentzer

    Classification and Comparision of Modularity Concepts for
    Graph Transformation Systems

     

    A. Schürr, A. J. Winter

    UML Packages for PROgrammed Graph REwriting Systems

     

    G. Busatto, G. Engels, K. Mehner, A. Wagner

    A Framework for Adding Packages to Graph Transformation Approaches

     

     

  15. Enhanced Languages Features
  16.  

    S. Kuske

    More about control conditions for transformation units

     

    R. Heckel, B. Hoffmann, P. Knirsch, S. Kuske

    Simple Modules for GRACE

     

    M. Münch, A. Winter, A. Schürr

    Integrity Constraints in the multi-paradigm language PROGRES

     

     

  17. Node Replacement
  18.  

    H. Jacquet, R. Klempien-Hinrichs

    Node Replacement in Hypergraphs: Translating NCE

    Rewriting into the Pullback Approach

     

    A. Habel, R. Klempien-Hinrichs

    Atom Replacement in Hypergraphs

     

    K. Skodinis, E. Wanke

    Embedding-Uniform Node Replacement

     

     

  19. AI Techniques
  20.  

    St. Schuster

    Knowledge-Representation and Graph-Transformation

     

    M. Rudolf

    Utilizing Constraint Satisfaction Techniques for Efficient Graph

    Pattern Matching

     

     

  21. Local Action Systems
  22.  

    N. Verlinden, D. Janssens

    Algebraic Reasoning in Graph Processes

     

    J. Müller, D. Janssens

    Modeling Timed Petri Nets

     

     

  23. DPO-Approach
  24.  

    A. Habel, J. Müller, D. Plump

    Double-Pushout Graph Transformation Revisited

     

    H. J. Kreowski, G. Valiente

    Redundancy and Subsumption in High Level Replacement Systems

     

    P. Baldan, A. Corradini, U. Montanari

    An Unfolding Semantics for DPO Graph Transformation Systems

     

    G. Valiente

    Grammatica: An Implementation of Algebraic Graph Transformation on

    Mathematica

     

     

  25. New Rewriting Techniques
  26.  

    H. Ehrig, R. Heckel, J. Padberg, G. Rozenberg

    Graph Transformation and Other Rule-Based Formalisms with

    Incomplete Information

     

    J. L. Pfaltz

    Neighborhood Expansion Grammars

     

     

  27. Graph Properties
  28.  

    A. Ehrenfeucht, J. Hage, T. Harju, G. Rozenberg

    Complexity Issues in Switching of Graphs

     

    F. Gadducci, R. Heckel, M. Koch

    Model Checking Graph-Interpreted Temporal Formulas

     

    P. Bottoni, F. Parisi-Presicce, M. Simeoni

    From Formulae to Rewriting Systems

     

     

  29. Algebraic Approaches
  30.  

    H. Ehrig, R. Heckel, M. Llabrés, F. Orejas

    Construction and Characterization of Double-Pullback Graph Transitions

     

    J. Müller

    Terminating and Cyclic Graph Rewriting

     

    F. Gadducci, R. Heckel, M. Llabrés

    DPO Derivations via Disconnected Rules

     

     

  31. Programming Support
  32.  

    Y. Adachi, T. Imaki, K. Tsuchida, T. Yaku

    Attribute Graph Grammar and Program Visualization

     

    D. C. Petriu, X. Wang

    Deriving Software Performance Models from Architectural Patterns by

    Graph Transformations

     

    C. E. Hrischuk

    A Model Making Automation Process (MMAP) based on the Algorithmic

    Attributed Graph Grammar Approach

     

     

  33. High-Level Approaches
  34.  

    J. Padberg, M. Gajewsky

    Using High-Level Replacement Systems to Preserve Safety Properties in
    Place / Transition Net Transformations

     

    W. Kahl

    Total-Single-Pushout Derivations for Internal Graph Attribution

     

     

  35. World Wide Web
  36.  

    A. Bergholz, J. C. Freytag

    A Three-Layer Approach to Semistructured Data

     

    L. C. Faulstich

    Using Graph Transformation Techniques for Integrating Information from the WWW

     

     

  37. Process Support
  38.  

    S. Krüppel-Berndt, B. Westfechtel

    RESMOD: A Resource Management Model for Development Processes

     

    B. Sucrow, T. Heverhagen

    Using Graph Rewrite Systems for supporting the Software Design Process by finding

    suitable Software Components

     

    J. H. Jahnke, A. Zündorf

    Using Graph Grammars for Building the VARLET Database Reverse Engineering

    Environment

     

    C. A. Krapp, A. Schleicher, B. Westfechtel

    Feedback Handling in Software Processes

     

     

  39. Graph Languages
  40.  

    F. Drewes

    Some Remarks on the Generative Power of Collage Grammars and Chain-Code Grammars

     

    J. Engelfriet, S. Maneth

    Tree Languages Generated by Context-Free Graph Grammars

     

    E. Godard, Y. Métivier, A. Muscholl

    The Power of Local Computations in Graphs with Initial Knowledge

     

    T. Robinson

    A Generating System for Tiling and Patters on Square Guide

     

     

  41. Tool Descriptions