Kehrer, Timo: Calculation and propagation of model changes based on user-level edit operations : a foundation for version and variant management in model-driven eng [...]. 2015
Inhalt
- Abstract
- Kurzfassung
- Contents
- Introduction
- Model-driven Engineering
- Model Evolution, Version and Variant Management
- Problem Motivation
- Contributions
- Thesis-related List of Publications
- Thesis Outline
- Model Version and Variant Management
- Motivating Scenarios
- SC1: Understanding Model Changes
- SC2: Updating a Copy of an Original Model
- SC3: Cherrypicking Changes
- SC4: Propagation of Changes in a Product Family
- SC5: Workspace Updates of Models
- A Feature-oriented Domain Analysis
- Modeling Languages and MDE Development Environments
- User-level Edit Operations
- Difference Calculation and Presentation
- Change Propagation
- Errors and Conflicts
- Consistency-preservation
- State of the Art
- Conclusions
- Representation and Editing of Models
- Graph-based Representation of Models
- Graphs and Graph Mappings
- Meta-models as Type Graphs
- Models as Typed Graphs
- Attributed Graphs
- Visual Representation of Type and Instance Graphs
- Consistency of Models
- Rule-based Specification of Edit Operations
- Semantic Lifting of Model Differences
- Low-level Differences
- Semantic Change Sets
- Rule-based Specification of Semantic Change Sets
- Generation of Recognition Rules
- Non-static Change Patterns
- Edit Operation Recognition
- Restrictions of the Approach
- Generation of Edit Scripts
- Edit Scripts
- Prerequisite: Tracing of Edit Rule Elements
- Retrieval of Actual Parameters
- Dependency Analysis
- Propagation of Changes based on Consistency-preserving Edit Scripts
- Using Edit Scripts as Model Patches
- Representation of Edit Scripts
- Guided Editing of an Initial Version of an Edit Script
- Distribution of Edit Scripts
- Error and Conflict Detection
- Interactive Application of Edit Scripts
- Creation of a Set of Consistency-preserving Edit Rules
- Mandatory Edit Rules
- Basic Design Decisions
- Generation of Consistency-preserving Edit Rules
- Preparations and Prerequisites
- Generation of Creation and Deletion Rules
- Generation of Move and Change Rules
- Consistency-preservation of Generated Rules
- Completeness of the Generated Edit Rule Set
- Analysis of Potential Transient Effects
- Requirements Induced by Consistency-preserving Edit Rules
- Adapting the Generated Rule Set
- A Generic Model Versioning Framework
- Configuration of Differencing Tools
- Configuration of Patching Tools
- Reference Implementation based on the Eclipse Modeling Project
- Evaluation
- Evaluation Goals
- Case Studies and Example Applications
- Study I: Comparison and Versioning of Ecore Models
- Study II: Model Variant Management in Industrial Plant Automation
- Study III: Documenting and Reasoning about Feature Model Changes
- Study IV: Understanding Complex Changes in Domain-Specific Models
- Study V: Statistical Analysis of Changes in Evolving Software Models
- Study VI: Analyzing the Co-Evolution of Interrelated Models
- Conclusions and Critical Discussion
- Experimental Results
- Related Work
- Generic Model Versioning
- Language-specific Approaches
- Model Repositories
- Approaches from other Domains
- Conclusions and Future Work
- Bibliography