Skip to main content

Advertisement

Log in

Personalized adaptation in pervasive systems via non-functional requirements

  • Original Research
  • Published:
Journal of Ambient Intelligence and Humanized Computing Aims and scope Submit manuscript

Abstract

Pervasive environments are socio-technical systems that support the daily routines of their users in an invisible and unobtrusive manner. These systems are aware of and adapt to both the operational context and the characteristics and preferences of their users. Designing adaptation mechanisms that guarantee maximal user satisfaction is challenging, due to the inherent differences between users and the changing context where the system operates. In order to tackle this problem, we propose an approach that compares alternative system behaviors in terms of how well they satisfy the preferences of the current user concerning Non-Functional Requirements (NFRs) such as efficiency, comfort, energy saving, etc. Specifically, we propose a model-driven framework in which the models represent the user routines that the pervasive system helps to achieve. These routines include variability points, thereby enabling their behavior to be adapted at runtime in order to fit the context and the user preferences over NFRs. Our contributions include: (1) user-adaptive task models, a modeling language to describe user routines that accounts for user preferences over NFRs; (2) algorithms that use our models at runtime to guide a pervasive system in adapting its behavior to user preferences and context; and (3) an implementation and evaluation of our techniques.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6

Similar content being viewed by others

Notes

  1. Online questionnaire for gathering contextual preferences over NFRs of a smart home: https://goo.gl/ir65zM

  2. http://jena.apache.org/documentation/tdb/.

  3. OMG’s EMOF: http://www.omg.org/mof/.

  4. EMF: http://www.eclipse.org/modeling/emf/.

  5. OSGi—http://www.osgi.org/.

