RT Journal Article
T1 Exploring the interaction of design variability and stochastic operational uncertainties in software-intensive systems through the lens of modeling
A1 Cámara-Moreno, Javier
K1 Sistemas informáticos
AB In software-intensive systems, navigating the complexities that emerge from the interaction of design variability and stochasticoperational uncertainties presents a daunting challenge. This paper delves into the dynamics between these two dimensionsof uncertainty, offering novel insights about how modeling can contribute to the analysis of their combined impact uponsystem properties. By elevating the abstraction level at which probabilistic models are conceptualized, our approach enablesan integrated analysis framework that considers both structural and quantitative dimensions of design spaces. Through theintroduction of novel language constructs, our methodology facilitates the direct referencing of structural relationships withinprobabilistic behavioral specifications. Furthermore, the adoption of novel quantifiers in probabilistic temporal logic enablesevaluating complex properties across diverse design variants, thereby streamlining the assessment of guarantees withinthe solution space. We demonstrate the feasibility of this approach on four case studies, showcasing its potential to offercomprehensive insights into the trade-offs and decision-making processes inherent in managing different types of structuraldesign variability and operational uncertainties in software-intensive systems.
PB Springer
YR 2024
FD 2024
LK https://hdl.handle.net/10630/35132
UL https://hdl.handle.net/10630/35132
LA eng
NO Cámara, J. Exploring the interaction of design variability and stochastic operational uncertainties in software-intensive systems through the lens of modeling. Softw Syst Model (2024). https://doi.org/10.1007/s10270-024-01226-5
NO Funding for open access publishing: Universidad Málaga / CBUA.Work partially funded by the Spanish Government (FEDER, Ministerio de Ciencia e Innovación–Agencia Estatal de Investigación) under projects TED2021-130523B-I00 and PID2021-125527NB-I00.
DS RIUMA. Repositorio Institucional de la Universidad de Málaga
RD 21 ene 2026