Abstract
Goal models have found important applications in Requirements Engineering as models that relate stakeholder requirements with system or human tasks needed to fulfill them. Often, such task specifications constitute rather idealized plans for requirements fulfillment, where task execution always succeeds. In reality, however, there is always uncertainty as to whether a specification can/will actually be executed as planned. In this paper, we introduce the concept of decision-theoretic goals in order to represent and reason about both uncertainty and preferential utility in goal models. Thus, goal models are extended to express probabilistic effects of actions and also capture the utility of each effect with respect to stakeholder priorities. Further, using a state-of-the-art reasoning tool, analysts can find optimal courses of actions/plans for fulfilling stakeholder goals while investigating the risks of those plans. The technique is applied in a real-world meeting scheduling problem, as well as the London Ambulance Service case study.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Science of Computer Programming 20(1-2), 3–50 (1993)
Letier, E., van Lamsweerde, A.: Reasoning about partial goal satisfaction for requirements and design engineering. In: Proceedings of the 12th International Symposium on the Foundation of Software Engineering (FSE 2004), Newport Beach, CA, pp. 53–62 (2004)
Liaskos, S., McIlraith, S., Sohrabi, S., Mylopoulos, J.: Representing and reasoning about preferences in requirements engineering. Requirements Engineering Journal (REJ) 16, 227–249 (2011)
Mikhail Soutchanski. High-Level Robot Programming in Dynamic and Incompletely Known Environments. PhD thesis, Department of Computer Science, University of Toronto (2003)
Boutilier, C., Reiter, R., Soutchanski, M., Thrun, S.: Decision-theoretic, high-level agent programming in the situation calculus. In: Proceedings of the 17th Conference on Artificial Intelligence (AAAI 2000), Austin, TX, July 30–August 3, pp. 355–362 (2000)
Yu, E.S.K., Mylopoulos, J.: Understanding “why” in software process modelling, analysis, and design. In: Proceedings of the 16th International Conference on Software Engineering (ICSE 1994), Sorrento, Italy, pp. 159–168 (1994)
Cailliau, A., van Lamsweerde, A.: A probabilistic framework for goal-oriented risk analysis. In: Proceedings of the 20th IEEE International Requirements Engineering Conference (RE 2012), Chicago, IL, pp. 201–210 (2012)
Liaskos, S., Jalman, R., Aranda, J.: On eliciting preference and contribution measures in goal models. In: Proceedings of the 20th International Requirements Engineering Conference (RE 2012), Chicago, IL, pp. 221–230 (2012)
Boland, P.J.: Statistical and Probabilistic Methods in Actuarial Science. Chapman & Hall – CRC Interdisciplinary Statistics (2007)
Karlsson, J., Ryan, K.: A cost-value approach for prioritizing requirements. IEEE Software 14(5), 67–74 (1997)
Regan, K., Boutilier, C.: Robust policy computation in reward-uncertain MDPs using nondominated policies. In: Proceedings of the 24th AAAI Conference on Artificial Intelligence (AAAI 2010), Atlanta, GA (2010)
Regan, K., Boutilier, C.: Regret-based reward elicitation for Markov Decision Processes. In: Proceedings of the 25th Conference on Uncertainty in Artificial Intelligence (UAI 2009), Montreal, QC, Canada, pp. 444–451 (2009)
Finkelstein, A., Dowell, J.: A comedy of errors: the london ambulance service case study. In: Proceedings of the 8th International Workshop on Software Specification and Design (IWSSD 8), Schloss Velen, Germany, pp. 2–4 (September 1996)
Pham, H., Soutchanski, M., Mylopoulos, J.: A simulator and a Golog implementation of the London Ambulance Service (LAS) Computer-Aided Despatch (CAD) system. Technical report, Department of Computer Science, Ryerson University (2006), http://www.cs.toronto.edu/~mes/papers/LAS/index.html
Böhnstedt, L., Ferrein, A., Lakemeyer, G.: Options in Readylog reloaded – generating decision-theoretic plan libraries in Golog. In: Hertzberg, J., Beetz, M., Englert, R. (eds.) KI 2007. LNCS (LNAI), vol. 4667, pp. 352–366. Springer, Heidelberg (2007)
Heaven, W., Letier, E.: Simulating and optimising design decisions in quantitative goal models. In: Proceedings of the 19th IEEE International Requirements Engineering Conference (RE 2011), Trento, Italy, pp. 79–88 (2011)
Hinton, A., Kwiatkowska, M., Norman, G., Parker, D.: Prism: A tool for automatic verification of probabilistic systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol. 3920, pp. 441–444. Springer, Heidelberg (2006)
Whittle, J., Sawyer, P., Bencomo, N., Cheng, B.H.C., Bruel, J.-M.: Relax: a language to address uncertainty in self-adaptive systems requirement. Requirements Engineering 15(2), 177–196 (2010)
Baresi, L., Pasquale, L., Spoletini, P.: Fuzzy goals for requirements-driven adaptation. In: Proceedings of the 18th IEEE International Requirements Engineering (RE 2010), Sydney, Australia, pp. 125–134 (2010)
Horkoff, J., Yu, E.: Analyzing goal models: different approaches and how to choose among them. In: Proceedings of the 2011 ACM Symposium on Applied Computing (SAC 2011), pp. 675–682. ACM, Taichung (2011)
Liaskos, S., Khan, S.M., Litoiu, M., Jungblut, M.D., Rogozhkin, V., Mylopoulos, J.: Behavioral adaptation of information systems through goal models. Informations Systems (IS) 37(8), 767–783 (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Liaskos, S., Khan, S.M., Soutchanski, M., Mylopoulos, J. (2013). Modeling and Reasoning with Decision-Theoretic Goals. In: Ng, W., Storey, V.C., Trujillo, J.C. (eds) Conceptual Modeling. ER 2013. Lecture Notes in Computer Science, vol 8217. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-41924-9_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-41924-9_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-41923-2
Online ISBN: 978-3-642-41924-9
eBook Packages: Computer ScienceComputer Science (R0)