Publikation
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.
Zusammenfassung
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.