Debugging of Inconsistent UML/OCL Models

Robert Wille, Mathias Soeken, Rolf Drechsler

In: Conference Proceedings. Design, Automation & Test in Europe (DATE-12) March 12-16 Dresden Germany 2012.


While being a de-facto standard for the modeling of software systems, the Unified Modeling Language (UML) is also increasingly used in the domain of hardware design and hardware/ software co-design. To ensure the correctness of the specified systems, approaches have been presented which automatically verify whether a UML model is consistent, i.e. free of conflicts. However, if the model is inconsistent, these approaches do not provide further information to assist the designer in finding the error. In this work, we present an automatic debugging approach which determines contradiction candidates, i.e. a small subset of the original model explaining the conflict. These contradiction candidates aid the designer in finding the error faster and therefore accelerate the whole design process. The approach employs different satisfiability solvers as well as different debugging strategies. Experimental results demonstrate that, even for large UML models with up to 2500 classes and constraints, the approach determines a very small number of contradiction candidates to be inspected.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence