Awareness Requirements

  • Vítor E. Silva Souza
  • Alexei Lapouchnian
  • William N. Robinson
  • John Mylopoulos
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7475)


The functional specification of any software system operationalizes stakeholder requirements. In this paper we focus on a class of requirements that lead to feedback loop operationalizations. These Awareness Requirements talk about the runtime success/failure of other requirements and domain assumptions. Our proposal includes a language for expressing awareness requirements, as well as techniques for elicitation and implementation based on the EEAT requirements monitoring framework.


Adaptive System Object Constraint Language Goal Model Reference Input Requirement Engineer 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Report of the inquiry into the London Ambulance Service. South West Thames Regional Health Authority (1993)Google Scholar
  2. 2.
    Object Constraint Language, OMG Available Specification, Version 2.0 (2006),
  3. 3.
    Baresi, L., Pasquale, L., Spoletini, P.: Fuzzy Goals for Requirements-driven Adaptation. In: Proc. of the 18th IEEE International Requirements Engineering Conference, pp. 125–134. IEEE (2010)Google Scholar
  4. 4.
    Berry, D.M., Cheng, B.H.C., Zhang, J.: The Four Levels of Requirements Engineering for and in Dynamic Adaptive Systems. In: Proc. of the 11th International Workshop on Requirements Engineering: Foundation for Software Quality, pp. 95–100 (2005)Google Scholar
  5. 5.
    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)CrossRefzbMATHGoogle Scholar
  6. 6.
    Brun, Y., Di Marzo Serugendo, G., Gacek, C., Giese, H., Kienle, H., Litoiu, M., Müller, H., Pezzè, M., Shaw, M.: Engineering Self-Adaptive Systems through Feedback Loops. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Self-Adaptive Systems. LNCS, vol. 5525, pp. 48–70. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  7. 7.
    Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J., Andersson, J., Becker, B., Bencomo, N., Brun, Y., Cukic, B., Di Marzo Serugendo, G., Dustdar, S., Finkelstein, A., Gacek, C., Geihs, K., Grassi, V., Karsai, G., Kienle, H.M., Kramer, J., Litoiu, M., Malek, S., Mirandola, R., Müller, H.A., Park, S., Shaw, M., Tichy, M., Tivoli, M., Weyns, D., Whittle, J.: Software Engineering for Self-Adaptive Systems: A Research Roadmap. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Self-Adaptive Systems. LNCS, vol. 5525, pp. 1–26. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  8. 8.
    Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed Requirements Acquisition. Science of Computer Programming 20(1-2), 3–50 (1993)CrossRefzbMATHGoogle Scholar
  9. 9.
    Dobson, S., et al.: A Survey of Autonomic Communications. ACM Transactions on Autonomous and Adaptive Systems 1(2), 223–259 (2006)CrossRefGoogle Scholar
  10. 10.
    Doyle, J.C., Francis, B.A., Tannenbaum, A.R.: Feedback Control Theory. Macmillan Coll Div (1992)Google Scholar
  11. 11.
    Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in Property Specifications for Finite-State Verification. In: Proc. of the 21st International Conference on Software Engineering, pp. 411–420. ACM (1999)Google Scholar
  12. 12.
    Flake, S.: Enhancing the Message Concept of the Object Constraint Language. In: Proc. of the 16th International Conference on Software Engineering & Knowledge Engineering, pp. 161–166 (2004)Google Scholar
  13. 13.
    Garlan, D., Cheng, S.W., Huang, A.C., Schmerl, B., Steenkiste, P.: Rainbow: Architecture-Based Self-Adaptation with Reusable Infrastructure. Computer 37(10), 46–54 (2004)CrossRefGoogle Scholar
  14. 14.
    Giese, H., Cheng, B.H.C. (eds.): Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. ACM (2011)Google Scholar
  15. 15.
    Hellerstein, J.L., Diao, Y., Parekh, S., Tilbury, D.M.: Feedback Control of Computing Systems, 1st edn. Wiley (2004)Google Scholar
  16. 16.
    Hevner, A.R., March, S.T., Park, J., Ram, S.: Design Science in Information Systems Research. MIS Quarterly 28(1), 75–105 (2004)Google Scholar
  17. 17.
    Jureta, I., Mylopoulos, J., Faulkner, S.: Revisiting the Core Ontology and Problem in Requirements Engineering. In: Proc. of the 16th IEEE International Requirements Engineering Conference, pp. 71–80. IEEE (2008)Google Scholar
  18. 18.
    Kephart, J.O., Chess, D.M.: The vision of autonomic computing. Computer 36(1), 41–50 (2003)MathSciNetCrossRefGoogle Scholar
  19. 19.
    Kramer, J., Magee, J.: A Rigorous Architectural Approach to Adaptive Software Engineering. Journal of Computer Science and Technology 24(2), 183–188 (2009)CrossRefGoogle Scholar
  20. 20.
    van Lamsweerde, A.: Requirements Engineering: From System Goals to UML Models to Software Specifications, 1st edn. Wiley (2009)Google Scholar
  21. 21.
    Letier, E., van Lamsweerde, A.: Reasoning about Partial Goal Satisfaction for Requirements and Design Engineering. In: Proc. of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, vol. 29, pp. 53–62. ACM (2004)Google Scholar
  22. 22.
    Menasce, D.A., Gomaa, H., Malek, S., Sousa, J.A.P.: SASSY: A Framework for Self-Architecting Service-Oriented Systems. IEEE Software 28(6), 78–85 (2011)CrossRefGoogle Scholar
  23. 23.
    Parashar, M., Figueiredo, R., Kiciman, E.E. (eds.): Proceedings of the 7th International Conference on Autonomic Computing. ACM (2010)Google Scholar
  24. 24.
    Robinson, W.N.: A requirements monitoring framework for enterprise systems. Requirements Engineering 11(1), 17–41 (2006)CrossRefGoogle Scholar
  25. 25.
    Robinson, W.N.: Extended OCL for Goal Monitoring. Electronic Communications of the EASST 9 (2008)Google Scholar
  26. 26.
    Robinson, W.N., Fickas, S.: Designs Can Talk: A Case of Feedback for Design Evolution in Assistive Technology. In: Lyytinen, K., Loucopoulos, P., Mylopoulos, J., Robinson, B. (eds.) Design Requirements Engineering. LNBIP, vol. 14, pp. 215–237. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  27. 27.
    Robinson, W.N., Purao, S.: Monitoring Service Systems from a Language-Action Perspective. IEEE Transactions on Services Computing 4(1), 17–30 (2011)CrossRefGoogle Scholar
  28. 28.
    Rohleder, C., Smith, J., Dix, J.: Requirements Specification - Ambulance Dispatch System. Tech. rep., Software Engineering (CS 3354) Course Project, University of Texas at Dallas, USA (2006),
  29. 29.
    Rosenthal, D.: Consciousness and Mind, 1st edn. Oxford University Press (2005)Google Scholar
  30. 30.
    Sousa, J.P., Balan, R.K., Poladian, V., Garlan, D., Satyanarayanan, M.: A Software Infrastructure for User–Guided Quality–of–Service Tradeoffs. In: Cordeiro, J., Shishkov, B., Ranchordas, A., Helfert, M. (eds.) ICSOFT 2008. CCIS, vol. 47, pp. 48–61. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  31. 31.
    Souza, V.E.S.: An Experiment on the Development of an Adaptive System based on the LAS-CAD. Tech. rep., University of Trento (2012),
  32. 32.
    Souza, V.E.S., Lapouchnian, A., Mylopoulos, J.: System Identification for Adaptive Software Systems: A Requirements Engineering Perspective. In: Jeusfeld, M., Delcambre, L., Ling, T.-W. (eds.) ER 2011. LNCS, vol. 6998, pp. 346–361. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  33. 33.
    Souza, V.E.S., Lapouchnian, A., Mylopoulos, J.: (Requirement) Evolution Requirements for Adaptive Systems. In: Proc. of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp. 155–164. IEEE (2012)Google Scholar
  34. 34.
    Souza, V.E.S., Mylopoulos, J.: From Awareness Requirements to Adaptive Systems: a Control-Theoretic Approach. In: Proc. of the 2nd International Workshop on Requirements@Run.Time, pp. 9–15. IEEE (2011)Google Scholar
  35. 35.
    Tallabaci, G.: System Identification for the ATM System. Master thesis, University of Trento (to be submitted, 2012)Google Scholar
  36. 36.
    Whittle, J., Sawyer, P., Bencomo, N., Cheng, B.H.C., Bruel, J.-M.: RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems. In: Proc. of the 17th IEEE International Requirements Engineering Conference, pp. 79–88. IEEE (2009)Google Scholar
  37. 37.
    Yu, E.S.K., Giorgini, P., Maiden, N., Mylopoulos, J.: Social Modeling for Requirements Engineering, 1st edn. MIT Press (2011)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Vítor E. Silva Souza
    • 1
  • Alexei Lapouchnian
    • 1
  • William N. Robinson
    • 2
  • John Mylopoulos
    • 1
  1. 1.Department of Inf. Engineering and Computer ScienceUniversity of TrentoItaly
  2. 2.Department of Computer Information SystemsGeorgia State UniversityUSA

Personalised recommendations