RT Journal Article
T1 Belief Uncertainty in Software Models
A1 Burgueño-Caballero, Lola
A1 Clarisó, Robert
A1 Cabot, Jordi
A1 Gérard, Sébastien
A1 Vallecillo-Moreno, Antonio Jesús
K1 Incertidumbre (Teoría de la información)
K1 Modelos matemáticos
AB This paper discusses the representation of Belief Uncertainty in software models. This kind of uncertainty refers to the situation in which the modeler, or any other belief agent, is uncertain about the behavior of the system, or the statements that the model expresses about it. In this work, we propose to assign a degree of belief to model statements (let they be constraints, or any other model expression), which is expressed by a probability (called credence, in statistical terms) that represents a quantification of such a subjective degree of belief. We discuss how it can be represented using current modeling notations, and how to operate with it in order to make informed decisions.
YR 2020
FD 2020-06-08
LK https://hdl.handle.net/10630/19579
UL https://hdl.handle.net/10630/19579
LA eng
NO Preprint de : Loli Burgueño, Robert Clarisó, Jordi Cabot, Sébastien Gerard and Antonio Vallecillo. "Belief Uncertainty in Software Models." In Proc. of the 11th Workshop on Modelling in Software Engineering (MiSE'2019) at ICSE 2019, Montreal, Canada, May 26-27, 2019. ACM
NO PGC2018-094905-B-I00TIN2016-75944-RCEA in the context of the Modelia initiative and the ECSEL RIA 2016 MegaM@Rt2 project by the European Union’sHorizon 2020 under grant No 737494.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech.
DS RIUMA. Repositorio Institucional de la Universidad de Málaga
RD 3 mar 2026