Applications of Graph Transformations with Industrial Relevance

1. Front Matter

   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

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.

• .NET
• Ada
• Refactoring
• Web Services
• business processes
• case study
• code graphs
• data engineering
• domain-specific modeling
• graph grammars
• graph patterns
• graph rewiting
• modeling
• programming language
• quality assurance
• data structures
• algorithm analysis and problem complexity

• 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

Policies and ethics