Graph Transformations and Model-Driven Engineering

Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday

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

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

Table of contents

  1. Front Matter
    PDF

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

    1. Graph Transformations and Model-Driven Engineering: The Merits of Manfred Nagl
      Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, Bernhard Westfechtel
      Pages 1-5

  3. Graph Transformations: Theory and Applications

    1. The Edge of Graph Transformation — Graphs for Behavioural Specification
      Arend Rensink
      Pages 6-32
    2. Graph Transformation by Computational Category Theory
      Mark Minas, Hans Jürgen Schneider
      Pages 33-58
    3. On GS-Monoidal Theories for Graphs with Nesting
      Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente, Ugo Montanari
      Pages 59-86
    4. Stochastic Modelling and Simulation of Mobile Systems
      Reiko Heckel, Paolo Torrini
      Pages 87-101
    5. Autonomous Units and Their Semantics – The Concurrent Case
      Hans-Jörg Kreowski, Sabine Kuske
      Pages 102-120
    6. Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation
      Enrico Biermann, Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Gabriele Taentzer
      Pages 121-140
    7. Extended Triple Graph Grammars with Efficient and Compatible Graph Translators
      Felix Klar, Marius Lauder, Alexander Königs, Andy Schürr
      Pages 141-174
    8. Controlling Reuse in Pattern-Based Model-to-Model Transformations
      Esther Guerra, Juan de Lara, Fernando Orejas
      Pages 175-201
    9. Lessons Learned from Building a Graph Transformation System
      Gabor Karsai
      Pages 202-223
    10. Workflow-Driven Tool Integration Using Model Transformations
      András Balogh, Gábor Bergmann, György Csertán, László Gönczy, Ákos Horváth, István Majzik et al.
      Pages 224-248

  4. Software Architectures and Reengineering

    1. The Architecture Description Language MoDeL
      Peter Klein
      Pages 249-273
    2. Towards Managing Software Architectures with Ontologies
      Marcel Bennicke, Claus Lewerentz
      Pages 274-308
    3. Using Role-Play Diagrams to Improve Scenario Role-Play
      Jürgen Börstler
      Pages 309-334
    4. Reverse Engineering Using Graph Queries
      Jürgen Ebert, Daniel Bildhauer
      Pages 335-362
    5. Graph-Based Structural Analysis for Telecommunication Systems
      André Marburger, Bernhard Westfechtel
      Pages 363-392

  5. Process Support

    1. Do We Really Know How to Support Processes? Considerations and Reconstruction
      Stefan Jablonski
      Pages 393-410
    2. A Meta-Method for Defining Software Engineering Methods
      Gregor Engels, Stefan Sauer
      Pages 411-440
    3. Techniques for Merging Views of Software Processes
      Josée Tassé, Nazim H. Madhavji, Amandeep Azad
      Pages 441-472

About this book

Keywords

Requirements Engineering design embedded systems grammars model checking modeling reverse engineering robotics semantics simulation software software architecture software architectures software engineering structured analysis

Editors and affiliations

  • Gregor Engels
    • 1
  • Claus Lewerentz
    • 2
  • Wilhelm Schäfer
    • 3
  • Andy Schürr
    • 4
  • Bernhard Westfechtel
    • 5
  1. 1.Fakultät für Elektrotechnik, Informatik und MathematikUniversity of PaderbornPaderbornGermany
  2. 2.Software Systems Engineering Research GroupBrandenburg Technical University at CottbusCottbusGermany
  3. 3.Department of Mathematics and Computer ScienceUniversity of PaderbornPaderbornGermany
  4. 4.Fachgebiet EchtzeitsystemeTechnische Universität DarmstadtDarmstadtGermany
  5. 5.Angewandte Informatik IUniversity of BayreuthBayreuthGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-17322-6
  • Copyright Information Springer Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-17321-9
  • Online ISBN 978-3-642-17322-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book