Fault-Tolerant Consistency Management in Model-Driven Engineering / Nils Weidmann. Paderborn, 2022
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
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
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
Bibliography
Example TGGs
Runtime Measurements