Over the past decade, goal models have been used in Computer Science in order to represent software requirements, business objectives and design qualities. Such models extend traditional AI planning techniques for representing goals by allowing for partially defined and possibly inconsistent goals. This paper presents a formal framework for reasoning with such goal models. In particular, the paper proposes a qualitative and a numerical axiomatization for goal modeling primitives and introduces label propagation algorithms that are shown to be sound and complete with respect to their respective axiomatizations. In addition, the paper reports on preliminary experimental results on the label propagation algorithms applied to a goal model for a North America car manufacturer.

Reasoning with Goal Models / Giorgini, Paolo; Mylopoulous, John; Sebastiani, Roberto; Nicchiarelli, Eleonora. - ELETTRONICO. - (2002), pp. 1-15.

Reasoning with Goal Models

Giorgini, Paolo;Sebastiani, Roberto;Nicchiarelli, Eleonora
2002-01-01

Abstract

Over the past decade, goal models have been used in Computer Science in order to represent software requirements, business objectives and design qualities. Such models extend traditional AI planning techniques for representing goals by allowing for partially defined and possibly inconsistent goals. This paper presents a formal framework for reasoning with such goal models. In particular, the paper proposes a qualitative and a numerical axiomatization for goal modeling primitives and introduces label propagation algorithms that are shown to be sound and complete with respect to their respective axiomatizations. In addition, the paper reports on preliminary experimental results on the label propagation algorithms applied to a goal model for a North America car manufacturer.
2002
Trento, Italia
Università degli Studi di Trento. DEPARTMENT OF INFORMATION AND COMMUNICATION TECHNOLOGY
Reasoning with Goal Models / Giorgini, Paolo; Mylopoulous, John; Sebastiani, Roberto; Nicchiarelli, Eleonora. - ELETTRONICO. - (2002), pp. 1-15.
Giorgini, Paolo; Mylopoulous, John; Sebastiani, Roberto; Nicchiarelli, Eleonora
File in questo prodotto:
File Dimensione Formato  
43.pdf

accesso aperto

Tipologia: Versione editoriale (Publisher’s layout)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 265.1 kB
Formato Adobe PDF
265.1 kB Adobe PDF Visualizza/Apri

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/11572/358373
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
  • OpenAlex ND
social impact