Debugging of inconsistent UML/OCL models

Robert Wille, Mathias Soeken, Rolf Drechsler

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

30 Scopus citations

Abstract

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.

Original languageEnglish
Title of host publicationProceedings - Design, Automation and Test in Europe Conference and Exhibition, DATE 2012
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages1078-1083
Number of pages6
ISBN (Print)9783981080186
DOIs
StatePublished - 2012
Externally publishedYes
Event15th Design, Automation and Test in Europe Conference and Exhibition, DATE 2012 - Dresden, Germany
Duration: 12 Mar 201216 Mar 2012

Publication series

NameProceedings -Design, Automation and Test in Europe, DATE
ISSN (Print)1530-1591

Conference

Conference15th Design, Automation and Test in Europe Conference and Exhibition, DATE 2012
Country/TerritoryGermany
CityDresden
Period12/03/1216/03/12

Fingerprint

Dive into the research topics of 'Debugging of inconsistent UML/OCL models'. Together they form a unique fingerprint.

Cite this