References

  • Al-Refai M, Cazzola W, France R (2014) Using models to dynamically refactor runtime code. In: Proceedings of the Annual ACM Symposium on Applied Computing, ACM, pp 1108–1113

  • Amoui M, Derakhshanmanesh M, Ebert J, Tahvildari L (2012) Achieving dynamic adaptation via management and interpretation of runtime models. J Syst Softw 85(12):2720–2737

    Article  Google Scholar 

  • Ayora C (2011) Modelling and managing variability in business process models. Master’s thesis, Universitat Politècnica de València

  • Ballagny C, Hameurlain N, Barbier F (2009) Mocas: a state-based component model for self-adaptation. In: Third IEEE international conference on self-adaptive and self-organizing systems (SASO’09). IEEE, pp 206–215

  • Blair G, Bencomo N, France RB (2009) Models\(^@\) run. time. Computer 42(10):22–27

    Article  Google Scholar 

  • Blumendorf M, Lehmann G, Feuerstack S, Albayrak S (2008) Executable models for human-computer interaction. In: Proceedings of the international workshop on the design, specification, and verification of interactive systems. Springer, New York, pp 238–251

  • Brown G, Cheng BHC, Goldsby H, Zhang J (2006) Goal-oriented specification of adaptation requirements engineering in adaptive systems. In: Proc. of SEAMS ’06. ACM, pp 23–29

  • Calvaresi D, Cesarini D, Sernani P, Marinoni M, Dragoni AF, Sturm A (2017) Exploring the ambient assisted living domain: a systematic review. J Ambient Intell Humaniz Comput 8(2):239–257

    Article  Google Scholar 

  • Cetina C, Giner P, Fons J, Pelechano V (2009) Using feature models for developing self-configuring smart homes. In: Fifth international conference on autonomic and autonomous systems (ICAS’09). IEEE, pp 179–188

  • Cheng SW, Garlan D, Schmerl B, Sousa JP, Spitznagel B, Steenkiste P, Hu N (2002) Software architecture-based adaptation for pervasive systems. In: Proceedings of the international conference on architecture of computing systems. Springer, New York, pp 67–82

    Chapter  Google Scholar 

  • Chin JSY, Callaghan V, Clarke G (2008) A programming-by-example approach to customising digital homes. In: 4th international conference on intelligent environments (IET 2008), p 41

  • Chung L, Nixon BA, Yu E (1995) Using non-functional requirements to systematically select among alternatives in architectural design. In: Proceedings of first international workshop on architectures for software systems, Seattle, Washington, pp 31–43

  • Cook D, Das S (2004) Smart environments: technology, protocols and applications, 43rd edn. Wiley, New York

    Book  Google Scholar 

  • Dalpiaz F, Serral E, Valderas P, Giorgini P, Pelechano V (2012) A NFR-based framework for user-centered adaptation. In: Proceedings of the 31st international conference on conceptual modeling (ER 2012). Springer, LNCS, vol 7532, pp 439–448

  • Dalpiaz F, Giorgini P, Mylopoulos J (2013) Adaptive socio-technical systems: a requirements-based approach. Requir Eng 18(1):1–24

    Article  Google Scholar 

  • Floch J, Hallsteinsen S, Stav E, Eliassen F, Lund K, Gjorven E (2006) Using architecture models for runtime adaptability. IEEE Softw 23(2):62–70

    Article  Google Scholar 

  • García-Herranz M, Haya PA, Alamán X (2010) Towards an ubiquitous end-user programming system for smart spaces. J Univ Compu Sci (JUCS) 16(12):1633–1649

    Google Scholar 

  • Garlan D, Schmerl B (2004) Using architectural models at runtime: Research challenges. In: Proceedings of the international conference on software architecture. Springer, New York, pp 200–205

    Chapter  Google Scholar 

  • Giorgini P, Mylopoulos J, Nicchiarelli E, Sebastiani R (2002) Reasoning with goal models. Proc. of ER 2002:167–181

  • Goldsby HJ, Sawyer P, Bencomo N, Cheng BHC, Hughes D (2008) Goal-based modeling of dynamically adaptive system requirements. In: 15th annual IEEE international conference and workshop on the engineering of computer based systems (ECBS 2008). IEEE, pp 36–45

  • Griss ML, Favaro J, d’Alessandro M (1998) Integrating feature modeling with the RSEB. In: Proceedings of the fifth international conference on software reuse. IEEE, pp 76–85

  • Hagras H, Callaghan V, Colley M, Clarke G, Pounds-Cornish A, Duman H (2004) Creating an ambient-intelligence environment using embedded agents. IEEE Intell Syst 19(6):12–20

    Article  Google Scholar 

  • Henniger O, Damer N, Braun A (2017) Opportunities for biometric technologies in smart environments. In: Braun A, Wichert R, Maña A (eds) Ambient Intelligence: 13th European Conference, AmI 2017, Malaga, Spain, April 26–28, 2017, Proceedings, Springer International Publishing, Cham, pp 175–182

    Google Scholar 

  • Henricksen K, Indulska J (2004) Developing context-aware pervasive computing applications: models and approach. Pervasive Mobile Comput 2:37–64

    Article  Google Scholar 

  • Henricksen K, Indulska J, Rakotonirainy A (2002) Modeling context information in pervasive computing systems. In: Proc. of the international conference on pervasive computing (Pervasive’02). Springer, New York, pp 167–180

    MATH  Google Scholar 

  • Henricksen K, Indulska J, Rakotonirainy A (2006) Using context and preferences to implement self-adapting pervasive computing applications. Softw Pract Exp 36(11–12):1307–1330

    Article  Google Scholar 

  • Lapouchnian A, Yu Y, Liaskos S, Mylopoulos J (2006) Requirements-driven design of autonomic application software. In: Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative Research. IBM Corp., p 7

  • Liaskos S, McIlraith SA, Sohrabi S, Mylopoulos J (2010) Integrating preferences into goal models for requirements engineering. In: Proc. of the IEEE International Requirements Engineering Conference (RE). IEEE, pp 135–144

  • Morin B, Barais O, Jezequel JM, Fleurey F, Solberg A (2009) Models\(^@\)Run.time to support dynamic adaptation. IEEE. Computer 42(10):44–51

    Article  Google Scholar 

  • Mylopoulos J, Chung L, Nixon B (1992) Representing and using nonfunctional requirements: a process-oriented approach. IEEE Trans Software Eng 18(6):483–497

    Article  Google Scholar 

  • Oreizy P, Gorlick MM, Taylor RN, Heimbigner D, Johnson G, Medvidovic N, Quilici A, Rosenblum DS, Wolf AL (1999) An architecture-based approach to self-adaptive software. IEEE Intell Syst 14(3):54–62

    Article  Google Scholar 

  • Pastor O, Molina JC (2007) Model-driven architecture in practice: a software production environment based on conceptual modeling. Springer, New York

    Google Scholar 

  • Paternò F (2004) ConcurTaskTrees: an engineered notation for task models. In: The handbook of task analysis for human-computer interaction. Lawrence Erlbaum Associates, pp 483–503

  • Pavlovski CJ, Zou J (2008) Non-functional requirements in business process modeling. In: Proc. of APCCM 08, p 103112

  • Rashidi P, Cook DJ (2009) Keeping the resident in the loop: adapting the smart home to the user. IEEE Transactions on Systems, Man, and Cybernetics 39

    Article  Google Scholar 

  • Saaty TL (1990) How to make a decision: the analytic hierarchy process. Eur J Oper Res 48(1):9–26

    Article  MathSciNet  Google Scholar 

  • Sadri F (2011) Ambient intelligence. ACM Comput Surv 43(4):1–66

    Article  Google Scholar 

  • Salehie M, Tahvildari L (2012) Towards a goal-driven approach to action selection in self-adaptive software. Softw Pract Exp 42:211–233

    Article  Google Scholar 

  • Satyanarayanan M (2001) Pervasive computing: vision and challenges. Personal Communications, IEEE 8(4):10–17

    Article  Google Scholar 

  • Serral E (2011) Automating routine tasks in smart environments. a context-aware model-driven approach. PhD thesis, Polytechnic University of Valencia

  • Serral E, Valderas P, Pelechano V (2010) Supporting runtime system evolution to adapt to user behaviour. In: Proc. of CAiSE’10, pp 378–392

    Chapter  Google Scholar 

  • Serral E, Valderas P, Pelechano V (2011) Improving the cold-start problem in user task automation by using models at runtime. In: Information Systems Development, Springer, New York, pp 671–683

    Chapter  Google Scholar 

  • Serral E, Valderas P, Pelechano V (2013a) Addressing the evolution of automated user behaviour patterns by runtime model interpretation. Softw Syst Model 14(4):1387–1420

    Article  Google Scholar 

  • Serral E, Valderas P, Pelechano V (2013b) Context-adaptive coordination of pervasive services by interpreting models during runtime. Comput J 56(1):87–114

    Article  Google Scholar 

  • Serral E, Sernani P, Dragoni AF, Dalpiaz F (2017) Contextual requirements prioritization and its application to smart homes. In: Proceedings of the 13th European Conference on Ambient Intelligence. AmI 2017, pp 94–109

  • Shepard D (1968) A Two-dimensional Interpolation Function for Irregularly-spaced Data. In: Proc. of the ACM national conference, pp 517–524

  • Shepherd A (2001) Hierarchical task analysis. Taylor & Francis, London

    Book  Google Scholar 

  • Silva Souza VE, Lapouchnian A, Robinson WN, Mylopoulos J (2011) Awareness Requirements for Adaptive Systems. In: Proc. of SEAMS ’11, pp 60–69

  • Smith MK, Welty C, McGuinness DL (2004) Owl web ontology language guide. W3C recommendation, W3C. http://www.w3.org/TR/2004/REC-owl-guide-20040210/

  • Sutcliffe A, Fickas S, Sohlberg M (2005) Personal and contextual requirements engineering. Proc. of RE 2005:19–28

  • Ye J, Coyle L, Dobson S, Nixon P (2007) Ontology-based models in pervasive computing systems. Knowl Eng Rev 22(04):315–347

    Article  Google Scholar 

  • Youngblood GM, Cook DJ, Holder LB (2005) Managing adaptive versatile environments. Pervasive Mob Comput 1(4):373–403

    Article  Google Scholar 

  • Yu E (1995) Modelling strategies relationships for process reengineering. PhD thesis, Department of computer science, University of Toronto

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Estefanía Serral.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Serral, E., Sernani, P. & Dalpiaz, F. Personalized adaptation in pervasive systems via non-functional requirements. J Ambient Intell Human Comput 9, 1729–1743 (2018). https://doi.org/10.1007/s12652-017-0611-4

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s12652-017-0611-4

Keywords

Navigation