Extending OCL with Subjective Logic

By: Paula Muñoz, Loli Burgueño, Victor Ortiz, Antonio Vallecillo


The logic of the UML and OCL modeling languages is based on crisp values, e.g., true or false. However, when modeling systems that work in physical environments or where human actors are involved, different users may have subjective opinions about the reality that they perceive, and thus may need to assign different levels of confidence to the logic predicates of the models. These different views, or opinions, may also be subject to uncertainty when there is a lack of knowledge about the system, adding the dimension of ignorance to the traditional belief-disbelief dichotomy. This paper proposes an extension of the OCL/UML datatype Boolean that enables the representation of subjective uncertain opinions, together with a set of logical operators for reasoning with uncertain propositions in order to reach better informed decisions. The proposal has been implemented as an extension of the UML-based Specification Environment (USE) tool, and validated with several applications and case studies.


OCL, uncertainty modeling, subjective logic.

Cite as:

Paula Muñoz, Loli Burgueño, Victor Ortiz, Antonio Vallecillo, “Extending OCL with Subjective Logic”, Journal of Object Technology, Volume 19, no. 3 (October 2020), pp. 3:1-15, doi:10.5381/jot.2020.19.3.a1.

PDF | DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn

This article is accompanied by a video realized by the author(s).

The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access   |    Contact