Abstract
Context and Motivation: Goal-oriented methods can be used by analysts to produce a set of system requirements that reflect the customer needs and are used as guidelines in the subsequent system design, in which a model of the system is produced. The design model is used to analyze the coherence of the system behavior with the requirements. Question/problem: Design is an exploratory activity. Before the final model is developed, different alternatives are explored and models evolve back and forth from partial to complete. Partial models embed portions that are currently left unspecified and will later be refined. Recent formal verification techniques allow the designers to verify the satisfaction of requirements even for partial models. However, there is still no way to interpret the results of the verification over the original goal model. Principal idea/results: The ability to reflect the results of verification back to the goal model would improve the design process by making the developer aware of the consequences of design choices on goal satisfaction. It would also support early detection of design errors and improve requirements negotiation between designers and requirements analysts. Contribution: This paper proposes COVER, a unified framework to support goal model analysis during software design. COVER allows the goal model produced by the requirements analysts to be kept alive and updated while the system is designed. At each development round, the model is verified against the requirements of interest and the verification results can be used to update either the design model or the goal model.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
The tool is available at https://github.com/claudiomenghi/COVER.
References
Ali, R., Dalpiaz, F., Giorgini, P.: A goal-based framework for contextual requirements modeling and analysis. Requir. Eng. 15(4), 439–458 (2010)
Autili, M., Grunske, L., Lumpe, M., Pelliccione, P., Tang, A.: Aligning qualitative, real-time, and probabilistic property specification patterns using a structured english grammar. Trans. Softw. Eng. 41(7), 620–638 (2015)
Baresi, L., Pasquale, L., Spoletini, P.: Fuzzy goals for requirements-driven adaptation. In: Requirements Engineering Conference, pp. 125–134. IEEE (2010)
Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F., Mylopoulos, J.: Tropos: an agent-oriented software development methodology. Auton. Agents Multi-Agent Syst. 8(3), 203–236 (2004)
Bruns, G., Godefroid, P.: Model checking partial state spaces with 3-valued temporal logics. In: Halbwachs, N., Peled, D. (eds.) CAV 1999. LNCS, vol. 1633, pp. 274–287. Springer, Heidelberg (1999). doi:10.1007/3-540-48683-6_25
Chechik, M., Devereux, B., Easterbrook, S., Gurfinkel, A.: Multi-valued symbolic model-checking. Trans. Softw. Eng. Methodol. 12(4), 371–408 (2003)
Dardenne, A., Van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Sci. Comput. Program. 20(1), 3–50 (1993)
De Roever, W.-P.: Concurrency Verification: Introduction to Compositional and Non-compositional Methods, vol. 54. Cambridge University Press, Cambridge (2001)
D’Ippolito, N., Fischbein, D., Chechik, M., Uchitel, S.: MTSA: the modal transition system analyser. In: International Conference on Automated Software Engineering, pp. 475–476. IEEE (2008)
Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: International Conference on Software Engineering, pp. 411–420. IEEE (1999)
Giannakopoulou, D., Magee, J.: Fluent model checking for event-based systems. In: Symposium on Foundations of Software Engineering, pp. 257–266 (2003)
Giorgini, P., Mylopoulos, J., Nicchiarelli, E., Sebastiani, R.: Formal reasoning techniques for goal models. In: Spaccapietra, S., March, S., Aberer, K. (eds.) Journal on Data Semantics I. LNCS, vol. 2800, pp. 1–20. Springer, Heidelberg (2003). doi:10.1007/978-3-540-39733-5_1
Giorgini, P., Mylopoulos, J., Sebastiani, R.: Goal-oriented requirements analysis and reasoning in the tropos methodology. Eng. Appl. Artif. Intell. 18(2), 159–171 (2005)
Horkoff, J., Li, T., Li, F., Salnitri, M., Cardoso, E., Giorgini, P., Mylopoulos, J.: Using goal models downstream: a systematic roadmap and literature review. Int. J. Sci. Manag. Dev. 6(2), 1–42 (2015)
Horkoff, J., Salay, R., Chechik, M., Di Sandro, A.: Supporting early decision-making in the presence of uncertainty. In: Requirements Engineering Conference, pp. 33–42. IEEE (2014)
Horkoff, J., Yu, E.: Finding solutions in goal models: an interactive backward reasoning approach. In: Parsons, J., Saeki, M., Shoval, P., Woo, C., Wand, Y. (eds.) ER 2010. LNCS, vol. 6412, pp. 59–75. Springer, Heidelberg (2010). doi:10.1007/978-3-642-16373-9_5
Horkoff, J., Yu, E.: Analyzing goal models: different approaches and how to choose among them. In Symposium on Applied Computing, pp. 675–682 (2011)
Huth, M., Jagadeesan, R., Schmidt, D.: Modal transition systems: a foundation for three-valued program analysis. In: Sands, D. (ed.) ESOP 2001. LNCS, vol. 2028, pp. 155–169. Springer, Heidelberg (2001). doi:10.1007/3-540-45309-1_11
Larsen, K.G., Thomsen, B.: A modal process logic. In: Logic in Computer Science, pp. 203–210. IEEE (1988)
Letier, E., Kramer, J., Magee, J., Uchitel, S.: Deriving event-based transition systems from goal-oriented requirements models. Autom. Softw. Eng. 15(2), 175–206 (2008)
Liaskos, S., McIlraith, S.A., Sohrabi, S., Mylopoulos, J.: Integrating preferences into goal models for requirements engineering. In: Requirements Engineering Conference, pp. 135–144. IEEE (2010)
Liaskos, S., McIlraith, S.A., Sohrabi, S., Mylopoulos, J.: Representing and reasoning about preferences in requirements engineering. Requir. Eng. 16(3), 227–249 (2011)
Menghi, C., Spoletini, P., Ghezzi, C.: Dealing with incompleteness in automata-based model checking. In: Fitzgerald, J., Heitmeyer, C., Gnesi, S., Philippou, A. (eds.) FM 2016. LNCS, vol. 9995, pp. 531–550. Springer, Heidelberg (2016). doi:10.1007/978-3-319-48989-6_32
Miller, R., Shanahan, M.: The event calculus in classical logic - alternative axiomatizations. Electron. Trans. Artif. Intell. 3(A), 77–105 (1999)
Sandewall, E.: Features and Fluents: The Representation of Knowledge about Dynamical Systems, vol. 1. Oxford University Press, Inc., Oxford (1995)
Sawyer, P., Bencomo, N., Whittle, J., Letier, E., Finkelstein, A.: Requirements-aware systems: a research agenda for re for self-adaptive systems. In: Requirements Engineering Conference, pp. 95–103. IEEE (2010)
Uchitel, S., Alrajeh, D., Ben-David, S., Braberman, V., Chechik, M., De Caso, G., DIppolito, N., Fischbein, D., Garbervetsky, D., Kramer, J., et al.: Supporting incremental behaviour model elaboration. Comput. Sci.-Res. Dev. 28(4), 279–293 (2013)
Uchitel, S., Brunet, G., Chechik, M.: Synthesis of partial behavior models from properties and scenarios. Trans. Softw. Eng. 35(3), 384–406 (2009)
Van Lamsweerde, A.: Goal-oriented requirements engineering: a guided tour. In: Requirements Engineering Conference, pp. 249–262. IEEE (2001)
Lamsweerde, A.: Reasoning about alternative requirements options. In: Borgida, A.T., Chaudhri, V.K., Giorgini, P., Yu, E.S. (eds.) Conceptual Modeling: Foundations and Applications. LNCS, vol. 5600, pp. 380–397. Springer, Heidelberg (2009). doi:10.1007/978-3-642-02463-4_20
Yu, E.S.: Towards modelling and reasoning support for early-phase requirements engineering. In: Requirements Engineering Conference, pp. 226–235. IEEE (1997)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Menghi, C., Spoletini, P., Ghezzi, C. (2017). Integrating Goal Model Analysis with Iterative Design. In: Grünbacher, P., Perini, A. (eds) Requirements Engineering: Foundation for Software Quality. REFSQ 2017. Lecture Notes in Computer Science(), vol 10153. Springer, Cham. https://doi.org/10.1007/978-3-319-54045-0_9
Download citation
DOI: https://doi.org/10.1007/978-3-319-54045-0_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-54044-3
Online ISBN: 978-3-319-54045-0
eBook Packages: Computer ScienceComputer Science (R0)