Skip to main content
SpringerLink
Log in

Integrating Goal Model Analysis with Iterative Design

  • Conference paper
  • First Online:
Book cover Requirements Engineering: Foundation for Software Quality (REFSQ 2017)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 10153))

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

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 EPUB and 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

Notes

  1. 1.

    The tool is available at https://github.com/claudiomenghi/COVER.

References

  1. Ali, R., Dalpiaz, F., Giorgini, P.: A goal-based framework for contextual requirements modeling and analysis. Requir. Eng. 15(4), 439–458 (2010)

    Article  Google Scholar 

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

    Article  Google Scholar 

  3. Baresi, L., Pasquale, L., Spoletini, P.: Fuzzy goals for requirements-driven adaptation. In: Requirements Engineering Conference, pp. 125–134. IEEE (2010)

    Google Scholar 

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

    Article  MATH  Google Scholar 

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

    Chapter  Google Scholar 

  6. Chechik, M., Devereux, B., Easterbrook, S., Gurfinkel, A.: Multi-valued symbolic model-checking. Trans. Softw. Eng. Methodol. 12(4), 371–408 (2003)

    Article  MATH  Google Scholar 

  7. Dardenne, A., Van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Sci. Comput. Program. 20(1), 3–50 (1993)

    Article  MATH  Google Scholar 

  8. De Roever, W.-P.: Concurrency Verification: Introduction to Compositional and Non-compositional Methods, vol. 54. Cambridge University Press, Cambridge (2001)

    MATH  Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  11. Giannakopoulou, D., Magee, J.: Fluent model checking for event-based systems. In: Symposium on Foundations of Software Engineering, pp. 257–266 (2003)

    Google Scholar 

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

    Chapter  Google Scholar 

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

    Article  Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Chapter  Google Scholar 

  17. Horkoff, J., Yu, E.: Analyzing goal models: different approaches and how to choose among them. In Symposium on Applied Computing, pp. 675–682 (2011)

    Google Scholar 

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

    Chapter  Google Scholar 

  19. Larsen, K.G., Thomsen, B.: A modal process logic. In: Logic in Computer Science, pp. 203–210. IEEE (1988)

    Google Scholar 

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

    Article  Google Scholar 

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

    Google Scholar 

  22. Liaskos, S., McIlraith, S.A., Sohrabi, S., Mylopoulos, J.: Representing and reasoning about preferences in requirements engineering. Requir. Eng. 16(3), 227–249 (2011)

    Article  Google Scholar 

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

    Chapter  Google Scholar 

  24. Miller, R., Shanahan, M.: The event calculus in classical logic - alternative axiomatizations. Electron. Trans. Artif. Intell. 3(A), 77–105 (1999)

    MathSciNet  Google Scholar 

  25. Sandewall, E.: Features and Fluents: The Representation of Knowledge about Dynamical Systems, vol. 1. Oxford University Press, Inc., Oxford (1995)

    MATH  Google Scholar 

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

    Google Scholar 

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

    Article  Google Scholar 

  28. Uchitel, S., Brunet, G., Chechik, M.: Synthesis of partial behavior models from properties and scenarios. Trans. Softw. Eng. 35(3), 384–406 (2009)

    Article  Google Scholar 

  29. Van Lamsweerde, A.: Goal-oriented requirements engineering: a guided tour. In: Requirements Engineering Conference, pp. 249–262. IEEE (2001)

    Google Scholar 

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

    Chapter  Google Scholar 

  31. Yu, E.S.: Towards modelling and reasoning support for early-phase requirements engineering. In: Requirements Engineering Conference, pp. 226–235. IEEE (1997)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Politecnico di Milano, Milan, Italy

    Claudio Menghi & Carlo Ghezzi

  2. Kennesaw State University, Marietta, Georgia

    Paola Spoletini

Authors
  1. Claudio Menghi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Paola Spoletini
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Carlo Ghezzi
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Claudio Menghi .

Editor information

Editors and Affiliations

  1. Johannes Kepler University, Linz, Austria

    Paul Grünbacher

  2. Fondazione Bruno Kessler, Trento, Italy

    Anna Perini

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation