RT Journal Article
T1 On Softening OCL Invariants
A1 Gogolla, Martin
A1 Vallecillo-Moreno, Antonio Jesús
K1 UML (Informática)
AB Invariants play a crucial role in system development. This contribution focuses on invariants in systems with so-called occurrence uncertainty, where we are interested in deciding whether a certain population (a set of instances of a class model) of the system satisfies an invariant or not, but we are unsure about the actual occurrence of the elements of that population, and also about the degree of satisfaction that is actually required for the invariant to be fulfilled. Invariants are soft in the sense that they are required to hold only for a particular, and a priori uncertain, percentage of the population. The contribution proposes a systematic approach to occurrence uncertainty and a prototypical implementation for models with uncertainty and soft invariants allowing to build system states and to make experiments with them.
PB Association Internationale pour les Technologies Objets (AITO)
YR 2019
FD 2019-09-23
YR 2019
FD 2019
LK https://hdl.handle.net/10630/18434
UL https://hdl.handle.net/10630/18434
LA eng
NO Martin Gogolla, Antonio Vallecillo.On Softening OCL Invariants.  Licensed underAttribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0).  In Journal of Object Technology, vol. 18, no. 2, 2019, pages 6:1–22.
NO Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech. Proyectos TIN2014-52034-R y PGC2018-094905-B-I00.
DS RIUMA. Repositorio Institucional de la Universidad de Málaga
RD 19 ene 2026