Skip to main content
SpringerLink
Log in

Reasoning with Goal Models

  • Conference paper
  • First Online:
Conceptual Modeling — ER 2002 (ER 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2503))

Included in the following conference series:

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 propagation algorithms applied to a goal model for a US car manufacturer.

We would like to thank Greg McArthur for sharing with us a version of his goal model for car manufacturing. We also thank the anonymous reviewers and Greg McArthur for helpful feedback on earlier drafts of this paper.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. A. Bundy, F. Giunchiglia, R. Sebastiani, and T. Walsh. Calculating Criticalities. Artificial Intelligence, 88(1–2), December 1996.

    Google Scholar 

  2. A. Dardenne, A. van Lamsweerde, and S. Fickas. Goal-directed requirements acquisition. Science of Computer Programming, 20(1–2):3–50, 1993.

    Article  MATH  Google Scholar 

  3. R. Jarvis, G. McArthur, J. Mylopoulos, P. Rodriguez-Gianolli, and S. Zhou. Semantic Models for Knowledge Management. In Proc. of the Second International Conference on Web Information Systems Engineering (WISE’01), 2001.

    Google Scholar 

  4. J. Mylopoulos, L. Chung, and B. Nixon. Representing and Using Non-Functional Requirements: A Process-Oriented Approach. IEEE Transactions on Software Engineering, 6(18):483–497, June 1992.

    Google Scholar 

  5. A. Newell and H. Simon. GPS: A Program that Simulates Human Thought. In E. Feigenbaum and J. Feldman, editors, Computers and Thought. McGraw Hill.

    Google Scholar 

  6. N. Nilsson. Problem Solving Methods in Artificial Intelligence. McGraw Hill, 1971.

    Google Scholar 

  7. G. Shafer. A Mathematical Theory of Evidence. Princeton University Press., 1976.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Information and Communication Technology, University of Trento, Italy

    Paolo Giorgini, Eleonora Nicchiarelli & Roberto Sebastiani

  2. Computer Science Department, University of Toronto, Canada

    John Mylopoulos

Authors
  1. Paolo Giorgini
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. John Mylopoulos
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Eleonora Nicchiarelli
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Roberto Sebastiani
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Database Laboratory, School of Computer and Communication Sciences, Ecole Polytechnique Fédérale Lausanne (EPFL), 1015, Lausanne, Switzerland

    Stefano Spaccapietra

  2. Owen Graduate School of Management, Vanderbilt University, Nashville, TN, 37203, USA

    Salvatore T. March

  3. Graduate School of Informatics, Department of Social Informatics, Kyoto University, Yoshida Sakyo, Kyoto, 606-8501, Japan

    Yahiko Kambayashi

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Giorgini, P., Mylopoulos, J., Nicchiarelli, E., Sebastiani, R. (2002). Reasoning with Goal Models. In: Spaccapietra, S., March, S.T., Kambayashi, Y. (eds) Conceptual Modeling — ER 2002. ER 2002. Lecture Notes in Computer Science, vol 2503. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45816-6_22

Download citation

  • DOI: https://doi.org/10.1007/3-540-45816-6_22

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-44277-6

  • Online ISBN: 978-3-540-45816-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation