Inhalt

•  
   Table of Contents
•  
   Foundations and Related Work
•  
   Introduction and Motivation
•  
   Motivation and Problem Statement
•  
   Stakeholders and Requirements
•  
   Solution Overview and Contribution
•  
   Publication Overview
•  
  State of the Art: Fault-Tolerance in MDE
•  
   Motivation
•  
   Related Literature Reviews and Mapping Studies
•  
   Survey Procedure
•  
   Scope and Classification
•  
   Use Cases and Application Domains
•  
   Benefits and Challenges
•  
   Result Analysis
•  
   Solution Approach
•  
   Summary and Discussion
•  
  Modelling Software Systems: Languages and Transformations
•  
   SysML: A Semi-Formal Language
•  
   Event-B: A Formal Language
•  
   Bidirectional Model Transformations with TGGs
•  
   Summary and Discussion
•  
  A Feature-Based Classification of Triple Graph Grammar Variants
•  
   Existing Work on TGG Language Features
•  
   Feature Model and Expressiveness
•  
   Basic Rules
•  
   Attribute Conditions
•  
   Application Conditions
•  
   Multi-Amalgamation
•  
   Completed Running Example
•  
   Summary and Discussion
•  
   Conceptual Solution
•  
  Fault-Tolerant Model Transformation and Consistency Checking
•  
   Motivation
•  
   Related Work
•  
   Solution Overview
•  
   Operationalisation
•  
   Rule Pattern Matching
•  
   ILP Construction
•  
   Optimisation and Filter
•  
   Evaluation
•  
   Summary and Discussion
•  
  Integrating Domain Constraint into the Fault-Tolerant Framework
•  
   Motivation
•  
   Related Work
•  
   Solution Overview
•  
   Integrating Graph Constraints
•  
   Correctness and Completeness
•  
   Evaluation
•  
   Summary and Discussion
•  
  A Fault-Tolerant Approach to Concurrent Model Synchronisation
•  
   Motivation
•  
   Related Work
•  
   Solution Overview
•  
   Operational Rules
•  
   Rating of Rule Applications
•  
   Constructing the Optimisation Problem
•  
   Evaluation
•  
   Summary and Discussion
•  
  Concurrent Model Synchronisation with Multiple Objectives
•  
   Motivation
•  
   Related Work
•  
   Solution Overview
•  
   Adaptation of Meta-Heuristics
•  
   Evaluation
•  
   Summary and Discussion
•  
   Wrap-up of the Hybrid Approach
•  
   Tools and Applications
•  
  The eMoflon Tool Suite
•  
   Introduction and a Brief History
•  
   Related MDE Tools
•  
   Graph Transformation with IBeX-GT
•  
   Bidirectional Model Transformation with IBeX-TGG
•  
   Consistency and Model Management with Neo
•  
   Scalability Analysis
•  
   Teaching MDE with eMoflon
•  
   Summary and Discussion
•  
  The VICToRy Debugger
•  
   Introduction and Motivation
•  
   Related MDE Debuggers
•  
   Architecture
•  
   Breakpoint Concept
•  
   An Overview of the User Interface
•  
   Concurrent Synchronisation Component
•  
   Evaluation
•  
   Summary and Discussion
•  
  Automating Model Transformations for Railway Systems Engineering
•  
   Industrial Context and Motivation
•  
   Related Work
•  
   Motivating Example
•  
   Implementation
•  
   Evaluation
•  
   Summary and Discussion
•  
  Automating Test Schedule Generation with Domain-Specific Languages
•  
   Industrial Context and Motivation
•  
   Approaches to Test Scheduling
•  
   Related Work
•  
   Test Schedule Optimisation via Correspondence Creation
•  
   Domain Analysis via Metamodelling
•  
   Defining Test Schedule Validity via a TGG
•  
   Configuration via a Domain-Specific Language
•  
   Applied Techniques to Improve Scalability
•  
   Evaluation
•  
   Summary and Discussion
•  
  Conclusion and Future Work
•  
   Requirements Revisited
•  
   Future Work
•  
   Bibliography
•  
  Example TGGs
•  
   FamiliesToPersons
•  
   JavaToDoc
•  
   Runtime Measurements