2026-05-30T07:31:26Zhttps://riuma.uma.es/rest/oai/request

oai:riuma.uma.es:10630/351322026-02-03T11:21:03Zcom_10630_2254col_10630_37953

Exploring the interaction of design variability and stochastic operational uncertainties in software-intensive systems through the lens of modeling Cámara-Moreno, Javier Sistemas informáticos In software-intensive systems, navigating the complexities that emerge from the interaction of design variability and stochastic operational uncertainties presents a daunting challenge. This paper delves into the dynamics between these two dimensions of uncertainty, offering novel insights about how modeling can contribute to the analysis of their combined impact upon system properties. By elevating the abstraction level at which probabilistic models are conceptualized, our approach enables an integrated analysis framework that considers both structural and quantitative dimensions of design spaces. Through the introduction of novel language constructs, our methodology facilitates the direct referencing of structural relationships within probabilistic behavioral specifications. Furthermore, the adoption of novel quantifiers in probabilistic temporal logic enables evaluating complex properties across diverse design variants, thereby streamlining the assessment of guarantees within the solution space. We demonstrate the feasibility of this approach on four case studies, showcasing its potential to offer comprehensive insights into the trade-offs and decision-making processes inherent in managing different types of structural design variability and operational uncertainties in software-intensive systems. 2024-11-12T12:10:00Z 2024-11-12T12:10:00Z 2024 journal article 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 https://hdl.handle.net/10630/35132 https://doi.org/10.1007/s10270-024-01226-5 eng http://creativecommons.org/licenses/by-nc-nd/4.0/ open access Attribution-NonCommercial-NoDerivatives 4.0 Internacional Springer