Skip to main content
SpringerLink
Log in

Applications of Graph Transformations with Industrial Relevance

Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers

  • Conference proceedings
  • © 2008

Overview

Editors:
  1. 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

  2. Manfred Nagl

    1. Department of Computer Science, RWTH Aachen, Chair of Computer Science III, Aachen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Albert Zündorf

    1. Software Engineering Research Group, Department of Computer Science and Electrical Engineering, University of Kassel, Kassel, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: AGTIVE 2007.

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

  1. Front Matter

    Download chapter PDF

  2. Graph Transformation Applications

    1. Combining Quality Assurance and Model Transformations in Business-Driven Development

      • Jana Koehler, Thomas Gschwind, Jochen Küster, Cesare Pautasso, Ksenia Ryndina, Jussi Vanhatalo et al.
      Pages 1-16

    2. Assuring Consistency of Business Process Models and Web Services Using Visual Contracts

      • Gregor Engels, Baris Güldali, Christian Soltenborn, Heike Wehrheim
      Pages 17-31

    3. Transforming Scene Graphs Using Triple Graph Grammars – A Practice Report

      • Nina Aschenbrenner, Leif Geiger
      Pages 32-43

    4. Using Graph Transformation to Support Collaborative Ontology Evolution

      • Pieter De Leenheer, Tom Mens
      Pages 44-58

    5. Modelling of Longitudinal Information Systems with Graph Grammars

      • Jens H. Weber-Jahnke
      Pages 59-65

  3. Meta-modeling and Domain-Specific Language

    1. A Generic Layout Algorithm for Meta-model Based Editors

      • Sonja Maier, Mark Minas
      Pages 66-81

    2. Domain Specific Languages with Graphical and Textual Views

      • Francisco Pérez Andrés, Juan de Lara, Esther Guerra
      Pages 82-97

    3. Generating Domain-Specific Model Editors with Complex Editing Commands

      • Gabriele Taentzer, André Crema, René Schmutzler, Claudia Ermel
      Pages 98-103

    4. Specifying Domain-Specific Refactorings for AndroMDA Based on Graph Transformation

      • Gabriele Taentzer, Dirk Müller, Tom Mens
      Pages 104-119

  4. New Graph Transformation Approaches

    1. Defining Abstract Graph Views as Module Interfaces

      • Ulrike Ranger, Katja Gruber, Marc Holze
      Pages 120-135

    2. Programmed Graph Rewriting with DEVS

      • Eugene Syriani, Hans Vangheluwe
      Pages 136-151

    3. Relational Growth Grammars – A Parallel Graph Transformation Approach with Applications in Biology and Architecture

      • Ole Kniemeyer, Günter Barczik, Reinhard Hemmerling, Winfried Kurth
      Pages 152-167

    4. Applications and Rewriting of Omnigraphs – Exemplified in the Domain of MDD

      • Oliver Denninger, Tom Gelhausen, Rubino Geiß
      Pages 168-183

  5. Program Transformation Applications

    1. A Single-Step Term-Graph Reduction System for Proof Assistants

      • Maarten de Mol, Marko van Eekelen, Rinus Plasmeijer
      Pages 184-200

    2. Shaped Generic Graph Transformation

      • Frank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas, Niels Van Eetvelde
      Pages 201-216

    3. Code Graph Transformations for Verifiable Generation of SIMD-Parallel Assembly Code

      • Christopher Kumar Anand, Wolfram Kahl
      Pages 217-232

    4. Graph Rewriting for Hardware Dependent Program Optimizations

      • Andreas Schösser, Rubino Geiß
      Pages 233-248

  6. Dynamic System Modeling

    1. Transforming Timeline Specifications into Automata for Runtime Monitoring

      • Eric Bodden, Hans Vangheluwe
      Pages 249-264

    2. Visualization, Simulation and Analysis of Reconfigurable Systems

      • Claudia Ermel, Karsten Ehrig
      Pages 265-280
Back to top

Other volumes

  1. Applications of Graph Transformations with Industrial Relevance

Keywords

About this book

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Symposium on Applications of Graph Transformations, AGTIVE 2007, held in Kassel, Germany, in October 2007. The 30 revised full papers presented together with 2 invited papers were carefully selected from numerous submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on graph transformation applications, meta-modeling and domain-specific language, new graph transformation approaches, program transformation applications, dynamic system modeling, model driven software development applications, queries, views, and model transformations, as well as new pattern matching and rewriting concepts. The volume moreover contains 4 papers resulting from the adjacent graph transformation tool contest and concludes with 9 papers summarizing the state of the art of today's available graph transformation environments.

Editors and Affiliations

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

    Andy Schürr

  • Department of Computer Science, RWTH Aachen, Chair of Computer Science III, Aachen, Germany

    Manfred Nagl

  • Software Engineering Research Group, Department of Computer Science and Electrical Engineering, University of Kassel, Kassel, Germany

    Albert Zündorf

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation