Book Volume 5765 2010

Graph Transformations and Model-Driven Engineering

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

ISBN: 978-3-642-17321-9 (Print) 978-3-642-17322-6 (Online)

Table of contents (31 chapters)

previous Page of 2
  1. Front Matter

    Pages -

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

    1. No Access

      Chapter

      Pages 1-5

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

  3. Graph Transformations: Theory and Applications

    1. No Access

      Chapter

      Pages 6-32

      The Edge of Graph Transformation — Graphs for Behavioural Specification

    2. No Access

      Chapter

      Pages 33-58

      Graph Transformation by Computational Category Theory

    3. No Access

      Chapter

      Pages 59-86

      On GS-Monoidal Theories for Graphs with Nesting

    4. No Access

      Chapter

      Pages 87-101

      Stochastic Modelling and Simulation of Mobile Systems

    5. No Access

      Chapter

      Pages 102-120

      Autonomous Units and Their Semantics – The Concurrent Case

    6. No Access

      Chapter

      Pages 121-140

      Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation

    7. No Access

      Chapter

      Pages 141-174

      Extended Triple Graph Grammars with Efficient and Compatible Graph Translators

    8. No Access

      Chapter

      Pages 175-201

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

    9. No Access

      Chapter

      Pages 202-223

      Lessons Learned from Building a Graph Transformation System

    10. No Access

      Chapter

      Pages 224-248

      Workflow-Driven Tool Integration Using Model Transformations

  4. Software Architectures and Reengineering

    1. No Access

      Chapter

      Pages 249-273

      The Architecture Description Language MoDeL

    2. No Access

      Chapter

      Pages 274-308

      Towards Managing Software Architectures with Ontologies

    3. No Access

      Chapter

      Pages 309-334

      Using Role-Play Diagrams to Improve Scenario Role-Play

    4. No Access

      Chapter

      Pages 335-362

      Reverse Engineering Using Graph Queries

    5. No Access

      Chapter

      Pages 363-392

      Graph-Based Structural Analysis for Telecommunication Systems

  5. Process Support

    1. No Access

      Chapter

      Pages 393-410

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

    2. No Access

      Chapter

      Pages 411-440

      A Meta-Method for Defining Software Engineering Methods

    3. No Access

      Chapter

      Pages 441-472

      Techniques for Merging Views of Software Processes

  6. Embedded Systems Engineering

    1. No Access

      Chapter

      Pages 473-491

      Model Checking Programmable Router Configurations

previous Page of 2