Debugging of inconsistent UML/OCL models

  title={Debugging of inconsistent UML/OCL models},
  author={Robert Wille and Mathias Soeken and Rolf Drechsler},
  journal={2012 Design, Automation & Test in Europe Conference & Exhibition (DATE)},
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… CONTINUE READING
Highly Cited
This paper has 30 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 17 extracted citations


Publications referenced by this paper.

Similar Papers

Loading similar papers…