KIT | KIT-Bibliothek | Impressum | Datenschutz

Embracing Uncertainty: A Fuzzy Theoretical Model for Goal Fulfillment Assessment

Grassi, Vincenzo 1; Mirandola, Raffaela 1; Perez-Palacin, Diego
1 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)

Abstract (englisch):

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.


Originalveröffentlichung
DOI: 10.1109/FormaliSE66629.2025.00018
Zugehörige Institution(en) am KIT Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Publikationstyp Proceedingsbeitrag
Publikationsdatum 27.04.2025
Sprache Englisch
Identifikator KITopen-ID: 1000181921
HGF-Programm 46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems
Erschienen in FormaliSE 2025
Veranstaltung 13th International Conference on Software Engineering and Formal Methods (FormaliSE 2025), Ottawa, Kanada, 27.04.2025 – 28.04.2025
Verlag IEEEXplore
Seiten 113–123
Nachgewiesen in OpenAlex
Scopus
Dimensions
Globale Ziele für nachhaltige Entwicklung Ziel 10 – Weniger Ungleichheiten
KIT – Die Universität in der Helmholtz-Gemeinschaft
KITopen Landing Page