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.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

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

Keywords

  • Graph
  • algorithms
  • conceptual design
  • concurrency
  • diagrametric representation
  • formal languages
  • graph algorithms
  • graph computations
  • graph grammars
  • graph theory
  • graph transformations
  • graphical structures
  • logic
  • parsing theory
  • data structures
  • algorithm analysis and problem complexity

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

  • Book Title: Graph Transformations

  • Book Subtitle: Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings

  • Editors: Hartmut Ehrig, Gregor Engels, Francesco Parisi-Presicce, Grzegorz Rozenberg

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/b100934

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2004

  • Softcover ISBN: 978-3-540-23207-0Published: 17 September 2004

  • eBook ISBN: 978-3-540-30203-2Published: 11 November 2004

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XII, 456

  • Topics: Discrete Mathematics, Mathematics, Data Science, Software Engineering, Theory of Computation, Algorithms

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions