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.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