Graph Transformations and Model-Driven Engineering

Table of contents (31 chapters)

1. Front Matter

   Pages -

   Download PDF (211KB)

2. Graph Transformations and Model-Driven Engineering: The Merits of Manfred Nagl

   1. 

      Chapter

      Pages 1-5

      Graph Transformations and Model-Driven Engineering: The Merits of Manfred Nagl

      Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, Bernhard Westfechtel

3. Graph Transformations: Theory and Applications

   1. 

      Chapter

      Pages 6-32

      The Edge of Graph Transformation — Graphs for Behavioural Specification

      Arend Rensink

   2. 

      Chapter

      Pages 33-58

      Graph Transformation by Computational Category Theory

      Mark Minas, Hans Jürgen Schneider

   3. 

      Chapter

      Pages 59-86

      On GS-Monoidal Theories for Graphs with Nesting

      Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente, Ugo Montanari

   4. 

      Chapter

      Pages 87-101

      Stochastic Modelling and Simulation of Mobile Systems

      Reiko Heckel, Paolo Torrini

   5. 

      Chapter

      Pages 102-120

      Autonomous Units and Their Semantics – The Concurrent Case

      Hans-Jörg Kreowski, Sabine Kuske

   6. 

      Chapter

      Pages 121-140

      Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation

      Enrico Biermann, Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Gabriele Taentzer

   7. 

      Chapter

      Pages 141-174

      Extended Triple Graph Grammars with Efficient and Compatible Graph Translators

      Felix Klar, Marius Lauder, Alexander Königs, Andy Schürr

   8. 

      Chapter

      Pages 175-201

      Controlling Reuse in Pattern-Based Model-to-Model Transformations

      Esther Guerra, Juan de Lara, Fernando Orejas

   9. 

      Chapter

      Pages 202-223

      Lessons Learned from Building a Graph Transformation System

      Gabor Karsai

   10. 

       Chapter

       Pages 224-248

       Workflow-Driven Tool Integration Using Model Transformations

       András Balogh, Gábor Bergmann, György Csertán, László Gönczy, Ákos Horváth…

4. Software Architectures and Reengineering

   1. 

      Chapter

      Pages 249-273

      The Architecture Description Language MoDeL

      Peter Klein

   2. 

      Chapter

      Pages 274-308

      Towards Managing Software Architectures with Ontologies

      Marcel Bennicke, Claus Lewerentz

   3. 

      Chapter

      Pages 309-334

      Using Role-Play Diagrams to Improve Scenario Role-Play

      Jürgen Börstler

   4. 

      Chapter

      Pages 335-362

      Reverse Engineering Using Graph Queries

      Jürgen Ebert, Daniel Bildhauer

   5. 

      Chapter

      Pages 363-392

      Graph-Based Structural Analysis for Telecommunication Systems

      André Marburger, Bernhard Westfechtel

5. Process Support

   1. 

      Chapter

      Pages 393-410

      Do We Really Know How to Support Processes? Considerations and Reconstruction

      Stefan Jablonski

   2. 

      Chapter

      Pages 411-440

      A Meta-Method for Defining Software Engineering Methods

      Gregor Engels, Stefan Sauer

   3. 

      Chapter

      Pages 441-472

      Techniques for Merging Views of Software Processes

      Josée Tassé, Nazim H. Madhavji, Amandeep Azad

6. Embedded Systems Engineering

   1. 

      Chapter

      Pages 473-491

      Model Checking Programmable Router Configurations

      Luca Zanolin, Cecilia Mascolo, Wolfgang Emmerich