REAL

Mixed strategy reasoning — an approach for resolution-based verification of OCL constraints in UML models

Kilián, Imre (2007) Mixed strategy reasoning — an approach for resolution-based verification of OCL constraints in UML models. Pollack Periodica, 2 (Supple). pp. 107-119. ISSN 1788-1994

[img] Text
pollack.2.2007.s.10.pdf
Restricted to Repository staff only until 31 December 2027.

Download (196kB)

Abstract

The paper describes the SILK-Verifier component, a resolution-based verification tool for OCL constraints of UML static models. First, the projection of OCL constraints to first-order logic formulae is explained, then, the way of finding contradictions and inconsistencies in these formulae is shown. The concept of mixed strategy reasoning is introduced, i.e. the way to make the reasoning capabilities of several Constraint Logic Programming solvers to cooperate in an interacting manner. For the best understanding of the problem, a concrete example for the cooperation of solvers is presented. Finally, the experiences gained during the implementation are summarized.

Item Type: Article
Subjects: T Technology / alkalmazott, műszaki tudományok > TA Engineering (General). Civil engineering (General) / általános mérnöki tudományok
Depositing User: Erika Bilicsi
Date Deposited: 14 Oct 2017 12:52
Last Modified: 14 Oct 2017 12:52
URI: http://real.mtak.hu/id/eprint/65696

Actions (login required)

Edit Item Edit Item