Advertisement

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

  6. Embedded Systems Engineering

    1. Model Checking Programmable Router Configurations
      Luca Zanolin, Cecilia Mascolo, Wolfgang Emmerich
      Pages 473-491
    2. Architectural Issues of Adaptive Pervasive Systems
      Mauro Caporuscio, Marco Funaro, Carlo Ghezzi
      Pages 492-511
    3. Using Graph Grammars for Modeling Wiring Harnesses – An Experience Report
      Albert Zündorf, Leif Geiger, Ralf Gemmerich, Ruben Jubeh, Jürgen Leohold, Dieter Müller et al.
      Pages 512-532
    4. Model-Driven Development with Mechatronic UML
      Wilhelm Schäfer, Heike Wehrheim
      Pages 533-554
    5. Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent
      Holger Giese, Stephan Hildebrandt, Stefan Neumann
      Pages 555-579
    6. Multi-view Modeling to Support Embedded Systems Engineering in SysML
      Aditya A. Shah, Aleksandr A. Kerzhner, Dirk Schaefer, Christiaan J. J. Paredis
      Pages 580-601

  7. Engineering Design Applications

    1. Requirements Engineering in Complex Domains
      Matthias Jarke, Ralf Klamma, Klaus Pohl, Ernst Sikora
      Pages 602-620
    2. Tool Support for Dynamic Development Processes
      Thomas Heer, Markus Heller, Bernhard Westfechtel, René Wörzberger
      Pages 621-654
    3. An Extensible Modeling Language for the Representation of Work Processes in the Chemical and Process Industries
      Ri Hai, Manfred Theißen, Wolfgang Marquardt
      Pages 655-682
    4. Integration Tools for Consistency Management between Design Documents in Development Processes
      Simon M. Becker, Anne-Thérèse Körtgen
      Pages 683-718
    5. Towards Semantic Navigation in Mobile Robotics
      Adam Borkowski, Barbara Siemiatkowska, Jacek Szklarski
      Pages 719-748
    6. Model Driven Engineering in Operative Industrial Process Control Environments
      Ulrich Epple
      Pages 749-765
  8. Back Matter
    PDF

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
  • Buy this book on publisher's site