Abstract
Goal models represent interests, intentions, and strategies of different stakeholders. Reasoning about the goals of a system unavoidably involves the transformation of unclear stakeholder requirements into goal-oriented models. The ability to validate goal models would support the early detection of unclear requirements, ambiguities and conflicts. In this paper, we propose a novel GRL-based validation approach to check the correctness of goal models. Our approach is based on a statistical analysis that helps justify the modeling choices during the construction of the goal model as well as detecting conflicts among the stakeholders of the system. We illustrate our approach using a GRL model for the introduction of a new elective security course in a university.
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
Preview
Unable to display preview. Download preview PDF.
References
Jureta, I.J., Faulkner, S., Schobbens, P.Y.: Clear justification of modeling decisions for goal-oriented requirements engineering. Requirements Engineering 13(2), 87–115 (2008)
Yu, E.S.K.: Towards modeling and reasoning support for early-phase requirements engineering. In: Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE 1997), pp. 226–235. IEEE Computer Society (1997)
Chung, L., Nixon, B.A., Yu, E., Mylopoulos, J.: Non-Functional Requirements in Software Engineering. International Series in Software Engineering, vol. 5. Springer (2000)
van Lamsweerde, A.: Requirements engineering: from craft to discipline. In: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering (SIGSOFT 2008/FSE-16), pp. 238–249. ACM Press (2008)
Giorgini, P., Mylopoulos, J., Sebastiani, R.: Goal-oriented requirements analysis and reasoning in the TROPOS methodology. Engineering Applications of Artificial Intelligence 18(2), 159–171 (2005)
International Telecommunication Union (ITU): Z.151 – User requirements notation (URN) - Language definition, http://www.itu.int/rec/T-REC-Z.151/en
Horkoff, J., Yu, E.S.K.: Qualitative, interactive, backward analysis of i* models. In: 3rd International i* Workshop (iStar 2008), CEUR-WS.org (2008), http://ceur-ws.org/Vol-322/paper11.pdf
Amyot, D., Ghanavati, S., Horkoff, J., Mussbacher, G., Peyton, L., Yu, E.: Evaluating goal models within the goal-oriented requirement language. International Journal of Intelligent Systems - Goal-driven Requirements Engineering 25(8), 841–877 (2008)
Horkoff, J., Yu, E., Liu, L.: Analyzing trust in technology strategies. In: Proceedings of the 2006 International Conference on Privacy, Security and Trust: Bridge the Gap Between PST Technologies and Business Services (PST 2006), Article 9. ACM Press (2006)
Ayala, C.P., Cares, C., Carvallo, J.P., Grau, G., Haya, M., Salazar, G., Franch, X., Mayol, E., Quer, C.: A comparative analysis of i*-based agent-oriented modeling languages. In: Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE 2005), pp. 43–50. Knowledge Systems Institute Graduate School Calgary (2005)
Schuman, H., Presser, S.: Questions and answers in attitude surveys – Experiments on question form, wording, and context. Academic Press (1981)
Likert, R.: A technique for the measurement of attitudes. Archives of Psychology 140, 1–55 (1932)
Iarossi, G.: The power of survey design – a user’s guide for managing surveys, interpreting results, and influencing respondents. World Bank (2006)
Hill, T., Lewicki, P.: STATISTICS – Methods and Applications. Statsoft Inc., http://www.statsoft.com/textbook/
IBM: SPSS software, http://www-01.ibm.com/software/analytics/spss/
Norusis, M., SPSS, I.: IBM SPSS Statistics 19 Statistical Procedures Companion. Pearson Education Canada (2011)
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
Hassine, J., Amyot, D. (2013). GRL Model Validation: A Statistical Approach. In: Haugen, Ø., Reed, R., Gotzhein, R. (eds) System Analysis and Modeling: Theory and Practice. SAM 2012. Lecture Notes in Computer Science, vol 7744. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-36757-1_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-36757-1_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-36756-4
Online ISBN: 978-3-642-36757-1
eBook Packages: Computer ScienceComputer Science (R0)