Skip to main content
SpringerLink
Log in

Applications of Graph Transformations with Industrial Relevance

4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected Papers

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Andy Schürr

    1. Real-Time Systems Lab, Technische Universität Darmstadt, Darmstadt, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Dániel Varró

    1. Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Gergely Varró

    1. Real-Time Systems Lab, Technische Universität Darmstadt, Darmstadt, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • High quality selected paper
  • Unique visibility
  • State of the art research

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: AGTIVE 2011.

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 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 72.00
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

About this book

This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Symposium on Applications of Graph Transformations, AGTIVE 2011, held in Budapest, Hungary, in October 2011.
The 13 revised full papers presented together with 2 invited talks, 2 application reports and 3 tool demonstration papers were carefully selected from 36 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on invited talk abstracts, model-driven engineering, graph transformation applications, tool demonstrations, graph transformation exploration techniques, graph transformation semantics and reasoning, application reports and bidirectional transformations.

Similar content being viewed by others

Keywords

Table of contents (20 papers)

  1. Front Matter

    Download chapter PDF

  3. Session 1: Model-Driven Engineering

    1. Graph Transformation Concepts for Meta-model Evolution Guaranteeing Permanent Type Conformance throughout Model Migration

      • Florian Mantz, Stefan Jurack, Gabriele Taentzer
      Pages 3-18

    2. A Graph Transformation-Based Semantics for Deep Metamodelling

      • Alessandro Rossini, Juan de Lara, Esther Guerra, Adrian Rutle, Yngve Lamo
      Pages 19-34

    3. Reusable Graph Transformation Templates

      • Juan de Lara, Esther Guerra
      Pages 35-50

  4. Session 2: Graph Transformation Applications

    1. Towards an Automated 3D Reconstruction of Plant Architecture

      • Florian Schöler, Volker Steinhage
      Pages 51-64

    2. Generating Graph Transformation Rules from AML/GT State Machine Diagrams for Building Animated Model Editors

      • Torsten Strobl, Mark Minas
      Pages 65-80

  5. Session 3: Tool Demonstrations

    1. AGG 2.0 – New Features for Specifying and Analyzing Algebraic Graph Transformations

      • Olga Runge, Claudia Ermel, Gabriele Taentzer
      Pages 81-88

    2. Integration of a Pattern-Based Layout Engine into Diagram Editors

      • Sonja Maier, Mark Minas
      Pages 89-96

    3. Tool Demonstration of the Transformation Judge

      • Steffen Mazanek, Christian Rutetzki, Mark Minas
      Pages 97-104

  6. Session 4: Graph Transformation Exploration Techniques

    1. Knowledge-Based Graph Exploration Analysis

      • Ismênia Galvão, Eduardo Zambon, Arend Rensink, Lesley Wevers, Mehmet Aksit
      Pages 105-120

    2. Graph Grammar Induction as a Parser-Controlled Heuristic Search Process

      • Luka Fürst, Marjan Mernik, Viljan Mahnič
      Pages 121-136

    3. Planning Self-adaption with Graph Transformations

      • Matthias Tichy, Benjamin Klöpper
      Pages 137-152

  7. Session 5: Graph Transformation Semantics and Reasoning

    1. From Graph Transformation Units via MiniSat to GrGen.NET

      • Marcus Ermler, Hans-Jörg Kreowski, Sabine Kuske, Caroline von Totth
      Pages 153-168

    2. Locality in Reasoning about Graph Transformations

      • Martin Strecker
      Pages 169-181

    3. Contextual Hyperedge Replacement

      • Frank Drewes, Berthold Hoffmann, Mark Minas
      Pages 182-197

  8. Session 6: Application Reports

    1. The Added Value of Programmed Graph Transformations – A Case Study from Software Configuration Management

      • Thomas Buchmann, Bernhard Westfechtel, Sabine Winetzhammer
      Pages 198-209

    2. A Case Study Based Comparison of ATL and SDM

      • Sven Patzina, Lars Patzina
      Pages 210-221

  9. Session 7: Bidirectional Transformations

    1. Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata

      • Joel Greenyer, Jan Rieke
      Pages 222-237
Back to top

Other volumes

  1. Applications of Graph Transformations with Industrial Relevance

Editors and Affiliations

  • Real-Time Systems Lab, Technische Universität Darmstadt, Darmstadt, Germany

    Andy Schürr, Gergely Varró

  • Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary

    Dániel Varró

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation