Appendix 1: Search Process

Search for IEEE Xplore:






Search for ISI Web of Science:







Search for ACM digital library:









Search for EI Compendex:






Search for SpringerLink:







Search for Elsevier ScienceDirect:
























Appendix 2: Primary Studies


p1: Ramdane-Cherif A, Hina M D, Tadj C, et al. Analysis of a New Ubiquitous Multimodal Multimedia Computing System[C]//Multimedia, 2007. ISM 2007. Ninth IEEE International Symposium on. IEEE, 2007: 161-168.

p2:Choi J. Context-driven requirements analysis[M]//Computational Science and Its Applications–ICCSA 2007. Springer Berlin Heidelberg, 2007: 739-748.

p3: Desmet B, Vallejos J, Costanza P, et al. Context-oriented domain analysis[M]//Modeling and Using Context. Springer Berlin Heidelberg, 2007: 178-191.

p4: Sitou W, Spanfelner B. Towards requirements engineering for context adaptive systems[C]//Computer Software and Applications Conference, 2007. COMPSAC 2007. 31st Annual International. IEEE, 2007, 2: 593-600.

p5: Xiong J, Fan J, Li Y. A layered context reference model for context/situation middleware[C]//Grid and Cooperative Computing, 2008. GCC’08. Seventh International Conference on. IEEE, 2008: 15-21.

p6: Huang P C, Kuo Y H. A reliable context model for context-aware applications[C]//Systems, Man and Cybernetics, 2008. SMC 2008. IEEE International Conference on. IEEE, 2008: 246-250.

p7: Nakagawa H, Ohsuga A, Honiden S. Constructing self-adaptive systems using a kaos model[C]//Self-Adaptive and Self-Organizing Systems Workshops, 2008. SASOW 2008. Second IEEE International Conference on. IEEE, 2008: 132-137.

p8: Bai Y, Yang J, Qiu Y. OntoCBR: Ontology-based CBR in context-aware applications[C]//Multimedia and Ubiquitous Engineering, 2008. MUE 2008. International Conference on. IEEE, 2008: 164-169.

p9: Wurdel M, Burghardt C, Forbrig P. Supporting ambient environments by extended task models[M]//Constructing Ambient Intelligence. Springer Berlin Heidelberg, 2007: 131-138.

p10: Ali R, Dalpiaz F, Giorgini P. A goal modeling framework for self-contextualizable software[M]//Enterprise, Business-Process and Information Systems Modeling. Springer Berlin Heidelberg, 2009: 326-338.

p11: J?rgensen J B, Tjell S, Fernandes J M. Formal requirements modelling with executable use cases and coloured Petri nets[J]. Innovations in Systems and Software Engineering, 2009, 5(1): 13-25.

p12: Lapouchnian A, Mylopoulos J. Modeling domain variability in requirements engineering with contexts[M]//Conceptual Modeling-ER 2009. Springer Berlin Heidelberg, 2009: 115-130.

p13: Ali R, Dalpiaz F, Giorgini P. A goal-based framework for contextual requirements modeling and analysis[J]. Requirements Engineering, 2010, 15(4): 439-458.

p14: Morandini M, Migeon F, Gleizes M P, et al. A goal-oriented approach for modelling self-organising MAS[J]. Engineering Societies in the Agents World X, 2009: 33-48.

p15: Yu L, Glenstrup A, Zhang Y, et al. Goal-driven context-aware service composition[C]//Pervasive Computing and Applications (ICPCA), 2010 5th International Conference on. IEEE, 2010: 342-347.

p16: Qureshi N A, Perini A, Ernst N A, et al. Towards a continuous requirements engineering framework for self-adaptive systems[C]//Requirements@ Run. Time (RE@ RunTime), 2010 First International Workshop on. IEEE, 2010: 9-16.

p17: Ismail I, Moussa F. User requirements deduction in a pervasive environment[C]//NGMAST: IEEE international conference on next generation mobile application, services and technologies. 2010.

p18: Zhu J, Pung H K, Oliya M, et al. A context realization framework for ubiquitous applications with runtime support[J]. Communications Magazine, IEEE, 2011, 49(9): 132-141.

p19: Leonardi C, Sabatucci L, Susi A, et al. Design as intercultural dialogue: coupling human-centered design with requirement engineering methods[M]//Human-Computer Interaction–INTERACT 2011. Springer Berlin Heidelberg, 2011: 485-502.

p20: Kofod-Petersen A, Cassens J. Modelling with problem frames: explanations and context in ambient intelligent systems[M]//Modeling and Using Context. Springer Berlin Heidelberg, 2011: 145-158.

p21: Ali R, Dalpiaz F, Giorgini P, et al. Requirements evolution: from assumptions to reality[M]//Enterprise, Business-Process and Information Systems Modeling. Springer Berlin Heidelberg, 2011: 372-382.

p22: Inverardi P, Mori M. Requirements models at run-time to support consistent system evolutions[C]//Requirements@ Run. Time (RE@ RunTime), 2011 2nd International Workshop on. IEEE, 2011: 1-8.

p23: Huang J, Yang H, Xu L, et al. Supporting context—Aware service evolution with a process management requirements model[C]//Service-Oriented Computing and Applications (SOCA), 2011 IEEE International Conference on. IEEE, 2011: 1-8.

p24: Sun W, France R B, Ray I. Supporting Iterative Development of Robust Operation Contracts in UML Requirements Models[C]//High-Assurance Systems Engineering (HASE), 2011 IEEE 13th International Symposium on. IEEE, 2011: 9-16.

p25: Sun J, Liu F, Zhang H, et al. Understanding the Diversity of Services Based on Users’ Identities[C]//CAiSE. 2011: 612-626.

p26: Raji A, Dhaussy P. Use Cases Modeling for Scalable Model-Checking[C]//Software Engineering Conference (APSEC), 2011 18th Asia Pacific. IEEE, 2011: 65-72.

p27: Riahi I, Riahi M, Moussa F. XML in formal specification, verification and generation of mobile HCI[M]//Human-Computer Interaction. Towards Mobile and Intelligent Interaction Environments. Springer Berlin Heidelberg, 2011: 92-100.

p28: Filieri A, Ghezzi C, Tamburrelli G. A formal approach to adaptive software: continuous assurance of non-functional requirements[J]. Formal Aspects of Computing, 2012, 24(2): 163-186.

P29: Ruiz-López T, Rodríguez-Domínguez C, Noguera M, et al. A Model-Driven Approach to Requirements Engineering in Ubiquitous Systems[M]//Ambient Intelligence-Software and Applications. Springer Berlin Heidelberg, 2012: 85-92.

p30: Liu C, Zhang W, Zhao H, et al. A problem oriented approach to modeling feedback loops for self-adaptive software systems[C]//Software Engineering Conference (APSEC), 2012 19th Asia-Pacific. IEEE, 2012, 1: 440-445.

p31: Al-alshuhai A, Siewe F. An extension of the use case diagram to model context-aware applications[C]//SAI Intelligent Systems Conference (IntelliSys), 2015. IEEE, 2015: 884-888.

p32: Salifu M, Yu Y, Bandara A K, et al. Analysing monitoring and switching problems for adaptive systems[J]. Journal of Systems and Software, 2012, 85(12): 2829-2839.

p33: Vrbaski M, Mussbacher G, Petriu D, et al. Goal models as run-time entities in context-aware systems[C]//Proceedings of the 7th Workshop on Models@ run. time. ACM, 2012: 3-8.

p34: Urbieta M M, Rossi G, Gordillo S, et al. Identifying and modelling complex workflow requirements in web applications[M]//Current Trends in Web Engineering. Springer Berlin Heidelberg, 2012: 146-157.

p35: Frece A, Juric M B. Modeling functional requirements for configurable content-and context-aware dynamic service selection in business process models[J]. Journal of Visual Languages & Computing, 2012, 23(4): 223-247.

p36: Santos E, Pimentel J, Castro J, et al. On the dynamic configuration of business process models[M]//Enterprise, Business-Process and Information Systems Modeling. Springer Berlin Heidelberg, 2012: 331-346.

p37: Ali R, Griggio A, Franzén A, et al. Optimizing monitoring requirements in self-adaptive systems[M]//Enterprise, Business-Process and Information Systems Modeling. Springer Berlin Heidelberg, 2012: 362-377.

p38: Liu W, Feng Z. Requirement uncertainty analysis for service-oriented self-adaptation software[M]//Network Computing and Information Security. Springer Berlin Heidelberg, 2012: 156-163.

p39: Abeywickrama D B, Bicocchi N, Zambonelli F. SOTA: Towards a general model for self-adaptive systems[C]//Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2012 IEEE 21st International Workshop on. IEEE, 2012: 48-53.

p40: Almutairi S, Bella G, Abu-Samaha A. Specifying security requirements of context aware system using UML[C]//Digital Information Management (ICDIM), 2012 Seventh International Conference on. IEEE, 2012: 259-265.

p41: Qureshi N A, Jureta I J, Perini A. Towards a requirements modeling language for self-adaptive systems[M]//Requirements Engineering: Foundation for Software Quality. Springer Berlin Heidelberg, 2012: 263-279.

p42: Bosems S. Towards model-driven requirements analysis for context-aware well-being systems[C]//On the Move to Meaningful Internet Systems: OTM 2012 Workshops. Springer Berlin Heidelberg, 2012: 43-50.

p43: Kim J H, Kim S C. Adaptive Smart Vehicle Middleware Platform for Aspect Oriented Software Engineering[M]//Grid and Pervasive Computing. Springer Berlin Heidelberg, 2013: 659-664.

p44: Dalpiaz F, Giorgini P, Mylopoulos J. Adaptive socio-technical systems: a requirements-based approach[J]. Requirements engineering, 2013, 18(1): 1-24.

p45:Ruiz-López T, Rodríguez-Domínguez C, Rodríguez M J, et al. Context-Aware Self-adaptations: From Requirements Specification to Code Generation[M]//Ubiquitous Computing and Ambient Intelligence. Context-Awareness and Context-Driven Interaction. Springer International Publishing, 2013: 46-53.

p46: Sutcliffe A, Sawyer P. Modeling personalized adaptive systems[C]//Advanced Information Systems Engineering. Springer Berlin Heidelberg, 2013: 178-192.

p47: Pasquale L, Spoletini P, Pometto D, et al. Requirements engineering meets physiotherapy: An experience with motion-based games[M]//Requirements Engineering: Foundation for Software Quality. Springer Berlin Heidelberg, 2013: 315-330.

p48: Ruiz-López T, Noguera M, RodríGuez M A J, et al. REUBI: A requirements engineering method for ubiquitous systems[J]. Science of Computer Programming, 2013, 78(10): 1895-1911.

p49: Chen D, Chu X, Su Y, et al. A new conceptual design approach for context-aware product service system[C]//Industrial Engineering and Engineering Management (IEEM), 2014 IEEE International Conference on. IEEE, 2014: 1389-1393.

p50: Ali R, Dalpiaz F, Giorgini P. Reasoning with contextual requirements: Detecting inconsistency and conflicts[J]. Information and Software Technology, 2013, 55(1): 35-57.

p51: Yang Z, Jin Z. Modeling and Specifying Parametric Adaptation Mechanism for Self-Adaptive Systems[M]//Requirements Engineering. Springer Berlin Heidelberg, 2014: 105-119.

p52: Mcheick H. Modeling Context Aware Features for Pervasive Computing[J]. Procedia Computer Science, 2014, 37: 135-142.

