Advertisement

Abstract

Self-contextualizability refers to the system ability to autonomously adapt its behaviour to context in order to maintain its objectives satisfied. In this paper, we propose a modeling framework to deal with self-contextualizability at the requirements level. We use Tropos goal models to express requirements; we provide constructs to analyse and represent context at each variation point of the goal model; and we exploit the goal and context analysis to define how the system satisfies its requirements in different contexts. Tropos goal analysis provides constructs to hierarchically analyse goals and discover alternative sets of tasks the system can execute to satisfy goals; our framework extends Tropos goal model by considering context at its variation points, and provides constructs to hierarchically analyse context and discover alternative sets of facts the system has to monitor to verify a context. A self-contextualizable promotion information system scenario is used to illustrate our approach.

Keywords

GORE Context Analysis Self-Contextualization 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Finkelstein, A., Savigni, A.: A framework for requirements engineering for context-aware services. In: Proc. 1st Int. Workshop on From Software Requirements to Architectures (STRAW) (2001)Google Scholar
  2. 2.
    Yu, E.: Modelling strategic relationships for process reengineering. Ph.D. Thesis, University of Toronto (1995)Google Scholar
  3. 3.
    Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F., Mylopoulos, J.: Tropos: An agent-oriented software development methodology. Autonomous Agents and Multi-Agent Systems 8(3), 203–236 (2004)CrossRefGoogle Scholar
  4. 4.
    Dardenne, A., Van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Science of computer programming 20(1-2), 3–50 (1993)CrossRefGoogle Scholar
  5. 5.
    Fickas, S., Feather, M.: Requirements monitoring in dynamic environments. In: Proceedings of the Second IEEE International Symposium on Requirements Engineering, p. 140. IEEE Computer Society, Washington (1995)Google Scholar
  6. 6.
    Ali, R., Dalpiaz, F., Giorgini, P.: Location-based variability for mobile information systems. In: Bellahsène, Z., Léonard, M. (eds.) CAiSE 2008. LNCS, vol. 5074, pp. 575–578. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  7. 7.
    Ali, R., Dalpiaz, F., Giorgini, P.: Modeling and Analyzing Variability for Mobile Information Systems. In: Gervasi, O., Murgante, B., Laganà, A., Taniar, D., Mun, Y., Gavrilova, M.L. (eds.) ICCSA 2008, Part II. LNCS, vol. 5073, pp. 291–306. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  8. 8.
    Ali, R., Dalpiaz, F., Giorgini, P.: Location-based software modeling and analysis: Tropos-based approach. In: Li, Q., Spaccapietra, S., Yu, E., Olivé, A. (eds.) ER 2008. LNCS, vol. 5231, pp. 169–182. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  9. 9.
    Krogstie, J., Lyytinen, K., Opdahl, A., Pernici, B., Siau, K., Smolander, K.: Research areas and challenges for mobile information systems. International Journal of Mobile Communications 2, 220–234 (2004)CrossRefGoogle Scholar
  10. 10.
    Mylopoulos, J., Chung, L., Yu, E.: From object-oriented to goal-oriented requirements analysis. Commun. ACM 42, 31–37 (1999)CrossRefGoogle Scholar
  11. 11.
    Strang, T., Linnhoff-Popien, C.: A context modeling survey. In: Workshop on Advanced Context Modelling, Reasoning and Management as part of UbiComp (2004)Google Scholar
  12. 12.
    Henricksen, K., Indulska, J.: A software engineering framework for context-aware pervasive computing. In: Proc. Second IEEE Intl. Conference on Pervasive Computing and Communications (PerCom 2004), p. 77 (2004)Google Scholar
  13. 13.
    Salifu, M., Yu, Y., Nuseibeh, B.: Specifying Monitoring and Switching Problems in Context. In: Proc. 15th Intl. Conference on Requirements Engineering (RE 2007), pp. 211–220 (2007)Google Scholar
  14. 14.
    Pohl, K., Böckle, G., van der Linden, F.: Software Product Line Engineering: Foundations, Principles, and Techniques. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  15. 15.
    Kang, K.C., Kim, S., Lee, J., Kim, K., Shin, E., Huh, M.: Form: A feature-oriented reuse method with domain-specific reference architectures. Ann. Softw. Eng. 5, 143–168 (1998)CrossRefGoogle Scholar
  16. 16.
    Yu, Y., do Prado Leite, J.C.S., Lapouchnian, A., Mylopoulos, J.: Configuring features with stakeholder goals. In: SAC 2008: Proceedings of the 2008 ACM symposium on Applied computing, pp. 645–649. ACM, New York (2008)CrossRefGoogle Scholar
  17. 17.
    Ramachandran, M., Allen, P.: Commonality and variability analysis in industrial practice for product line improvement. Software Process: Improvement and Practice 10(1), 31–40 (2005)CrossRefGoogle Scholar
  18. 18.
    Feather, M.S., Fickas, S., Lamsweerde, A.V., Ponsard, C.: Reconciling System Requirements and Runtime Behavior. In: Proceedings of the 9th international workshop on Software specification and design IWSSD 1998, p. 50. IEEE Computer Society, Los Alamitos (1998)Google Scholar
  19. 19.
    Cohen, D., Feather, M.S., Narayanaswamy, K., Fickas, S.S.: Automatic monitoring of software requirements. In: ICSE 1997: Proceedings of the 19th international conference on Software engineering, pp. 602–603. ACM, New York (1997)Google Scholar
  20. 20.
    Hui, B., Liaskos, S., Mylopoulos, J.: Requirements analysis for customizable software goals-skills- preferences framework. In: RE, pp. 117–126. IEEE Computer Society, Los Alamitos (2003)Google Scholar
  21. 21.
    Liaskos, S., McIlraith, S., Mylopoulos, J.: Representing and reasoning with preference requirements using goals. Technical report, Dept. of Computer Science, University of Toronto (2006), ftp://ftp.cs.toronto.edu/pub/reports/csrg/542
  22. 22.
    Lapouchnian, A., Yu, Y., Liaskos, S., Mylopoulos, J.: Requirements-driven design of autonomic application software. In: Proc. 2006 conference of the Center for Advanced Studies on Collaborative research (CASCON 2006), p. 7. ACM, New York (2006)CrossRefGoogle Scholar
  23. 23.
    Liaskos, S., Lapouchnian, A., Yu, Y., Yu, E., Mylopoulos, J.: On goal-based variability acquisition and analysis. In: Proc. 14th IEEE Intl. Requirements Engineering Conference (RE 2006), pp. 76–85 (2006)Google Scholar
  24. 24.
    Cameron, E.J., Griffeth, N., Lin, Y.-J., Nilson, M.E., Schnure, W.K., Velthuijsen, H.: A feature-interaction benchmark for IN and beyond. Communications Magazine, IEEE 31(3), 64–69 (1993)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Raian Ali
    • 1
  • Fabiano Dalpiaz
    • 1
  • Paolo Giorgini
    • 1
  1. 1.University of Trento - DISIPovo, TrentoItaly

Personalised recommendations