Preserving Consistency of Interrelated Models during View-Based Evolution of Variable Systems
summary
Proposes a Vitruvius-based prototype that unifies variability in space and time and adds view-based automated consistency-preservation rules, implemented and evaluated on ArgoUML-SPL and MobileMedia case study. Claim: manually editing only Java models lets the approach compute and apply all necessary UML and product-variant repairs fully automatically. Empirical result: without preservation 26 of 45 RQML products and 23 of 27 MobileMedia products become inconsistent; with the rules, all revisions keep every product consistent and no repairs need manual intervention.
AI-written summary · about
chapters (7)
- 0:00Model consistency in variable systems
- 2:55Interrelated models challenges
- 5:25Unified variability management
- 8:26View-based operations in automotive
- 11:37Preserving consistency during changes
- 14:07Evaluation results and suitability
- 15:55Conclusion and related work
related talks
16mA Search-Based and Fault-Tolerant Approach to Concurrent Model Synchronisation
25mDomain-specific model differencing in visual concrete syntax
29mDeriving Integrated Multi-Viewpoint Modeling Languages from Heterogeneous Modeling...
40mAn Interdisciplinary View on Prototypes - Towards Executable Models That Can Be...
35mThe holy war of modeling notations - what fits best and why?
27mOperationalizing the Integration of User Interaction Specifications in Modeling Editor Synthesis
55mHow Commonality Variability Analysis reduces complexity.
31mGenerating Constraint Programs for Variability Model Reasoning: A DSL and Solver-...