Skip to main content
  • Conference proceedings
  • © 2004

Graph Transformations

Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3256)

Conference series link(s): ICGT: International Conference on Graph Transformation

Conference proceedings info: ICGT 2004.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (36 papers)

  1. Front Matter

  2. Invited Papers

    1. Transformation Language Design: A Metamodelling Foundation

      • Tony Clark, Andy Evans, Paul Sammut, James Willans
      Pages 13-21
  3. Integration Technology

    1. Rule Execution in Graph-Based Incremental Interactive Integration Tools

      • Simon M. Becker, Sebastian Lohmann, Bernhard Westfechtel
      Pages 22-38
    2. Composition of Relations in Enterprise Architecture Models

      • René van Buuren, Henk Jonkers, Maria-Eugenia Iacob, Patrick Strating
      Pages 39-53
  4. Chemistry and Biology

    1. Analysis of Metabolic Pathways by Graph Transformation

      • Francesc Rosselló, Gabriel Valiente
      Pages 70-82
    2. The Potential of a Chemical Graph Transformation System

      • Maneesh K. Yadav, Brian P. Kelley, Steven M. Silverman
      Pages 83-95
  5. Graph Transformation Concepts

    1. Concepts for Specifying Complex Graph Transformation Systems

      • Boris Böhlen, Ulrike Ranger
      Pages 96-111
    2. Typing of Graph Transformation Units

      • Renate Klempien-Hinrichs, Hans-Jörg Kreowski, Sabine Kuske
      Pages 112-127
    3. Towards Graph Programs for Graph Algorithms

      • Detlef Plump, Sandra Steinert
      Pages 128-143
  6. DPO Theory for High-Level Structures

    1. Adhesive High-Level Replacement Categories and Systems

      • Hartmut Ehrig, Annegret Habel, Julia Padberg, Ulrike Prange
      Pages 144-160
    2. Fundamental Theory for Typed Attributed Graph Transformation

      • Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer
      Pages 161-177
    3. Parallel Independence in Hierarchical Graph Transformation

      • Annegret Habel, Berthold Hoffmann
      Pages 178-193
  7. Analysis and Testing

    1. Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems

      • Paolo Baldan, Barbara König, Ingo Stürmer
      Pages 194-209
    2. Stochastic Graph Transformation Systems

      • Reiko Heckel, Georgios Lajios, Sebastian Menge
      Pages 210-225
    3. Model Checking Graph Transformations: A Comparison of Two Approaches

      • Arend Rensink, Ákos Schmidt, Dániel Varró
      Pages 226-241
  8. Graph Theory and Algorithms

    1. Election, Naming and Cellular Edge Local Computations

      • Jérémie Chalopin, Yves Métivier, Wiesław Zielonka
      Pages 242-256
    2. Embedding in Switching Classes with Skew Gains

      • Andrzej Ehrenfeucht, Jurriaan Hage, Tero Harju, Grzegorz Rozenberg
      Pages 257-270

Other Volumes

  1. Graph Transformations

Editors and Affiliations

  • Technische Universität Berlin, Germany

    Hartmut Ehrig

  • University of Paderborn, Paderborn, Germany

    Gregor Engels

  • George Mason University, Fairfax, Virginia, USA

    Francesco Parisi-Presicce

  • Leiden Center of Advanced Computer Science (LIACS), Leiden University, Leiden, The Netherlands

    Grzegorz Rozenberg

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access