{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,7,20]],"date-time":"2022-07-20T14:26:14Z","timestamp":1658327174381},"reference-count":46,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2016,4,13]],"date-time":"2016-04-13T00:00:00Z","timestamp":1460505600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Reliable Intell Environ"],"published-print":{"date-parts":[[2016,7]]},"DOI":"10.1007\/s40860-016-0019-5","type":"journal-article","created":{"date-parts":[[2016,4,14]],"date-time":"2016-04-14T11:28:20Z","timestamp":1460633300000},"page":"53-73","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Semantic analysis and verification of context-driven adaptive applications in intelligent environments"],"prefix":"10.1007","volume":"2","author":[{"given":"Davy","family":"Preuveneers","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wouter","family":"Joosen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,4,13]]},"reference":[{"key":"19_CR1","volume-title":"Software change impact analysis","author":"RS Arnold","year":"1996","unstructured":"Arnold RS (1996) Software change impact analysis. IEEE Computer Society Press, Los Alamitos"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Augusto J, McCullagh P (2011) Safety considerations in the development of intelligent environments. In: Novais P, Preuveneers D, Corchado J (eds) ISAmI. Advances in intelligent and soft computing, vol\u00a092. Springer, New York, pp. 197\u2013204","DOI":"10.1007\/978-3-642-19937-0_25"},{"key":"19_CR3","doi-asserted-by":"publisher","unstructured":"Augusto JC, Hornos MJ (2012) Using simulation and verification to inform the development of intelligent environments. In: Bot\u00eda et\u00a0al. [8], pp 413\u2013424. doi: 10.3233\/978-1-61499-080-2-413","DOI":"10.3233\/978-1-61499-080-2-413"},{"key":"19_CR4","doi-asserted-by":"publisher","unstructured":"Augusto JC, Hornos MJ (2013) Software simulation and verification to increase the reliability of intelligent environments. Adv Eng Softw 58:18\u201334. doi: 10.1016\/j.advengsoft.2012.12.004 . http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0965997813000033","DOI":"10.1016\/j.advengsoft.2012.12.004"},{"key":"19_CR5","doi-asserted-by":"publisher","unstructured":"Bakhouya M, Campbell R, Coronato A, Pietro GD, Ranganathan A (2012) Introduction to special section on formal methods in pervasive computing. ACM Trans Auton Adapt Syst 7(1):6:1\u20136:9. doi: 10.1145\/2168260.2168266","DOI":"10.1145\/2168260.2168266"},{"issue":"5","key":"19_CR6","doi-asserted-by":"publisher","first-page":"541","DOI":"10.3233\/AIS-140274","volume":"6","author":"ZW Bhatti","year":"2014","unstructured":"Bhatti ZW, Naqvi NZ, Ramakrishnan A, Preuveneers D, Berbers Y (2014) Learning distributed deployment and configuration trade-offs for context-aware applications in intelligent environments. JAISE 6(5):541\u2013559. doi: 10.3233\/AIS-140274","journal-title":"JAISE"},{"key":"19_CR7","doi-asserted-by":"publisher","unstructured":"Bonino D, Corno F (2008) Dogont\u2014ontology modeling for intelligent domotic environments. In: Sheth A, Staab S, Dean M, Paolucci M, Maynard D, Finin T, Thirunarayan K (eds) The semantic web\u2014ISWC 2008, Lecture notes in computer science, vol 5318. Springer, Berlin Heidelberg, pp 790\u2013803. doi: 10.1007\/978-3-540-88564-1_51","DOI":"10.1007\/978-3-540-88564-1_51"},{"key":"19_CR8","unstructured":"Bot\u00eda JA, Schmidtke HR, Nakashima T, Al-Mulla MR, Augusto JC, Aztiria A, Ball M, Callaghan V, Cook DJ, Dooley J, O\u2019Donoghue J, Egerton S, Haya PA, Hornos MJ, Morales E, Orozco JC, Portillo-Rodr\u00edguez O, Gonz\u00e1lez AR, Sandoval O, Tripicchio P, Wang M, Zamudio V (eds) (2012) Workshop proceedings of the 8th international conference on intelligent environments, Guanajuato, M\u00e9xico, June 26\u201329, 2012, ambient intelligence and smart environments, vol 13. IOS Press. http:\/\/www.booksonline.iospress.nl\/Content\/View.aspx?piid=30661"},{"key":"19_CR9","doi-asserted-by":"publisher","unstructured":"Briand L, Labiche Y, O\u2019Sullivan L (2003) Impact analysis and change management of uml models. In: Proceedings of the international conference on software maintenance, 2003. ICSM 2003, pp 256\u2013265. doi: 10.1109\/ICSM.2003.1235428","DOI":"10.1109\/ICSM.2003.1235428"},{"key":"19_CR10","unstructured":"Cook R (2000) How complex systems fail. Tech. rep. Cognitive technologies Laboratory, University of Chicago. http:\/\/www.ctlab.org\/documents\/HowComplexSystemsFail.pdf"},{"key":"19_CR11","doi-asserted-by":"publisher","unstructured":"Coopman T, Theetaert W, Preuveneers D, Berbers Y (2010) A user-oriented and context-aware service orchestration framework for dynamic home automation systems. In: Augusto JC, Corchado J, Novais P, Analide C (eds) Ambient intelligence and future trends-international symposium on ambient intelligence (ISAmI 2010), advances in soft computing, vol\u00a072. Springer, Berlin Heidelberg, pp 63\u201370. doi: 10.1007\/978-3-642-13268-1_8","DOI":"10.1007\/978-3-642-13268-1_8"},{"key":"19_CR12","doi-asserted-by":"publisher","unstructured":"Coronato A, De Pietro G (2011) Formal specification and verification of ubiquitous and pervasive systems. ACM Trans Auton Adapt Syst 6(1):9:1\u20139:6. doi: 10.1145\/1921641.1921650","DOI":"10.1145\/1921641.1921650"},{"key":"19_CR13","doi-asserted-by":"publisher","unstructured":"German DM, Hassan AE, Robles G (2008) Change impact graphs: determining the impact of prior code changes. Inf Softw Technol 51(10):1394\u20131408. doi: 10.1016\/j.infsof.2009.04.018 . http:\/\/www.sciencedirect.com\/science\/article\/pii\/S095058490900069X (Source Code Analysis and Manipulation, (SCAM) 2008)","DOI":"10.1016\/j.infsof.2009.04.018"},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"Gethers M, Dit B, Kagdi H, Poshyvanyk D (2012) Integrated impact analysis for managing software changes. In: Proceedings of the 34th international conference on software engineering, ICSE \u201912. IEEE Press, Piscataway. http:\/\/dl.acm.org\/citation.cfm?id=2337223.2337274","DOI":"10.1109\/ICSE.2012.6227172"},{"key":"19_CR15","doi-asserted-by":"publisher","unstructured":"Glimm B, Horrocks I, Motik B, Stoilos G, Wang Z (2014) Hermit: an OWL 2 reasoner. J Autom Reason 53(3):245\u2013269. doi: 10.1007\/s10817-014-9305-1","DOI":"10.1007\/s10817-014-9305-1"},{"issue":"4","key":"19_CR16","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1016\/j.websem.2008.05.001","volume":"6","author":"BC Grau","year":"2008","unstructured":"Grau BC, Horrocks I, Motik B, Parsia B, Patel-Schneider P, Sattler U (2008) Owl 2: the next step for owl. Web Semant 6(4):309\u2013322. doi: 10.1016\/j.websem.2008.05.001","journal-title":"Web Semant"},{"key":"19_CR17","doi-asserted-by":"publisher","unstructured":"Hassan M, Deruelle L, Ahmad A, Basson H (2011) Towards a better change impact analysis in architecture description languages. In: Maciaszek L, Loucopoulos P (eds) Evaluation of novel approaches to software engineering. Communications in computer and information science, vol 230. Springer, Berlin Heidelberg, pp 136\u2013147. doi: 10.1007\/978-3-642-23391-3_10","DOI":"10.1007\/978-3-642-23391-3_10"},{"key":"19_CR18","doi-asserted-by":"publisher","unstructured":"Holzmann G (1997) The model checker SPIN. IEEE Trans Softw Eng 23(5):279\u2013295. doi: 10.1109\/32.588521","DOI":"10.1109\/32.588521"},{"issue":"4","key":"19_CR19","doi-asserted-by":"crossref","first-page":"822","DOI":"10.1587\/transinf.E93.D.822","volume":"93\u2013D","author":"H Igaki","year":"2010","unstructured":"Igaki H, Nakamura M (2010) Modeling and detecting feature interactions among integrated services of home network systems. IEICE Trans 93\u2013D(4):822\u2013833","journal-title":"IEICE Trans"},{"key":"19_CR20","unstructured":"ISO EN 7730-2005 (2005) Ergonomics of the thermal environment\u2014analytical determination and interpretation of thermal comfort using calculation of the pmv and ppd indices and local thermal comfort criteria. Tech Rep"},{"issue":"2","key":"19_CR21","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1145\/505145.505149","volume":"11","author":"D Jackson","year":"2002","unstructured":"Jackson D (2002) Alloy: a lightweight object modelling notation. ACM Trans Softw Eng Methodol 11(2):256\u2013290. doi: 10.1145\/505145.505149","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"19_CR22","doi-asserted-by":"publisher","unstructured":"Kr\u00f6tzsch M (2012) OWL 2 profiles: an introduction to lightweight ontology languages. In: Eiter T, Krennwallner T (eds) Reasoning web. Semantic technologies for advanced query answering\u2014Proceedings of 8th International Summer School 2012, Vienna, Austria, September 3\u20138, 2012. Lecture Notes in Computer Science, vol 7487. Springer, New York, pp 112\u2013183. doi: 10.1007\/978-3-642-33158-9_4","DOI":"10.1007\/978-3-642-33158-9_4"},{"key":"19_CR23","doi-asserted-by":"crossref","unstructured":"Leelaprute P, Matsuo T, Tsuchiya T, Kikuno T (2008) Detecting feature interactions in home appliance networks. In: SNPD. IEEE Computer Society, pp 895\u2013903","DOI":"10.1109\/SNPD.2008.158"},{"key":"19_CR24","doi-asserted-by":"publisher","unstructured":"Lehnert S (2011) A taxonomy for software change impact analysis. In: Proceedings of the 12th international workshop on principles of software evolution and the 7th annual ERCIM workshop on software evolution, IWPSE-EVOL \u201911. ACM, New York, pp 41\u201350. doi: 10.1145\/2024445.2024454","DOI":"10.1145\/2024445.2024454"},{"key":"19_CR25","unstructured":"Lindsay B (2004) Designing for failure may be the key to success\u2014interview by Steve Bourne. ACM Queue 2(8)"},{"key":"19_CR26","doi-asserted-by":"crossref","unstructured":"Lock S, Kotonya G (1999) An integrated, probabilistic framework for requirement change impact analysis. Australas J Inf Syst 6(2). http:\/\/dl.acs.org.au\/index.php\/ajis\/article\/view\/292","DOI":"10.3127\/ajis.v6i2.292"},{"key":"19_CR27","doi-asserted-by":"publisher","unstructured":"Naqvi NZ, Moens K, Ramakrishnan A, Preuveneers D, Hughes D, Berbers Y (2015) To cloud or not to cloud: a context-aware deployment perspective of augmented reality mobile applications. In: Wainwright RL, Corchado JM, Bechini A, Hong J (eds) Proceedings of the 30th annual ACM symposium on applied computing, Salamanca, Spain, April 13\u201317. ACM, pp 555\u2013562. doi: 10.1145\/2695664.2695880","DOI":"10.1145\/2695664.2695880"},{"key":"19_CR28","doi-asserted-by":"publisher","unstructured":"OConnor M, Das A (2011) A method for representing and querying temporal information in owl. In: Fred A, Filipe J, Gamboa H (eds) Biomedical engineering systems and technologies. Communications in computer and information science, vol 127. Springer, Berlin Heidelberg, pp 97\u2013110. doi: 10.1007\/978-3-642-18472-7_8","DOI":"10.1007\/978-3-642-18472-7_8"},{"key":"19_CR29","unstructured":"Pauty J, Preuveneers D, Rigole P, Berbers Y (2006) Research challenges in mobile and context-aware service development. In: Workshop on research challenges in mobile and context-aware service development, FRCSS 2006, pp 141\u2013148. https:\/\/lirias.kuleuven.be\/handle\/123456789\/133340"},{"key":"19_CR30","doi-asserted-by":"publisher","unstructured":"Pirsiavash H, Ramanan D (2012) Detecting activities of daily living in first-person camera views. In: 2012 IEEE conference on computer vision and pattern recognition, Providence, RI, USA, June 16\u201321, 2012. IEEE Computer Society, pp 2847\u20132854. doi: 10.1109\/CVPR.2012.6248010","DOI":"10.1109\/CVPR.2012.6248010"},{"key":"19_CR31","doi-asserted-by":"publisher","unstructured":"Preuveneers D, Berbers Y (2005) Adaptive context management using a component-based approach. In: Proceedings of the 5th IFIP WG 6.1 international conference on distributed applications and interoperable systems, DAIS\u201905. Springer, Berlin, Heidelberg, pp 14\u201326. doi: 10.1007\/11498094_2","DOI":"10.1007\/11498094_2"},{"key":"19_CR32","unstructured":"Preuveneers D, Berbers Y (2005) Semantic and syntactic modeling of component-based services for context-aware pervasive systems using owl-s. In: Proceedings of first international workshop on managing context information in mobile and pervasive environments, pp 30\u201339. https:\/\/lirias.kuleuven.be\/handle\/123456789\/133327"},{"key":"19_CR33","doi-asserted-by":"publisher","unstructured":"Preuveneers D, Berbers Y (2006) Multi-dimensional dependency and conflict resolution for self-adaptable context-aware systems. In: Proceedings of the international conference on autonomic and autonomous systems, ICAS \u201906. IEEE Computer Society, Washington, DC, p 36. doi: 10.1109\/ICAS.2006.37","DOI":"10.1109\/ICAS.2006.37"},{"key":"19_CR34","doi-asserted-by":"publisher","unstructured":"Preuveneers D, Berbers Y (2007) Towards context-aware and resource-driven self-adaptation for mobile handheld applications. In: Proceedings of the 2007 ACM symposium on applied computing, SAC \u201907. ACM, New York, pp 1165\u20131170. doi: 10.1145\/1244002.1244255","DOI":"10.1145\/1244002.1244255"},{"issue":"2","key":"19_CR35","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1109\/MIS.2008.25","volume":"23","author":"D Preuveneers","year":"2008","unstructured":"Preuveneers D, Berbers Y (2008) Encoding semantic awareness in resource-constrained devices. IEEE Intell Syst 23(2):26\u201333. doi: 10.1109\/MIS.2008.25","journal-title":"IEEE Intell Syst"},{"key":"19_CR36","doi-asserted-by":"publisher","unstructured":"Preuveneers D, Berbers Y (2010) $$\\mu $$ \u03bc c-semps: energy-efficient semantic publish\/subscribe for battery-powered systems. In: S\u00e9nac\u00a0P, Ott M, Seneviratne A (eds) Mobile and ubiquitous systems: computing, networking, and services\u20147th international ICST conference, MobiQuitous 2010, Sydney, Australia, December 6\u20139, 2010, Lecture notes of the institute for computer sciences, social informatics and telecommunications engineering, vol\u00a073. Springer, New York, pp 39\u201350. doi: 10.1007\/978-3-642-29154-8_4 (revised selected papers)","DOI":"10.1007\/978-3-642-29154-8_4"},{"key":"19_CR37","doi-asserted-by":"publisher","unstructured":"Preuveneers D, Berbers Y (2010) Context-driven migration and diffusion of pervasive services on the osgi framework. Int J Auton Adapt Commun Syst 3(1):3\u201322. doi: 10.1504\/IJAACS.2010.030309","DOI":"10.1504\/IJAACS.2010.030309"},{"key":"19_CR38","doi-asserted-by":"publisher","unstructured":"Preuveneers D, Berbers Y (2012) Consistency in context-aware behavior: a model checking approach. In: Bot\u00eda et\u00a0al.[8], pp 401\u2013412. doi: 10.3233\/978-1-61499-080-2-401","DOI":"10.3233\/978-1-61499-080-2-401"},{"key":"19_CR39","doi-asserted-by":"publisher","unstructured":"Preuveneers D, Berbers Y, Joosen W (2016) SAMURAI: a batch and streaming context architecture for large-scale intelligent applications and environments. JAISE 8(1):63\u201378. doi: 10.3233\/AIS-150357","DOI":"10.3233\/AIS-150357"},{"key":"19_CR40","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1007\/978-3-540-30473-9_15","volume-title":"Second European symposium on ambient intelligence, LNCS","author":"D Preuveneers","year":"2004","unstructured":"Preuveneers D, den Bergh JV, Wagelaar D, Georges A, Rigole P, Clerckx T, Berbers Y, Coninx K, Jonckers V, Bosschere KD (2004) Towards an extensible context ontology for ambient intelligence. In: Markopoulos P, Eggen B, Aarts E, Crowley JL (eds) Second European symposium on ambient intelligence, LNCS, vol 3295. Springer, Eindhoven, pp 148\u2013159"},{"key":"19_CR41","doi-asserted-by":"publisher","unstructured":"Preuveneers D, Chen C, Ramakrishnan A, Feng M, Wang P, Berbers Y (2014) Design for failure: intelligent systems learning from their mistakes. In: Augusto JC, Zhang T (eds) Workshop proceedings of the 10th international conference on intelligent environments, Shanghai, China, June 30\u2013July 1, 2014. Ambient intelligence and smart environments, vol\u00a018. IOS Press, pp 171\u2013182. doi: 10.3233\/978-1-61499-411-4-171","DOI":"10.3233\/978-1-61499-411-4-171"},{"key":"19_CR42","doi-asserted-by":"publisher","unstructured":"Preuveneers D, Joosen W (2015) Change impact analysis for context-aware applications in intelligent environments. In: Preuveneers D (ed) Workshop proceedings of the 11th international conference on intelligent environments, Prague, Czech Republic, July 15\u201317, 2015. Ambient intelligence and smart environments, vol\u00a019. IOS Press, pp 70\u201381. doi: 10.3233\/978-1-61499-530-2-70","DOI":"10.3233\/978-1-61499-530-2-70"},{"key":"19_CR43","doi-asserted-by":"crossref","unstructured":"Preuveneers D, Novais P (2012) A survey of software engineering best practices for the development of smart applications in ambient intelligence. J Ambient Intell Smart Environ 4(3):149\u2013162. http:\/\/dl.acm.org\/citation.cfm?id=2350776.2350779","DOI":"10.3233\/AIS-2012-0150"},{"key":"19_CR44","unstructured":"Preuveneers D, Vandewoude Y, Rigole P, Ayed D, Berbers Y (2006) Context-aware adaptation for component-based pervasive computing systems. In: Advances in pervasive computing 2006. Adjunct proceedings of the 4th international conference on pervasive computing, vol 207, pp 125\u2013128. https:\/\/lirias.kuleuven.be\/handle\/123456789\/133938"},{"key":"19_CR45","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-84800-261-6","volume-title":"Robust intelligent systems","author":"A Schuster","year":"2008","unstructured":"Schuster A (2008) Robust intelligent systems, 1st edn. Springer, New York","edition":"1"},{"key":"19_CR46","doi-asserted-by":"publisher","unstructured":"Tang A, Nicholson A, Jin Y, Han J (2007) Using Bayesian belief networks for change impact analysis in architecture design. J Syst Softw 80(1):127\u2013148. doi: 10.1016\/j.jss.2006.04.004","DOI":"10.1016\/j.jss.2006.04.004"}],"container-title":["Journal of Reliable Intelligent Environments"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s40860-016-0019-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s40860-016-0019-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s40860-016-0019-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,18]],"date-time":"2020-09-18T17:30:14Z","timestamp":1600450214000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s40860-016-0019-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,4,13]]},"references-count":46,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2016,7]]}},"alternative-id":["19"],"URL":"https:\/\/doi.org\/10.1007\/s40860-016-0019-5","relation":{},"ISSN":["2199-4668","2199-4676"],"issn-type":[{"value":"2199-4668","type":"print"},{"value":"2199-4676","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,4,13]]}}}