Skip to main content
Springer Nature Link
Log in

Graph Transformation

6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Hartmut Ehrig

    1. Technical University of Berlin, 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. Hans-Jörg Kreowski

    1. Department of Computer Science, University of Bremen, Bremen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Grzegorz Rozenberg

    1. Leiden Center for Natural Computing, Leiden University, LCNC - LIACS, Leiden, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast-track conference proceedings
  • State-of-the-art research
  • Up-to-date results

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

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

Included in the following conference series:

Conference proceedings info: ICGT 2012.

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

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
€32.70 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook EUR 42.79
Price includes VAT (France)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book EUR 52.74
Price includes VAT (France)
  • 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

About this book

This book constitutes the proceedings of the 6th International Conference on Graph Transformations, ICGT 2012, held in Bremen, Germany, in September 2012. The 30 papers and 3 invited papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on behavioural analysis, high-level graph transformation, revisited approaches, general transformation models, structuring and verification, graph transformations in use, (meta-)model evolution and incremental approaches.

Similar content being viewed by others

Keywords

Table of contents (31 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Papers

    1. A Graph-Based Design Framework for Services

      • Antónia Lopes, José Luiz Fiadeiro
      Pages 1-19

    2. Evolutionary Togetherness: How to Manage Coupled Evolution in Metamodeling Ecosystems

      • Davide Di Ruscio, Ludovico Iovino, Alfonso Pierantonio
      Pages 20-37

    3. Completeness-Driven Development

      • Rolf Drechsler, Melanie Diepenbeck, Daniel Große, Ulrich Kühne, Hoang M. Le, Julia Seiter et al.
      Pages 38-50

  3. Foundations 1: Behavioral Analysis

    1. Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models

      • Fabio Gadducci, Alberto Lluch Lafuente, Andrea Vandin
      Pages 51-65

    2. Pattern-Based Graph Abstraction

      • Arend Rensink, Eduardo Zambon
      Pages 66-80

    3. Well-Structured Graph Transformation Systems with Negative Application Conditions

      • Barbara König, Jan Stückrath
      Pages 81-95

  4. Foundations 2: High-Level Graph Transformation

    1. Parallelism and Concurrency of Stochastic Graph Transformations

      • Reiko Heckel, Hartmut Ehrig, Ulrike Golas, Frank Hermann
      Pages 96-110

    2. Refined Graph Rewriting in Span-Categories

      • Michael Löwe
      Pages 111-125

    3. Borrowed Contexts for Attributed Graphs

      • Fernando Orejas, Artur Boronat, Nikos Mylonakis
      Pages 126-140

  5. Foundations 3: Revisited Approaches

    1. Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars

      • Ulrike Golas, Leen Lambers, Hartmut Ehrig, Holger Giese
      Pages 141-155

    2. Graph Transformation with Focus on Incident Edges

      • Dominique Duval, Rachid Echahed, Frédéric Prost
      Pages 156-171

    3. Rational Term Rewriting Revisited: Decidability and Confluence

      • Takahito Aoto, Jeroen Ketema
      Pages 172-186

  6. Foundations 4: General Transformation Models

    1. A General Attribution Concept for Models in \({\cal M}\)-Adhesive Transformation Systems

      • Ulrike Golas
      Pages 187-202

    2. DPO Transformation with Open Maps

      • Reiko Heckel
      Pages 203-217

    3. \(\mathcal M, \mathcal N\)-Adhesive Transformation Systems

      • Annegret Habel, Detlef Plump
      Pages 218-233

  7. Foundations 5: Structuring and Verification

    1. Generalised Compositionality in Graph Transformation

      • Amir Hossein Ghamarian, Arend Rensink
      Pages 234-248

    2. Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking

      • Holger Giese, Leen Lambers
      Pages 249-263

    3. Efficient Symbolic Implementation of Graph Automata with Applications to Invariant Checking

      • Christoph Blume, H. J. Sander Bruggink, Dominik Engelke, Barbara König
      Pages 264-278

  8. Applications 1: Graph Transformations in Use

    1. Testing against Visual Contracts: Model-Based Coverage

      • Tamim Ahmed Khan, Olga Runge, Reiko Heckel
      Pages 279-293
Back to top

Other volumes

  1. Graph Transformations

Editors and Affiliations

  • Technical University of Berlin, Berlin, Germany

    Hartmut Ehrig

  • University of Paderborn, Paderborn, Germany

    Gregor Engels

  • Department of Computer Science, University of Bremen, Bremen, Germany

    Hans-Jörg Kreowski

  • Leiden Center for Natural Computing, Leiden University, LCNC - LIACS, Leiden, The Netherlands

    Grzegorz Rozenberg

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation