Inconsistency Management in Model-Driven Engineering
A software design is often modelled as a collection of UML diagrams. There is an inherent need to manage inconsistencies between these diagrams. Moreover, through evolution those diagrams get modified leading to possible inconsistencies between different versions of the diagrams. State-of-the-art UML CASE tools provide poor support for inconsistency management due to the different possible interpretations of UML diagrams. To solve this problem, we first introduce a lightweight formalisation of part of the UML metamodel and secondly, a classification of inconsistency problems is proposed. To achieve the detection and resolution of consistency conflicts, the use of description logic (DL) is presented. DL has the important property of being a decidable fragment of first-order predicate logic.
An abstract of the research performed in the context of Ragnhild's PhD can be found here.
Contact
Literature
