A relevant issue in managing a complex software system is the quantitative assessment of the fulfillment degree of its requirements, as it provides a sound basis for identifying suitable design time or runtime corrective actions. However, this quantitative assessment must cope with the uncertainty that could affect the requirements specification and the data used in the assessment process. We tackle this problem, assuming the system requirements are specified through a hierarchical goal model. For this case, we propose an approach rooted in the fuzzy set and fuzzy logic theory for the quantitative assessment of the fulfillment degree of the goals specified in the goal model, considering the different kinds of uncertainty that could be present. Our result enriches the methodological and practical toolset available for managing complex software systems in uncertain scenarios, complementing other approaches based on different formal frameworks like probability theory.

Grassi, V., Mirandola, R., Perez-Palacin, D. (2025). Embracing uncertainty: a fuzzy theoretical model for goal fulfillment assessment. In 2025 IEEE/ACM 13th International Conference on Formal Methods in Software Engineering: FormaliSE 2025: proceedings (pp.113-123). New York : IEEE [10.1109/FormaliSE66629.2025.00018].

Embracing uncertainty: a fuzzy theoretical model for goal fulfillment assessment

Grassi, Vincenzo;
2025-01-01

Abstract

A relevant issue in managing a complex software system is the quantitative assessment of the fulfillment degree of its requirements, as it provides a sound basis for identifying suitable design time or runtime corrective actions. However, this quantitative assessment must cope with the uncertainty that could affect the requirements specification and the data used in the assessment process. We tackle this problem, assuming the system requirements are specified through a hierarchical goal model. For this case, we propose an approach rooted in the fuzzy set and fuzzy logic theory for the quantitative assessment of the fulfillment degree of the goals specified in the goal model, considering the different kinds of uncertainty that could be present. Our result enriches the methodological and practical toolset available for managing complex software systems in uncertain scenarios, complementing other approaches based on different formal frameworks like probability theory.
13th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE 2025
Ottawa, Canada
2025
Rilevanza internazionale
contributo
apr-2025
2025
Settore IINF-05/A - Sistemi di elaborazione delle informazioni
English
Fuzzy models; Fuzzy set theory; Requirements engineering; Uncertainty analysis Engineering uncontrolled terms
Intervento a convegno
Grassi, V., Mirandola, R., Perez-Palacin, D. (2025). Embracing uncertainty: a fuzzy theoretical model for goal fulfillment assessment. In 2025 IEEE/ACM 13th International Conference on Formal Methods in Software Engineering: FormaliSE 2025: proceedings (pp.113-123). New York : IEEE [10.1109/FormaliSE66629.2025.00018].
Grassi, V; Mirandola, R; Perez-Palacin, D
File in questo prodotto:
File Dimensione Formato  
Embracing_Uncertainty_a_Fuzzy_Theoretical_Model_for_Goal_Fulfillment_Assessment.pdf

solo utenti autorizzati

Tipologia: Versione Editoriale (PDF)
Licenza: Copyright dell'editore
Dimensione 1.03 MB
Formato Adobe PDF
1.03 MB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2108/427746
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact