Skip to main content
SpringerLink
Log in

Graph Transformations

5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings

  • Conference proceedings
  • © 2010

Overview

Editors:
  1. Hartmut Ehrig

    1. Institut für Softwaretechnik und Theoretische Informatik, Technische Universität Berlin, Berlin, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Arend Rensink

    1. Afdeling Informatica, Universiteit Twente, Enschede, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Grzegorz Rozenberg

    1. Leiden Institute of Advanced Computer Science (LIACS), Universiteit Leiden, Leiden, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Andy Schürr

    1. Fachgebiet Echtzeitsysteme, Technische Universität Darmstadt, Darmstadt, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast track conference proceedings

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

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

Included in the following conference series:

Conference proceedings info: ICGT 2010.

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

  1. Front Matter

    Download chapter PDF

  3. Session 1. Graphs and Logic

    1. Graph Transformation Units Guided by a SAT Solver

      • Hans-Jörg Kreowski, Sabine Kuske, Robert Wille
      Pages 27-42

    2. Delaying Constraint Solving in Symbolic Graph Transformation

      • Fernando Orejas, Leen Lambers
      Pages 43-58

    3. A Dynamic Logic for Termgraph Rewriting

      • Philippe Balbiani, Rachid Echahed, Andreas Herzig
      Pages 59-74

  4. Session 2. Behavioural Analysis

    1. A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes

      • Victor Khomenko
      Pages 75-90

    2. On the Computation of McMillan’s Prefix for Contextual Nets and Graph Grammars

      • Paolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König, Stefan Schwoon
      Pages 91-106

    3. Verification of Graph Transformation Systems with Context-Free Specifications

      • Barbara König, Javier Esparza
      Pages 107-122

    4. Saturated LTSs for Adhesive Rewriting Systems

      • Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale, Ugo Montanari
      Pages 123-138

    5. A Hoare Calculus for Graph Programs

      • Christopher M. Poskitt, Detlef Plump
      Pages 139-154

  5. Session 3. Models and Model Transformation

    1. Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars

      • Frank Hermann, Hartmut Ehrig, Fernando Orejas, Ulrike Golas
      Pages 155-170

    2. Conflict Detection for Model Versioning Based on Graph Modifications

      • Gabriele Taentzer, Claudia Ermel, Philip Langer, Manuel Wimmer
      Pages 171-186

    3. A Component Concept for Typed Graphs with Inheritance and Containment Structures

      • Stefan Jurack, Gabriele Taentzer
      Pages 187-202

    4. Combining Termination Criteria by Isolating Deletion

      • Dénes Bisztray, Reiko Heckel
      Pages 203-217

  6. Session 4. Algebraic Foundations

    1. Graph Rewriting in Span-Categories

      • Michael Löwe
      Pages 218-233

    2. Finitary \(\mathcal{M}\)-Adhesive Categories

      • Benjamin Braatz, Hartmut Ehrig, Karsten Gabriel, Ulrike Golas
      Pages 234-249

    3. Hereditary Pushouts Reconsidered

      • Tobias Heindel
      Pages 250-265

  7. Session 5. Applications

    1. Graph Transformation for Domain-Specific Discrete Event Time Simulation

      • Juan de Lara, Esther Guerra, Artur Boronat, Reiko Heckel, Paolo Torrini
      Pages 266-281

    2. Counterpart Semantics for a Second-Order μ-Calculus

      • Fabio Gadducci, Alberto Lluch Lafuente, Andrea Vandin
      Pages 282-297
Back to top

Other volumes

  1. Graph Transformations

Keywords

About this book

Graphs are among the simplest and most universal models for a variety of s- tems, not just in computer science, but throughout engineering and the life sciences. When systems evolve we are interested in the way they change, to p- dict, support, or react to their evolution. Graph transformation combines the idea of graphs as a universal modelling paradigm with a rule-based approach to specify their evolution. The area is concerned with both the theory of graph transformation and their application to a variety of domains. The biannual International Conferences on Graph Transformation aim at bringingtogetherresearchersandpractitionersinterestedin the foundations and applicationsof graphtransformation.The ?fth conference,ICGT 2010,was held at the University of Twente (The Netherlands) in September/October 2010, alongwith severalsatellite events.It continuedthe line ofconferences previously held in Barcelona (Spain) in 2002, Rome (Italy) 2004, Natal (Brazil) in 2006 and Leicester (UK) in 2008, as well as a series of six International Workshops on Graph Transformation with Applications in Computer Science from 1978 to 1998. Also, ICGT alternates with the workshop series on Application of Graph Transformation with Industrial Relevance (AGTIVE). The conference was held under the auspices of EATCS and EASST.

Editors and Affiliations

  • Institut für Softwaretechnik und Theoretische Informatik, Technische Universität Berlin, Berlin, Germany

    Hartmut Ehrig

  • Afdeling Informatica, Universiteit Twente, Enschede, The Netherlands

    Arend Rensink

  • Leiden Institute of Advanced Computer Science (LIACS), Universiteit Leiden, Leiden, The Netherlands

    Grzegorz Rozenberg

  • Fachgebiet Echtzeitsysteme, Technische Universität Darmstadt, Darmstadt, Germany

    Andy Schürr

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation