Reasoning with Goal Models

Giorgini, Paolo and Nicchiarelli, Eleonora and Mylopoulous, John and Sebastiani, Roberto (2002) Reasoning with Goal Models. UNSPECIFIED. (In Press)

Download (265Kb) | Preview


    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.

    Item Type: Departmental Technical Report
    Department or Research center: Information Engineering and Computer Science
    Subjects: Q Science > QA Mathematics > QA075 Electronic computers. Computer science
    Uncontrolled Keywords: requirement specification, goal models
    Additional Information: In Proc. "Int. Conference of Conceptual Modeling -- ER2002" Tampere, Finland, October 2002. LNCS series, © Springer Verlag.
    Report Number: DIT-02-043
    Repository staff approval on: 21 Jan 2003

    Actions (login required)

    View Item