Models in Model-Driven Engineering are heavily edited in all stages of software development and can become temporarily inconsistent. In general, there are many alternatives to fix an inconsistency, the actual choice is left to the discretion of the developer. Model repair tools should support developers by proposing a short list of repair alternatives. Such recommendations will be only accepted in practice if the generated proposals are plausible and understandable.
ReVision proposes a new approach to generate repair proposals which is based on the assumption that inconsistencies are introduced by incomplete editing processes which can be located in the version history of a model. Such an incomplete editing process is either undone or it is extended to a full execution of a consistency-preserving edit operation. We showcase the usage and benefits of our repair tool ReVision using a simplified multi-view UML model of a video on demand system.
Tooldemo
- Watch the ReVision Tooldemo on YouTube
- Running Example Introduction: [0:35]: VoD-System Example
- History Analysis: [2:03]: Understanding the Inconsistency
- First Corrective Edit Step: [3:45]: Correction of the Message Receiver
- Second Corrective Edit Step:[4:21]: Correction of the Message Sender
ReVision for Eclipse 2022-09 Released
