Applications of Graph Transformations with Industrial Relevance

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

  • Andy Schürr
  • Dániel Varró
  • Gergely Varró
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7233)

Table of contents

  1. Front Matter
  2. Invited Talk Abstracts

  3. Session 1: Model-Driven Engineering

    1. Alessandro Rossini, Juan de Lara, Esther Guerra, Adrian Rutle, Yngve Lamo
      Pages 19-34
    2. Juan de Lara, Esther Guerra
      Pages 35-50
  4. Session 2: Graph Transformation Applications

  5. Session 3: Tool Demonstrations

    1. Olga Runge, Claudia Ermel, Gabriele Taentzer
      Pages 81-88
    2. Steffen Mazanek, Christian Rutetzki, Mark Minas
      Pages 97-104
  6. Session 4: Graph Transformation Exploration Techniques

    1. Ismênia Galvão, Eduardo Zambon, Arend Rensink, Lesley Wevers, Mehmet Aksit
      Pages 105-120
    2. Luka Fürst, Marjan Mernik, Viljan Mahnič
      Pages 121-136
    3. Matthias Tichy, Benjamin Klöpper
      Pages 137-152
  7. Session 5: Graph Transformation Semantics and Reasoning

    1. Marcus Ermler, Hans-Jörg Kreowski, Sabine Kuske, Caroline von Totth
      Pages 153-168
    2. Frank Drewes, Berthold Hoffmann, Mark Minas
      Pages 182-197
  8. Session 6: Application Reports

    1. Thomas Buchmann, Bernhard Westfechtel, Sabine Winetzhammer
      Pages 198-209
    2. Sven Patzina, Lars Patzina
      Pages 210-221
  9. Session 7: Bidirectional Transformations

About these proceedings

Introduction

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.

Keywords

AML algebraic graph transformations graph grammar graphs metamodels

Editors and affiliations

  • Andy Schürr
    • 1
  • Dániel Varró
    • 2
  • Gergely Varró
    • 1
  1. 1.Real-Time Systems LabTechnische Universität DarmstadtDarmstadtGermany
  2. 2.Department of Measurement and Information SystemsBudapest University of Technology and EconomicsBudapestHungary

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-34176-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-34175-5
  • Online ISBN 978-3-642-34176-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book