Table of Contents

Part I – Foundations of Graph Transformation

  1. Graphs for Modelling and Specification
  2. Graph Transformation Concepts
  3. Beyond Individual Rules: Usage Scenarios and Control Structures
  4. Analysis and Improvement of Graph Transformation Systems

Part II – Graph Transformation in Software Engineering

  1. Detecting Inconsistent Requirements in a Use-Case-Driven Approach
  2. Service Specification and Matching
  3. Model-Based Testing
  4. Reverse Engineering: Inferring Visual Contracts from Java Programs
  5. Stochastic Analysis of Dynamic Software Architectures
  1. Advanced Modelling-Language Definition: Integrating Metamodelling with Graph Transformation
  2. Improving Models and Understanding Model Changes
  3. Translating and Synchronising Models