Skip to main content
Book cover
  • Conference proceedings
  • © 2012

Graph Transformation

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

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: Theoretical Computer Science and General Issues (LNTCS, volume 7562)

Conference series link(s): ICGT: International Conference on Graph Transformation

Conference proceedings info: ICGT 2012.

Sections

eBook USD 74.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-33654-6
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 95.00
Price excludes VAT (USA)
Learn about institutional subscriptions

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

Table of contents (31 papers)

  1. Front Matter

    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

  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

    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

    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

Back to top

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

Keywords

  • approximated verification
  • bisimilarity
  • concurrency
  • graph theory
  • parallelism
  • data structures
  • algorithm analysis and problem complexity
Back to top

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

Back to top

Bibliographic Information

Back to top
Access via your institution
eBook USD 74.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-33654-6
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 95.00
Price excludes VAT (USA)
Learn about institutional subscriptions