Remember Me
Or use your Academic/Social account:


Or use your Academic/Social account:


You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.


Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message


Verify Password:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Alegre, Unai; Augusto, Juan Carlos; Clark, Tony (2016)
Publisher: Elsevier
Languages: English
Types: Article
Context-awareness is an essential component of systems developed in areas like Intelligent Environments, Pervasive & Ubiquitous Computing and Ambient Intelligence. In these emerging fields, there is a need for computerized systems to have a higher understanding of the situations in which to provide services or functionalities, to adapt accordingly. The literature shows that researchers modify existing engineering methods in order to better fit the needs of context-aware computing. These efforts are typically disconnected from each other and generally focus on solving specific development issues. We encourage the creation of a more holistic and unified engineering process that is tailored for the demands of these systems. For this purpose, we study the state-of-the-art in the development of context-aware systems, focusing on: (A) Methodologies for developing context-aware systems, analyzing the reasons behind their lack of adoption and features that the community wish they can use; (B) Context-aware system engineering challenges and techniques applied during the most common development stages; (C) Context-aware systems conceptualization.\ud Keywords: Context-Aware Systems Engineering; Context-aware computing; Context-awareness; Context-sensitive; Sentient computing; Pervasive & Ubiquitous Computing; Intelligent Environments; Ambient Intelligence; Software engineering
  • The results below are discovered through our pilot algorithms. Let us know how we are doing!

    • [1] M. Weiser, The computer for the 21st century, Scientific american 265 (3) (1991) 94-104.
    • [2] T. Erickson, Some problems with the notion of context-aware computing, Communications of the ACM 45 (2) (2002) 102-104.
    • [3] S. Lee, S. Park, S.-g. Lee, A study on issues in context-aware systems based on a survey and service scenarios, in: Software Engineering, Artificial Intelligences, Networking and Parallel/Distributed Computing, 2009. SNPD'09. 10th ACIS International Conference on, IEEE, 2009, pp. 8-13.
    • [4] M. Bazire, P. Bre´zillon, Understanding context before using it, in: Modeling and using context, Springer, 2005, pp. 29-40.
    • [5] C. Perera, A. Zaslavsky, P. Christen, D. Georgakopoulos, Context aware computing for the internet of things: A survey, Communications Surveys & Tutorials, IEEE 16 (1) (2014) 414-454.
    • [6] A. K. Dey, G. D. Abowd, Towards a better understanding of context and context-awareness, in: In HUC 99: Proceedings of the 1st international symposium on Handheld and Ubiquitous Computing, Springer-Verlag, 1999, pp. 304-307.
    • [7] P. Dourish, What we talk about when we talk about context, Personal and ubiquitous computing 8 (1) (2004) 19-30.
    • [8] A. Zimmermann, A. Lorenz, R. Oppermann, An operational definition of context, in: Modeling and using context, Springer, 2007, pp. 558- 571.
    • [9] S. Jumisko-Pyykko¨, T. Vainio, Framing the context of use for mobile hci, International Journal of Mobile-Human-Computer-Interaction (IJMHCI) 3 (4) 1-28.
    • [10] Z. Alshaikh, C. Boughton, Notes on synthesis of context between engineering and social science, in: Modeling and Using Context, Springer, 2013, pp. 157-170.
    • [11] A. K. Dey, Understanding and using context, Personal and Ubiquitous Computing 5 (2001) 4-7.
    • [12] G. Ghiani, M. Manca, F. Paterno`, C. Porta, Beyond responsive design: context-dependent multimodal augmentation of web applications, in: Mobile Web Information Systems, Springer, 2014, pp. 71-85.
    • [13] C. L. T. Yuan, D. A. Ramli, Frog sound identification system for frog species recognition, in: Context-Aware Systems and Applications, Springer, 2013, pp. 41-50.
    • [14] D. Grassi, A. Bouhtouch, G. Cabri, Inbooki: Context-aware adaptive e-books, in: Context-Aware Systems and Applications, Springer, 2014, pp. 57-66.
    • [15] M. Jonsson, Sensing and making sense: Designing middleware for context aware computing, Ph.D. thesis, The Royal Institute of Technology School (2007).
    • [16] L. A. Suchman, Plans and situated actions: the problem of humanmachine communication, Xerox Corporation, Palo Alto Research Center, 1985.
    • [17] B. A. Nardi, Studying context: A comparison of activity theory, situated action models, and distributed cognition, Context and consciousness: Activity theory and human-computer interaction (1996) 69-102.
    • [18] S. Greenberg, Context as a dynamic construct, Human-Computer Interaction 16 (2) (2001) 257-268.
    • [19] N. V. Flor, E. L. Hutchins, A case study of team programming during perfective software maintenance, in: Empirical studies of programmers: Fourth workshop, Intellect Books, 1991, p. 36.
    • [20] A. K. Dey, Providing architectural support for building context-aware applications, Ph.D. thesis, Georgia Institute of Technology (2000).
    • [21] D. S. Modha, R. Ananthanarayanan, S. K. Esser, A. Ndirango, A. J. Sherbondy, R. Singh, Cognitive computing, Communications of the ACM 54 (8) (2011) 62-71.
    • [22] H. Dreyfus, What Computers can't do. The Limit of Artificial Intelligence. Revised edition, Harper and Row, New York a.o., 1979.
    • [23] H. L. Dreyfus, Intelligence without representation-merleau-ponty's critique of mental representation the relevance of phenomenology to scientific explanation, Phenomenology and the Cognitive Sciences 1 (4) (2002) 367-383.
    • [24] J. R. Lucas, Minds, machines and go¨del, Philosophy 36 (137) (1961) 112-127.
    • [25] J. R. Searle, Minds, brains, and programs, Behavioral and brain sciences 3 (03) (1980) 417-424.
    • [26] J. Fodor, The Mind Doesn't Work that Way: The Scope and Limits of Computational Psychology, Bradford book, MIT Press, 2001.
    • [27] B. Hardian, J. Indulska, K. Henricksen, Balancing autonomy and user control in context-aware systems-a survey, in: Pervasive Computing and Communications Workshops, 2006. PerCom Workshops 2006. Fourth Annual IEEE International Conference on, IEEE, 2006, pp. 6-pp.
    • [28] L. Barkhuus, A. Dey, Is context-aware computing taking control away from the user? three levels of interactivity examined, in: UbiComp 2003: Ubiquitous Computing, Springer, 2003, pp. 149-156.
    • [29] B. H. Cheng, R. De Lemos, H. Giese, P. Inverardi, J. Magee, J. Andersson, B. Becker, N. Bencomo, Y. Brun, B. Cukic, et al., Software engineering for self-adaptive systems: A research roadmap, in: Software engineering for self-adaptive systems, Springer, 2009, pp. 1-26.
    • [30] M. Salehie, L. Tahvildari, Self-adaptive software: Landscape and research challenges, ACM Transactions on Autonomous and Adaptive Systems (TAAS) 4 (2) (2009) 14.
    • [31] R. Mizouni, M. A. Matar, Z. Al Mahmoud, S. Alzahmi, A. Salah, A framework for context-aware self-adaptive mobile applications spl, Expert Systems with applications 41 (16) (2014) 7549-7564.
    • [32] S. Hallsteinsen, K. Geihs, N. Paspallis, F. Eliassen, G. Horn, J. Lorenzo, A. Mamelli, G. A. Papadopoulos, A development framework and methodology for self-adapting applications in ubiquitous computing environments, Journal of Systems and Software 85 (12) (2012) 2840- 2859.
    • [33] R. Rouvoy, P. Barone, Y. Ding, F. Eliassen, S. Hallsteinsen, J. Lorenzo, A. Mamelli, U. Scholz, Music: Middleware support for self-adaptation in ubiquitous and service-oriented environments, in: Software engineering for self-adaptive systems, Springer, 2009, pp. 164-182.
    • [34] K. Geihs, M. Wagner, Context-awareness for self-adaptive applications in ubiquitous computing environments, in: Context-Aware Systems and Applications, Springer, 2013, pp. 108-120.
    • [35] G. Chen, D. Kotz, et al., A survey of context-aware mobile computing research, Tech. rep., Technical Report TR2000-381, Dept. of Computer Science, Dartmouth College (2000).
    • [36] A. K. Dey, A. Newberger, Support for context-aware intelligibility and control, in: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, ACM, 2009, pp. 859-868.
    • [37] B. Y. Lim, A. K. Dey, Assessing demand for intelligibility in contextaware applications, in: Proceedings of the 11th international conference on Ubiquitous computing, ACM, 2009, pp. 195-204.
    • [38] B. Y. Lim, A. K. Dey, Toolkit to support intelligibility in context-aware applications, in: Proceedings of the 12th ACM international conference on Ubiquitous computing, ACM, 2010, pp. 13-22.
    • [39] M. Mori, A software lifecycle process for context-aware adaptive systems, in: Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering, ACM, 2011, pp. 412-415.
    • [40] P. Inverardi, M. Mori, A software lifecycle process to support consistent evolutions, in: Software Engineering for Self-Adaptive Systems II, Springer, 2013, pp. 239-264.
    • [41] M. Mori, F. Li, C. Dorn, P. Inverardi, S. Dustdar, Leveraging state-based user preferences in context-aware reconfigurations for self-adaptive systems, in: Software Engineering and Formal Methods, Springer, 2011, pp. 286-301.
    • [42] A. Aztiria, J. C. Augusto, R. Basagoiti, A. Izaguirre, D. J. Cook, Learning frequent behaviors of the users in intelligent environments, Systems, Man, and Cybernetics: Systems, IEEE Transactions on 43 (6) (2013) 1265-1278.
    • [43] U. Alegre, J. C. Augusto, A. Aztiria, Temporal reasoning for intuitive specification of context-awareness, in: Intelligent Environments (IE), 2014 International Conference on, IEEE, 2014, pp. 234-241.
    • [44] H. Lieberman, F. Paterno`, M. Klann, V. Wulf, End-User Development: An Emerging Paradigm 9 (2006) 1-8.
    • [45] A. K. Dey, T. Sohn, S. Streng, J. Kodama, icap: Interactive prototyping of context-aware applications, in: Pervasive Computing, Springer, 2006, pp. 254-271.
    • [46] A. Newberger, A. K. Dey, Designer support for context monitoring and control, IRB-TR-03-017, Intel Research Berkeley (2003).
    • [47] A. K. Dey, G. D. Abowd, D. Salber, A conceptual framework and a toolkit for supporting the rapid prototyping of context-aware applications, Human-computer interaction 16 (2) (2001) 97-166.
    • [48] B. Guo, D. Zhang, M. Imai, Enabling user-oriented management for ubiquitous computing: The meta-design approach, Computer Networks 54 (16) (2010) 2840-2855.
    • [49] M. Wojciechowski, J. Xiong, A user interface level context model for ambient assisted living, in: Smart Homes and Health Telematics, Springer, 2008, pp. 105-112.
    • [50] M. Wojciechowski, End user context modeling in ambient assisted living, International Journal of Advanced Pervasive and Ubiquitous Computing (IJAPUC) 1 (3) (2009) 61-80.
    • [51] M. Ball, V. Callaghan, M. Gardner, An adjustable-autonomy agent for intelligent environments, in: Intelligent Environments (IE), 2010 Sixth International Conference on, IEEE, 2010, pp. 1-6.
    • [52] G. Fischer, Context-aware systems: the'right'information, at the'right'time, in the'right'place, in the'right'way, to the'right'person, in: Proceedings of the International Working Conference on Advanced Visual Interfaces, ACM, 2012, pp. 287-294.
    • [53] R. De Lemos, H. Giese, H. A. Mu¨ ller, M. Shaw, J. Andersson, M. Litoiu, B. Schmerl, G. Tamura, N. M. Villegas, T. Vogel, et al., Software engineering for self-adaptive systems: A second research roadmap, in: Software Engineering for Self-Adaptive Systems II, Springer, 2013, pp. 1- 32.
    • [54] B. Y. Lim, Improving trust in context-aware applications with intelligibility, in: Proceedings of the 12th ACM international conference adjunct papers on Ubiquitous computing-Adjunct, ACM, 2010, pp. 477-480.
    • [55] G. Fischer, End-user development and meta-design: Foundations for cultures of participation, in: End-user development, Springer, 2009, pp. 3-14.
    • [56] B. Schilit, N. Adams, R. Want, Context-aware computing applications, in: Mobile Computing Systems and Applications, 1994. WMCSA 1994. First Workshop on, IEEE, 1994, pp. 85-90.
    • [57] J. Pascoe, Adding generic contextual capabilities to wearable computers, in: Wearable Computers, 1998. Digest of Papers. Second International Symposium on, IEEE, 1998, pp. 92-99.
    • [58] D. Kramer, J. C. Augusto, T. Clark, Context-awareness to increase inclusion of people with ds in society, in: Workshops at the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014.
    • [59] A. K. Dey, G. Kortuem, D. R. Morse, A. Schmidt, Situated interaction and context-aware computing, Personal and Ubiquitous Computing 5 (1) (2001) 1-3.
    • [60] C. Bettini, O. Brdiczka, K. Henricksen, J. Indulska, D. Nicklas, A. Ranganathan, D. Riboni, A survey of context modelling and reasoning techniques, Pervasive and Mobile Computing 6 (2) (2010) 161-180.
    • [61] K. Henricksen, J. Indulska, Modelling and using imperfect context information, in: Pervasive Computing and Communications Workshops, 2004. Proceedings of the Second IEEE Annual Conference on, IEEE, 2004, pp. 33-37.
    • [62] J.-y. Hong, E.-h. Suh, S.-J. Kim, Context-aware systems: A literature review and classification, Expert Systems with Applications 36 (4) (2009) 8509-8522.
    • [63] M. Perttunen, J. Riekki, O. Lassila, Context representation and reasoning in pervasive computing: a review, International Journal of Multimedia and Ubiquitous Engineering 4 (4) (2009) 1-28.
    • [64] A. Bikakis, T. Patkos, G. Antoniou, D. Plexousakis, A survey of semantics-based approaches for context reasoning in ambient intelligence, in: Constructing ambient intelligence, Springer, 2008, pp. 14-23.
    • [65] R. Brachman, H. Levesque, Knowledge representation and reasoning, Elsevier, 2004.
    • [66] S. Jones, S. Hara, J. Augusto, e-friend: an ethical framework for intelligent environment development, in: Ethics and Information Technology, Vol. 17, Springer, 2015, pp. 11-25.
    • [67] T. Buchholz, A. Ku¨ pper, M. Schiffers, Quality of context: What it is and why we need it, in: Proceedings of the workshop of the HP OpenView University Association, Vol. 2003, 2003, pp. pp-32.
    • [68] J. Pascoe, N. Ryan, D. Morse, Issues in developing context-aware computing, in: Handheld and ubiquitous computing, Springer, 1999, pp. 208-221.
    • [69] S. Chetan, A. Ranganathan, R. Campbell, Towards fault tolerance pervasive computing, Technology and Society Magazine, IEEE 24 (1) (2005) 38-44.
    • [70] W. K. Edwards, V. Bellotti, A. K. Dey, M. W. Newman, The challenges of user-centered design and evaluation for infrastructure, in: Proceedings of the SIGCHI conference on Human factors in computing systems, ACM, 2003, pp. 297-304.
    • [71] K. Pohl, Requirements engineering: fundamentals, principles, and techniques, Springer Publishing Company, Incorporated, 2010.
    • [72] B. Nuseibeh, S. Easterbrook, Requirements engineering: a roadmap, in: Proceedings of the Conference on the Future of Software Engineering, ACM, 2000, pp. 35-46.
    • [73] S. Robertson, J. Robertson, Mastering the requirements process: getting requirements right, Addison-Wesley, 2012.
    • [74] D. Zowghi, C. Coulin, Requirements elicitation: A survey of techniques, approaches, and tools, in: Engineering and managing software requirements, Springer, 2005, pp. 19-46.
    • [75] J. Baek Jorgensen, C. Bossen, Executable use cases: requirements for a pervasive health care system, Software, IEEE 21 (2) (2004) 34-41.
    • [76] F. Pe´rez, P. Valderas, Allowing end-users to actively participate within the elicitation of pervasive system requirements through immediate visualization, in: Requirements Engineering Visualization (REV), 2009 Fourth International Workshop on, IEEE, 2009, pp. 31-40.
    • [77] J. Krogstie, Requirement engineering for mobile information systems, in: Proceedings of the seventh international workshop on requirements engineering: Foundations for software quality (REFSQ'01), 2001.
    • [78] D. Hong, D. K. Chiu, V. Y. Shen, Requirements elicitation for the design of context-aware applications in a ubiquitous environment, in: Proceedings of the 7th international conference on Electronic commerce, ACM, 2005, pp. 590-596.
    • [79] L. Kolos-Mazuryk, G. J. Poulisse, P. A. T. van Eck, Requirements engineering for pervasive services, in: Second Workshop on Building Software for Pervasive Computing. Position Papers., San Diego, California, USA, 2005, pp. 18-22.
    • [80] K. E. Kjaer, Ethnographic studies as a requirement gathering process for the design of context aware middleware, in: Proceedings of the 2007 ACM/IFIP/USENIX international conference on Middleware companion, ACM, 2007, p. 3.
    • [81] R. Fuentes-Ferna´ndez, J. J. G o´mez-Sanz, J. Pavo´ n, Understanding the human context in requirements elicitation, Requirements engineering 15 (3) (2010) 267-283.
    • [82] B. A. Nardi, Context and consciousness: activity theory and humancomputer interaction, Mit Press, 1996.
    • [83] A. Sutcliffe, S. Fickas, M. M. Sohlberg, Pc-re: a method for personal and contextual requirements engineering with some experience, Requirements Engineering 11 (3) (2006) 157-173.
    • [84] C. Evans, L. Brodie, J. C. Augusto, Requirements engineering for intelligent environments, in: Intelligent Environments (IE), 2014 International Conference on, IEEE, 2014, pp. 154-161.
    • [85] D. Zachhuber, T. Grill, O. Polacek, M. Tscheligi, Contextual wizard of oz, in: Ambient Intelligence, Springer, 2012, pp. 224-239.
    • [86] B. Desmet, J. Vallejos, P. Costanza, W. De Meuter, T. DHondt, Contextoriented domain analysis, in: Modeling and Using Context, Springer, 2007, pp. 178-191.
    • [87] J. Choi, Context-driven requirements analysis, in: Computational Science and Its Applications-ICCSA 2007, Springer, 2007, pp. 739-748.
    • [88] J. Choi, Y. Lee, Use-case driven requirements analysis for context-aware systems, in: Computer Applications for Bio-technology, Multimedia, and Ubiquitous City, Springer, 2012, pp. 202-209.
    • [89] T. Ruiz-Lo´ pez, C. Rodr´ıguez-Dom´ınguez, M. J. Rodr´ıguez, S. F. Ochoa, J. L. Garrido, Context-aware self-adaptations: From requirements specification to code generation, in: Ubiquitous Computing and Ambient Intelligence. Context-Awareness and Context-Driven Interaction, Springer, 2013, pp. 46-53.
    • [90] W. Sitou, B. Spanfelner, Towards requirements engineering for context adaptive systems, in: Computer Software and Applications Conference, 2007. COMPSAC 2007. 31st Annual International, Vol. 2, IEEE, 2007, pp. 593-600.
    • [91] A. Finkelstein, A. Savigni, A framework for requirements engineering for context-aware services, in: In Proc. of 1 st International Workshop From Software Requirements to Architectures (STRAW), 2001, pp. 200-1.
    • [92] K. Oyama, H. Jaygarl, J. Xia, C. K. Chang, A. Takeuchi, H. Fujimoto, Requirements analysis using feedback from context awareness systems, in: Computer Software and Applications, 2008. COMPSAC'08. 32nd Annual IEEE International, IEEE, 2008, pp. 625-630.
    • [93] L. Baresi, L. Pasquale, P. Spoletini, Fuzzy goals for requirements-driven adaptation, in: Requirements Engineering Conference (RE), 2010 18th IEEE International, IEEE, 2010, pp. 125-134.
    • [94] S. H. Siadat, M. Song, Understanding requirement engineering for context-aware service-based applications, Journal of Software Engineering and Applications 5 (8) (2012) 536-544.
    • [95] D. Preuveneers, P. Novais, A survey of software engineering best practices for the development of smart applications in ambient intelligence, Journal of Ambient Intelligence and Smart Environments 4 (3) (2012) 149-162.
    • [96] J. S. Bauer, M. W. Newman, J. A. Kientz, What designers talk about when they talk about context, Human-Computer Interaction 29 (5-6) (2014) 420-450.
    • [97] T. Winograd, Architectures for context, Human-Computer Interaction 16 (2) (2001) 401-419.
    • [98] H. Chen, An intelligent broker architecture for pervasive context-aware systems, Ph.D. thesis, University of Maryland (2004).
    • [99] M. Baldauf, S. Dustdar, F. Rosenberg, A survey on context-aware systems, International Journal of Ad Hoc and Ubiquitous Computing 2 (4) (2007) 263-277.
    • [100] R. Taylor, N. Medvidovic, E. Dashofy, Software Architecture: Foundations, Theory, and Practice, Wiley, 2009.
    • [101] P. D. Costa, L. F. Pires, M. van Sinderen, Architectural patterns for context-aware services platforms, in: Ubiquitous Computing, Proceedings of the 2nd International Workshop on Ubiquitous Computing, IWUC 2005, In conjunction with ICEIS 2005, Miami, USA, May 2005, 2005, pp. 3-18.
    • [102] K. E. Kjaer, A survey of context-aware middleware, in: Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering, ACTA Press, 2007, pp. 148-155.
    • [103] K. Henricksen, J. Indulska, T. McFadden, S. Balasubramaniam, Middleware for distributed context-aware systems, in: On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE, Springer, 2005, pp. 846-863.
    • [104] Y. Mor, N. Winters, Design approaches in technology-enhanced learning, Interactive Learning Environments 15 (1) (2007) 61-75.
    • [105] G. Salvaneschi, C. Ghezzi, M. Pradella, Context-oriented programming: A software engineering perspective, Journal of Systems and Software 85 (8) (2012) 1801-1817.
    • [106] A. J. Ramirez, B. H. Cheng, Design patterns for developing dynamically adaptive systems, in: Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, ACM, 2010, pp. 49-58.
    • [107] E. S. Chung, J. I. Hong, J. Lin, M. K. Prabaker, J. A. Landay, A. L. Liu, Development and evaluation of emerging design patterns for ubiquitous computing, in: Proceedings of the 5th conference on Designing interactive systems: processes, practices, methods, and techniques, ACM, 2004, pp. 233-242.
    • [108] J. A. Landay, G. Borriello, Design patterns for ubiquitous computing, Computer 36 (8) (2003) 93-95.
    • [109] G. Rossi, S. Gordillo, F. Lyardet, Design patterns for context-aware adaptation, in: Applications and the Internet Workshops, 2005. Saint Workshops 2005. The 2005 Symposium on, IEEE, 2005, pp. 170-173.
    • [110] O. Riva, C. Di Flora, S. Russo, K. Raatikainen, Unearthing design patterns to support context-awareness, in: Pervasive Computing and Communications Workshops, 2006. PerCom Workshops 2006. Fourth Annual IEEE International Conference on, IEEE, 2006, pp. 5-pp.
    • [111] E. W. Dijkstra, The humble programmer, Communications of the ACM 15 (10) (1972) 859-866.
    • [112] J. C. Augusto, Increasing reliability in the development of intelligent environments, in: Intelligent Environments 2009: Proceedings of the 5th International Conference on Intelligent Environments, Barcelona 2009, Vol. 2, IOS Press, 2009, p. 134.
    • [113] J. C. Augusto, H. Zheng, M. Mulvenna, H. Wang, W. Carswell, P. Jeffers, Design and modelling of the nocturnal aal care system, in: Ambient Intelligence-Software and Applications, Springer, 2011, pp. 109-116.
    • [114] G. J. Holzmann, The model checker spin, IEEE Transactions on software engineering 23 (5) (1997) 279-295.
    • [115] R. Gerth, Concise promela reference, 1997, URL http://cm. bell-labs. com/cm/cs/what/spin/Man/Quick. html.
    • [116] A. Pnueli, The temporal logic of programs, in: Foundations of Computer Science, 1977., 18th Annual Symposium on, IEEE, 1977, pp. 46-57.
    • [117] J. C. Augusto, M. J. Hornos, Designing more reliable mas-based ambient intelligence systems., in: T. Bosse (Ed.), Agents and Ambient Intelligence, Vol. 12 of Ambient Intelligence and Smart Environments, IOS Press, 2012, pp. 65-90.
    • [118] J. C. Augusto, M. J. Hornos, Software simulation and verification to increase the reliability of intelligent environments, Advances in Engineering Software 58 (2013) 18-34.
    • [119] D. Preuveneers, Y. Berbers, Consistency in context-aware behavior: a model checking approach., in: Intelligent Environments (Workshops), 2012, pp. 401-412.
    • [120] L. DErrico, M. Loreti, Context aware specification and verification of distributed systems, in: Trustworthy Global Computing, Springer, 2012, pp. 142-159.
    • [121] R. De Nicola, G. L. Ferrari, R. Pugliese, Klaim: A kernel language for agents interaction and mobility, Software Engineering, IEEE Transactions on 24 (5) (1998) 315-330.
    • [122] Y. Liu, C. Xu, S. Cheung, Afchecker: Effective model checking for context-aware adaptive applications, Journal of Systems and Software 86 (3) (2013) 854-867.
    • [123] M. Sama, S. Elbaum, F. Raimondi, D. S. Rosenblum, Z. Wang, Contextaware adaptive applications: Fault patterns and their automated identification, Software Engineering, IEEE Transactions on 36 (5) (2010) 644-661.
    • [124] R. De Nicola, M. Loreti, Momo: A modal logic for reasoning about mobility, in: Formal Methods for Components and Objects, Springer, 2005, pp. 95-119.
    • [125] J. Park, M. Moon, S. Hwang, K. Yeom, Cass: A context-aware simulation system for smart home, in: Software Engineering Research, Management & Applications, 2007. SERA 2007. 5th ACIS International Conference on, IEEE, 2007, pp. 461-467.
    • [126] Z. Wang, S. Elbaum, D. S. Rosenblum, Automated generation of context-aware tests, in: Software Engineering, 2007. ICSE 2007. 29th International Conference on, IEEE, 2007, pp. 406-415.
    • [127] B. Bertran, J. Bruneau, D. Cassou, N. Loriant, E. Balland, C. Consel, Diasuite: A tool suite to develop sense/compute/control applications, Science of Computer Programming 79 (2014) 39-51.
    • [128] J. Bruneau, W. Jouve, C. Consel, Diasim: A parameterized simulator for pervasive computing applications, in: Mobile and Ubiquitous Systems: Networking & Services, MobiQuitous, 2009. MobiQuitous' 09. 6th Annual International, IEEE, 2009, pp. 1-10.
    • [129] L. Yu, W. T. Tsai, Y. Jiang, J. Gao, Generating test cases for contextaware applications using bigraphs, in: Software Security and Reliability, 2014 Eighth International Conference on, IEEE, 2014, pp. 137-146.
    • [130] T. Strang, C. Linnhoff-Popien, A context modeling survey, in: In: Workshop on Advanced Context Modelling, Reasoning and Management, UbiComp 2004 - The Sixth International Conference on Ubiquitous Computing, Nottingham/England, Springer-Verlag, 2004, pp. 31-41.
    • [131] C. Bolchini, C. A. Curino, E. Quintarelli, F. A. Schreiber, L. Tanca, A data-oriented survey of context models, SIGMOD Rec. 36 (4) (2007) 19-26.
    • [132] J. Indulska, P. Sutton, Location management in pervasive systems, in: Proceedings of the Australasian information security workshop conference on ACSW frontiers 2003-Volume 21, Australian Computer Society, Inc., 2003, pp. 143-151.
    • [133] O. M. Shehory, A. Sturm, A brief introduction to agents, in: Agentoriented software engineering: reflections on architectures, methodologies, languages, and frameworks, Springer, 2014, pp. 3-3.
    • [134] A. R. d. M. Neves, A´. M. G. Carvalho, C. G. Ralha, Agent-based architecture for context-aware and personalized event recommendation, Expert Systems with Applications 41 (2) (2014) 563-573.
    • [135] P. K. Murukannaiah, M. P. Singh, Xipho: Extending tropos to engineer context-aware personal agents, in: Proceedings of the 2014 international conference on Autonomous agents and multi-agent systems, International Foundation for Autonomous Agents and Multiagent Systems, 2014, pp. 309-316.
    • [136] G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J.-M. Loingtier, J. Irwin, Aspect-oriented programming, Springer, 1997.
    • [137] E´. Tanter, K. Gybels, M. Denker, A. Bergel, Context-aware aspects, in: Software Composition, Springer, 2006, pp. 227-242.
    • [138] F. Dantas, T. Batista, N. Cacho, Towards aspect-oriented programming for context-aware systems: A comparative study, in: Proceedings of the 1st International Workshop on Software Engineering for Pervasive Computing Applications, Systems, and Environments, IEEE Computer Society, 2007, p. 4.
    • [139] L. Fuentes, N. Ga´mez, P. Sa´nchez, Aspect-oriented design and implementation of context-aware pervasive applications, ISSE 5 (1) (2009) 79-93.
    • [140] L. Fuentes, N. Gamez, P. Sanchez, Aspect-oriented executable uml models for context-aware pervasive applications, in: Model-based Methodologies for Pervasive and Embedded Software, 2008. MOMPES 2008. 5th International Workshop on, IEEE, 2008, pp. 34-43.
    • [141] R. Hirschfeld, P. Costanza, O. Nierstrasz, Context-oriented programming, Journal of Object Technology, ETH Zurich, 7 (3) (2008) 125-151.
    • [142] M. Appeltauer, R. Hirschfeld, M. Haupt, J. Lincke, M. Perscheid, A comparison of context-oriented programming languages, in: International Workshop on Context-Oriented Programming, ACM, 2009, p. 6.
    • [143] A. Fortier, N. Canibano, J. Grigera, G. Rossi, S. Gordillo, An objectoriented approach for context-aware applications, in: Advances in Smalltalk, Springer, 2007, pp. 23-46.
    • [144] D. Graff, M. Werner, H. Parzyjegla, J. Richling, G. Mu¨ hl, An objectoriented and context-aware approach for distributed mobile applications, in: Architecture of Computing Systems (ARCS), 2010 23rd International Conference on, VDE, 2010, pp. 1-10.
    • [145] J. L. Barbosa, A. C. Yamin, P. Vargas, I. Augustin, C. F. Geyer, Holoparadigm: a multiparadigm model oriented to development of distributed systems, in: Parallel and Distributed Systems, 2002. Proceedings. Ninth International Conference on, IEEE, 2002, pp. 165-170.
    • [146] A. C. Yamin, J. V. Barbosa, I. Augustin, L. C. da Silva, R. Real, C. Geyer, G. Cavalheiro, Towards merging context-aware, mobile and grid computing, International Journal of High Performance Computing Applications 17 (2) (2003) 191-203.
    • [147] J. Barbosa, F. Dillenburg, G. Lermen, A. Garzao, C. Costa, J. Rosa, Towards a programming model for context-aware applications, Computer Languages, Systems & Structures 38 (3) (2012) 199-213.
    • [148] J. Miller, J. Mukerji, Mda guide version 1.0.1, Tech. rep., Object Management Group (OMG) (2003).
    • [149] B. Selic, The pragmatics of model-driven development, IEEE software 20 (5) (2003) 19-25.
    • [150] Q. Z. Sheng, B. Benatallah, Contextuml: a uml-based modeling language for model-driven development of context-aware web services, in: Mobile Business, 2005. ICMB 2005. International Conference on, IEEE, 2005, pp. 206-212.
    • [151] J. Rumbaugh, I. Jacobson, G. Booch, The Unified Modeling Language Reference Manual, Addison-Wesley Professional, 2005.
    • [152] E. Serral, P. Valderas, V. Pelechano, A model driven development method for developing context-aware pervasive systems, in: Ubiquitous Intelligence and Computing, Springer, 2008, pp. 662-676.
    • [153] E. Serral, P. Valderas, V. Pelechano, Towards the model driven development of context-aware pervasive systems, Pervasive and Mobile Computing 6 (2) (2010) 254-280.
    • [154] R. Tesoriero, J. A. Gallud, M. D. Lozano, V. M. R. Penichet, Cauce: Model-driven development of context-aware applications for ubiquitous computing environments., Journal of Universal Computer Science 16 (15) (2010) 2111-2138.
    • [155] A. Sindico, V. Grassi, Model driven development of context aware software systems, in: International workshop on context-oriented programming, ACM, 2009, p. 7.
    • [156] J. R. Hoyos, J. Garc´ıa-Molina, J. A. Bot´ıa, Mlcontext: a contextmodeling language for context-aware systems, Electronic Communications of the EASST 28 (2010).
    • [157] S. Apel, C. Ka¨stner, An overview of feature-oriented software development., Journal of Object Technology 8 (5) (2009) 49-84.
    • [158] N. Ubayashi, S. Nakajima, Context-aware feature-oriented modeling with an aspect extension of VDM, in: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, 2007, pp. 1269-1274.
    • [159] P. Fernandes, C. Werner, L. G. P. Murta, Feature modeling for contextaware software product lines., in: The 20th International Conference on Software Engineering and Knowledge Engineering (SEKE), 2008, pp. 758-763.
    • [160] P. Fernandes, C. Werner, E. Teixeira, An approach for feature modeling of context-aware software product line., Journal of Universal Computer Science (JUCS) 17 (5) (2011) 807-829.
    • [161] C. Parra, X. Blanc, L. Duchien, Context awareness for dynamic serviceoriented product lines, in: Proceedings of the 13th International Software Product Line Conference, Carnegie Mellon University, 2009, pp. 131-140.
    • [162] F. G. Marinho, R. Andrade, C. Werner, W. Viana, M. E. Maia, L. S. Rocha, E. Teixeira, V. L. Dantas, F. Lima, S. Aguiar, et al., Mobiline: A nested software product line for the domain of mobile and contextaware applications, Science of Computer Programming 78 (12) (2013) 2381-2398.
    • [163] F. G. Marinho, R. M. Andrade, C. Werner, A verification mechanism of feature models for mobile and context-aware software product lines, in: Software Components, Architectures and Reuse (SBCARS), 2011 Fifth Brazilian Symposium on, IEEE, 2011, pp. 1-10.
    • [164] D. Kramer, S. Oussena, P. Komisarczuk, T. Clark, Using documentoriented guis in dynamic software product lines, in: ACM SIGPLAN Notices, Vol. 49, ACM, 2013, pp. 85-94.
    • [165] D. Kramer, A. Kocurova, S. Oussena, T. Clark, P. Komisarczuk, An extensible, self contained, layered approach to context acquisition, in: Proceedings of the Third International Workshop on Middleware for Pervasive Mobile and Embedded Computing, ACM, 2011, p. 6.
    • [166] G. M. Kapitsaki, G. N. Prezerakos, N. D. Tselikas, I. S. Venieris, Context-aware service engineering: A survey, Journal of Systems and Software 82 (8) (2009) 1285-1297.
    • [167] D. B. Abeywickrama, Context-aware services engineering for serviceoriented architectures, in: Web Services Foundations, Springer, 2014, pp. 291-317.
    • [168] B. P. Lientz, E. B. Swanson, Software maintenance management, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1980.
    • [169] D. Moos, S. Bader, T. Kirste, From intelligibility to debuggability in context-aware systems, in: KI 2014: Advances in Artificial Intelligence, Springer, 2014, pp. 219-224.
    • [170] D. Kulkarni, A. Tripathi, A framework for programming robust contextaware applications, Software Engineering, IEEE Transactions on 36 (2) (2010) 184-197.
    • [171] I. Augustin, A. C. Yamin, L. C. da Silva, R. A. Real, G. Frainer, C. F. Geyer, Isamadapt: abstractions and tools for designing general-purpose pervasive applications, Software: Practice and Experience 36 (11-12) (2006) 1231-1256.
    • [172] K. Henricksen, J. Indulska, Developing context-aware pervasive computing applications: Models and approach, Pervasive and mobile computing 2 (1) (2006) 37-64.
    • [173] J. Floch, C. Fra`, R. Fricke, K. Geihs, M. Wagner, J. L. Gallardo, E. S. Cantero, S. Mehlhase, N. Paspallis, H. Rahnama, P. A. Ruiz, U. Scholz, Playing MUSIC - building context-aware and self-adaptive mobile applications, Softw., Pract. Exper. 43 (3) (2013) 359-388.
    • [174] B. Guo, D. Zhang, M. Imai, Toward a cooperative programming framework for context-aware applications, Personal and Ubiquitous Computing 15 (3) (2011) 221-233.
    • [175] A. Achilleos, K. Yang, N. Georgalas, Context modelling and a contextaware framework for pervasive service creation: A model-driven approach, Pervasive and Mobile Computing 6 (2) (2010) 281-296.
    • [176] T. Gross, Towards a new human-centred computing methodology for cooperative ambient intelligence, Journal of Ambient Intelligence and Humanized Computing 1 (1) (2010) 31-42.
    • [177] L. Tang, Z. Yu, H. Wang, X. Zhou, Z. Duan, Methodology and tools for pervasive application development, International Journal of Distributed Sensor Networks 2014.
    • [178] A. Moon, H. Kim, H. Kim, S. Lee, Context-aware active services in ubiquitous computing environments, ETRI journal 29 (2) (2007) 169- 178.
    • [179] A. Agarwal, J. Miller, J. Eastep, D. Wentziaff, H. Kasture, Self-aware computing, Tech. rep., DTIC Document (2009).
    • [180] P. Markopoulos, W. Mackay, Awareness systems: Advances in theory, methodology and design, Springer Science & Business Media, 2009.
    • [181] P. Dourish, Where the action is: the foundations of embodied interaction, Massachusetts Institute of Technology Press (Paperback edition), 2004.
  • No related research data.
  • No similar publications.

Share - Bookmark

Cite this article