p53: Klimek R. Preference models and their elicitation and analysis for context-aware applications[M]//Man-Machine Interactions 3. Springer International Publishing, 2014: 353-360.

p54: Ali R, Dalpiaz F, Giorgini P. Requirements-driven deployment[J]. Software & Systems Modeling, 2014, 13(1): 433-456.

p55: Ahmad A, Rahman M A, Afyouni I, et al. Towards a mobile and context-aware framework from crowdsourced data[C]//Information and Communication Technology for The Muslim World (ICT4M), 2014 The 5th International Conference on. IEEE, 2014: 1-6.

p56: Boudaa B. Towards a Model-Driven Requirements Specification of Context-Aware Services[C]//Signal-Image Technology and Internet-Based Systems (SITIS), 2014 Tenth International Conference on. IEEE, 2014: 194-200.

p57: Silva Souza V E, Mylopoulos J. Designing an adaptive computer‐aided ambulance dispatch system with Zanshin: an experience report[J]. Software: Practice and Experience, 2015, 45(5): 689-725.

p58: Canchi S, Durán J E. Functional Requirements Modelling for Interactive TV Applications[M]//Requirements Engineering: Foundation for Software Quality. Springer International Publishing, 2015: 254-261.

p59: Cheng B H C, Sawyer P, Bencomo N, et al. A goal-based modeling approach to develop requirements of an adaptive system with environmental uncertainty[C]//International Conference on Model Driven Engineering Languages and Systems. Springer Berlin Heidelberg, 2009: 468-483.

p60: Ali R, Dalpiaz F, Giorgini P. Location-based software modeling and analysis: Tropos-based approach[C]//International Conference on Conceptual Modeling. Springer Berlin Heidelberg, 2008: 169-182.

p61:Vilela J, Castro J, Pimentel J. A systematic process for obtaining the behavior of context-sensitive systems[J]. Journal of Software Engineering Research and Development, 2016, 4(1): 2.

p62:Al-alshuhai A, Siewe F. An Extension of UML Activity Diagram to Model the Behaviour of Context-Aware Systems[C]//Computer and Information Technology; Ubiquitous Computing and Communications; Dependable, Autonomic and Secure Computing; Pervasive Intelligence and Computing (CIT/IUCC/DASC/PICOM), 2015 IEEE International Conference on. IEEE, 2015: 431-437.

p63:Li R, Ma S, Yao W. Ontology-Based Requirements Generation for Credibility Validation of Safety-Critical System[C]//Computer and Information Technology; Ubiquitous Computing and Communications; Dependable, Autonomic and Secure Computing; Pervasive Intelligence and Computing (CIT/IUCC/DASC/PICOM), 2015 IEEE International Conference on. IEEE, 2015: 849-854.

p64:Sengupta S, Dasgupta R. Use of semi-formal and formal methods in requirement engineering of ILMS[J]. ACM SIGSOFT Software Engineering Notes, 2015, 40(1): 1-13.

p65:Soares F, Araújo J, Wanderley F. VoiceToModel: an approach to generate requirements models from speech recognition mechanisms[C]//Proceedings of the 30th Annual ACM Symposium on Applied Computing. ACM, 2015: 1350-1357.

p66:Dzvonyar D, Krusche S, Alkadhi R, et al. Context-aware user feedback in continuous software evolution[C]//Proceedings of the International Workshop on Continuous Software Evolution and Delivery. ACM, 2016: 12-18.

p67:Greenyer J, Haase M, Marhenke J, et al. Evaluating a formal scenario-based method for the requirements analysis in automotive software engineering[C]//Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering. ACM, 2015: 1002-1005.

p68:Mu?oz-Fernández J C, Tamura G, Raicu I, et al. REFAS: a PLE approach for simulation of self-adaptive systems requirements[C]//Proceedings of the 19th International Conference on Software Product Line. ACM, 2015: 121-125.

Appendix 3: Extracted Data