Contradiction Analysis for Inconsistent Formal Models

Nils Przigoda, Robert Wille, Rolf Drechsler

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

10 Scopus citations

Abstract

Modeling languages such as UML or SysML in combination with constraint languages such as OCL allow for an abstract description of a system prior to its implementation. But the resulting system models can be highly non-trivial and, hence, errors in the descriptions can easily arise. In particular, too strong restrictions leading to an inconsistent model are common. Motivated by this, researchers and engineers developed methods for the validation and verification of given formal models. However, while these methods are efficient to detect the existence of an inconsistency, the designer is usually left alone to identify the reasons for it. In this contribution, we propose an automatic method which efficiently determines reasons explaining the contradiction in an inconsistent UML/OCL model. For this purpose, all constraints causing the contradiction are comprehensibly analyzed. By this, the designer is aided during the debugging of his/her model.

Original languageEnglish
Title of host publicationProceedings - 2015 IEEE 18th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2015
EditorsHeinrich Theodor Vierhaus, Zoran Stamenkovic, Witold Pleskacz, Jaan Raik
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages171-176
Number of pages6
ISBN (Electronic)9781479967803
DOIs
StatePublished - 13 Aug 2015
Externally publishedYes
Event18th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2015 - Belgrade, Serbia
Duration: 22 Apr 201524 Apr 2015

Publication series

NameProceedings - 2015 IEEE 18th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2015

Conference

Conference18th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2015
Country/TerritorySerbia
CityBelgrade
Period22/04/1524/04/15

Fingerprint

Dive into the research topics of 'Contradiction Analysis for Inconsistent Formal Models'. Together they form a unique fingerprint.

Cite this