Skip to main content
SpringerLink
Log in
Book cover

Graph Transformations

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

  • Conference proceedings
  • © 2004

Overview

Editors:
  1. Hartmut Ehrig

    1. Technische Universität Berlin, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Gregor Engels

    1. University of Paderborn, Paderborn, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Francesco Parisi-Presicce

    1. George Mason University, Fairfax, Virginia, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Grzegorz Rozenberg

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: ICGT 2004.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (36 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Papers

    1. Improving Flow in Software Development Through Graphical Representations

      • Margaret-Anne D. Storey
      Pages 1-1

    2. A Perspective on Graphs and Access Control Models

      • Ravi Sandhu
      Pages 2-12

    3. 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

    3. Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation

      • Esther Guerra, Juan de Lara
      Pages 54-69

  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
Back to top

Other volumes

  1. Graph Transformations

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation