Skip to main content
SpringerLink
Log in
Book cover

Graph Transformations

4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008, Proceedings

  • Conference proceedings
  • © 2008

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. Reiko Heckel

    1. Department of Computer Science, University of Leicester, Leicester, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Grzegorz Rozenberg

    1. Leiden Center for Natural Computing, Leiden University, Leiden, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Gabriele Taentzer

    1. Department of Mathematics and Computer Science, Philipps-University Marburg, Marburg, Germany

    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 5214)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: ICGT 2008.

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 (52 papers)

  1. Front Matter

    Download chapter PDF

  3. Hypergraphs and Termgraph Rewriting

    1. An Algorithm for Hypergraph Completion According to Hyperedge Replacement Grammars

      • Steffen Mazanek, Sonja Maier, Mark Minas
      Pages 39-53

    2. Labelled (Hyper)Graphs, Negotiations and the Naming Problem

      • Jérémie Chalopin, Antoni Mazurkiewicz, Yves Métivier
      Pages 54-68

    3. Abstracting Complex Data Structures by Hyperedge Replacement

      • Stefan Rieger, Thomas Noll
      Pages 69-83

    4. Inductively Sequential Term-Graph Rewrite Systems

      • Rachid Echahed
      Pages 84-98

  4. Applications of Graph Transformation

    1. Mobile Agents Implementing Local Computations in Graphs

      • Bilel Derbel, Mohamed Mosbah, Stefan Gruner
      Pages 99-114

    2. A Decentralized Implementation of Mobile Ambients

      • Fabio Gadducci, Giacoma Valentina Monreale
      Pages 115-130

    3. Network Applications of Graph Bisimulation

      • Pietro Cenciarelli, Daniele Gorla, Emilio Tuosto
      Pages 131-146

    4. Graph Transformation for Topology Modelling

      • Mathieu Poudret, Agnès Arnould, Jean-Paul Comet, Pascale Le Gall
      Pages 147-161

  5. Execution of Graph Transformations

    1. Embedding and Confluence of Graph Transformations with Negative Application Conditions

      • Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas
      Pages 162-177

    2. Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels

      • Hartmut Ehrig, Ulrike Prange
      Pages 178-193

    3. Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation

      • Hartmut Ehrig, Claudia Ermel
      Pages 194-210

    4. High-Level Programs and Program Conditions

      • Karl Azab, Annegret Habel
      Pages 211-225

  6. Compositional Systems

    1. Parallel and Sequential Independence for Borrowed Contexts

      • Filippo Bonchi, Fabio Gadducci, Tobias Heindel
      Pages 226-241

    2. Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts

      • Guilherme Rangel, Leen Lambers, Barbara König, Hartmut Ehrig, Paolo Baldan
      Pages 242-256

    3. Open Petri Nets: Non-deterministic Processes and Compositionality

      • Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Barbara König
      Pages 257-273

  7. Validation and Verification

    1. Attributed Graph Constraints

      • Fernando Orejas
      Pages 274-288
Back to top

Other volumes

  1. Graph Transformations

Keywords

About this book

This book constitutes the refereed proceedings of the 4th International Conference on Graph Transformations, ICGT 2008, held in Leicester, UK, in September 2008. The 27 revised full papers presented together with 5 tutorial and workshop papers and 3 invited lectures were carefully selected from 57 submissions. All current aspects in graph drawing are addressed including hypergraphs and termgraph rewriting, applications of graph transformation, execution of graph transformations, compositional systems, validation and verification, graph languages and special transformation concepts, as well as patterns and model transformations. In addition the volume contains 17 short papers of the ICGT 2008 Doctoral Symposium.

Editors and Affiliations

  • Technische Universität Berlin, Germany

    Hartmut Ehrig

  • Department of Computer Science, University of Leicester, Leicester, UK

    Reiko Heckel

  • Leiden Center for Natural Computing, Leiden University, Leiden, The Netherlands

    Grzegorz Rozenberg

  • Department of Mathematics and Computer Science, Philipps-University Marburg, Marburg, Germany

    Gabriele Taentzer

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation