Advertisement

Optimizing Monitoring Requirements in Self-adaptive Systems

  • Raian Ali
  • Alberto Griggio
  • Anders Franzén
  • Fabiano Dalpiaz
  • Paolo Giorgini
Part of the Lecture Notes in Business Information Processing book series (LNBIP, volume 113)

Abstract

Monitoring the system environment is a key functionality of a self-adaptive system. Monitoring requirements denote the information a self-adaptive system has to capture at runtime to decide upon whether an adaptation action has to be taken. The identification of monitoring requirements is a complex task which can easily lead to redundancy and uselessness in the set of information to monitor and this, consequently, means unjustified instalment of monitoring infrastructure and extra processing time. In this paper, we study the optimization of monitoring requirements. We discuss the case of contextual goal model, which is a requirements model that weaves between variability of goals (functional and non-functional requirements) and variability of context (monitoring requirements) and is meant to be used for modelling mobile and self-adaptive systems requirements. We provide automated analysis —based on a SAT-solver— to process a contextual goal model and find a reduced set of contextual information to monitor guaranteeing that this reduction does not sacrifice the system ability of taking correct adaptation decisions when fulfilling its requirements.

Keywords

Requirements Adaptation Mobility Monitoring Optimization 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Ali, R., Dalpiaz, F., Giorgini, P.: A Goal Modeling Framework for Self-contextualizable Software. In: Halpin, T., Krogstie, J., Nurcan, S., Proper, E., Schmidt, R., Soffer, P., Ukor, R. (eds.) BPMDS 2009 and EMMSAD 2009. LNBIP, vol. 29, pp. 326–338. Springer, Heidelberg (2009) CrossRefGoogle Scholar
  2. 2.
    Ali, R., Dalpiaz, F., Giorgini, P.: A Goal-based Framework for Contextual Requirements Modeling and Analysis. Requirements Engineering 15, 439–458 (2010)CrossRefGoogle Scholar
  3. 3.
    Ali, R., Solis, C., Omoronyia, I., Salehie, M., Nuseibeh, B.: Social Adaptation: When Software Gives Users a Voice. In: Proceedings of ENASE 2012 (2012)Google Scholar
  4. 4.
    Ali, R., Solis, C., Salehie, M., Omoronyia, I., Nuseibeh, B., Maalej, W.: Social Sensing: When Users Become Monitors. In: Proceedings of ESEC/FSE 2011, pp. 476–479 (2011)Google Scholar
  5. 5.
    Baresi, L., Guinea, S.: Towards Dynamic Monitoring of WS-BPEL Processes. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 269–282. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  6. 6.
    Cohen, D., Feather, M.S., Narayanaswamy, K., Fickas, S.S.: Automatic Monitoring of Software Requirements. In: Proceedings of ICSE 1997, pp. 602–603 (1997)Google Scholar
  7. 7.
    Dalpiaz, F., Giorgini, P., Mylopoulos, J.: Adaptive Socio-Technical Systems: a Requirements-driven Approach. In: Requirements Engineering (to appear, 2012)Google Scholar
  8. 8.
    Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Science of Computer Programming 20(1-2), 3–50 (1993)CrossRefGoogle Scholar
  9. 9.
    Eén, N., Sörensson, N.: An Extensible SAT-solver. In: Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. LNCS, vol. 2919, pp. 502–518. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  10. 10.
    Feather, M.S., Fickas, S.S., van Lamsweerde, A., Ponsard, C.: Reconciling System Requirements and Runtime Behavior. In: Proceedings of the 9th International Workshop on Software Specification and Design (IWSSD 1998). ACM, New York (1998)Google Scholar
  11. 11.
    Fickas, S.S., Feather, M.S.: Requirements Monitoring in Dynamic Environments. In: Proceedings of RE 1995, p. 140. IEEE Computer Society (1995)Google Scholar
  12. 12.
    Finkelstein, A., Savigni, A.: A Framework for Requirements Engineering for Context-Aware Services. In: Proceedings of STRAW 2001 (2001)Google Scholar
  13. 13.
    Hillier, F.S., Lieberman, G.J.: Introduction to Operations Research, vol. 6. McGraw-Hill, New York (1990)Google Scholar
  14. 14.
    Krogstie, J., Lyytinen, K., Opdahl, A.L., Pernici, B., Siau, K., Smolander, K.: Research Areas and Challenges for Mobile Information Systems. International Journal of Mobile Communications 2(3), 220–234 (2004)Google Scholar
  15. 15.
    Salehie, M., Tahvildari, L.: Self-adaptive software: Landscape and research challenges. ACM Transactions on Autonomous and Adaptive Systems 4, 14:1–14:42 (2009)Google Scholar
  16. 16.
    Salifu, M., Yu, Y., Nuseibeh, B.: Specifying Monitoring and Switching Problems in Context. In: Proceedings of RE 2007, pp. 211–220 (2007)Google Scholar
  17. 17.
    Wang, Y., McIlraith, S., Yu, Y., Mylopoulos, J.: Monitoring and Diagnosing Software Requirements. Automated Software Engineering 16(1), 3–35 (2009)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Raian Ali
    • 1
  • Alberto Griggio
    • 2
  • Anders Franzén
    • 3
  • Fabiano Dalpiaz
    • 4
  • Paolo Giorgini
    • 4
  1. 1.Bournemouth UniversityUK
  2. 2.Fondazione Bruno KesslerItaly
  3. 3.Jasper Design AutomationSweden
  4. 4.DISIUniversity of TrentoItaly

Personalised recommendations