{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T02:41:55Z","timestamp":1743043315054,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319917634"},{"type":"electronic","value":"9783319917641"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-91764-1_8","type":"book-chapter","created":{"date-parts":[[2018,6,15]],"date-time":"2018-06-15T09:45:50Z","timestamp":1529055950000},"page":"93-105","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["QoS-Driven Self-adaptation for Critical IoT-Based Systems"],"prefix":"10.1007","author":[{"given":"Arthur","family":"Gatouillat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Youakim","family":"Badr","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bertrand","family":"Massot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,6,16]]},"reference":[{"key":"8_CR1","unstructured":"Zhao, M., Privat, G., Rutten, \u00c9., Alla, H.: Discrete control for the internet of things and smart environments. In: 8th International Workshop on Feedback Computing, San Jose, CA, USA, 25 June 2013"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-319-14112-1_15","volume-title":"AmI 2014","author":"M Zhao","year":"2014","unstructured":"Zhao, M., Privat, G., Rutten, E., Alla, H.: Discrete control for smart environments through a generic finite-state-models-based infrastructure. In: Aarts, E., et al. (eds.) AmI 2014. LNCS, vol. 8850, pp. 174\u2013190. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-319-14112-1_15"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-642-35813-5_11","volume-title":"Software Engineering for Self-Adaptive Systems II","author":"NM Villegas","year":"2013","unstructured":"Villegas, N.M., Tamura, G., M\u00fcller, H.A., Duchien, L., Casallas, R.: DYNAMICO: a reference model for governing control objectives and context relevance in self-adaptive software systems. In: de Lemos, R., Giese, H., M\u00fcller, H.A. (eds.) Software Engineering for Self-Adaptive Systems II. LNCS, vol. 7475, pp. 265\u2013293. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-35813-5_11"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Weyns, D., Malek, S., Andersson, J.: FORMS: a formal reference model for self-adaptation. In: Proceedings of the 7th International Conference on Autonomic Computing, pp. 205\u2013214 (2010)","DOI":"10.1145\/1809049.1809078"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Villegas, N.M., M\u00fcller, H.A., Tamura, G., Duchien, L., Casallas, R.: A framework for evaluating quality-driven self-adaptive software systems. In: Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp. 80\u201389 (2011)","DOI":"10.1145\/1988008.1988020"},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/j.autcon.2009.10.008","volume":"19","author":"D Bonino","year":"2010","unstructured":"Bonino, D., Corno, F.: Rule-based intelligence for domotic environments. Autom. Constr. 19, 183\u2013196 (2010)","journal-title":"Autom. Constr."},{"key":"8_CR7","doi-asserted-by":"publisher","first-page":"865","DOI":"10.1007\/s00779-013-0696-5","volume":"18","author":"B Yuan","year":"2014","unstructured":"Yuan, B., Herbert, J.: Context-aware hybrid reasoning framework for pervasive healthcare. Pers. Ubiquit. Comput. 18, 865\u2013881 (2014)","journal-title":"Pers. Ubiquit. Comput."},{"key":"8_CR8","unstructured":"Augusto, J.C., McCullagh, P., McClelland, V., Walkden, J.A.: Enhanced healthcare provision through assisted decision-making in a smart home environment. In: 2nd Workshop on Artificial Intelligence Techniques for Ambient Intelligence (2007)"},{"key":"8_CR9","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"JO Kephart","year":"2003","unstructured":"Kephart, J.O., Chess, D.M.: The vision of autonomic computing. Computer 36, 41\u201350 (2003)","journal-title":"Computer"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Angelopoulos, K., Papadopoulos, A.V., Silva Souza, V.E., Mylopoulos, J.: Model predictive control for software systems with CobRA. In: Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp. 35\u201346 (2016)","DOI":"10.1145\/2897053.2897054"},{"key":"8_CR11","doi-asserted-by":"publisher","first-page":"2707","DOI":"10.1016\/j.jss.2012.04.079","volume":"85","author":"X Peng","year":"2012","unstructured":"Peng, X., Chen, B., Yu, Y., Zhao, W.: Self-tuning of software systems through dynamic quality tradeoff and value-based feedback control loop. J. Syst. Softw. 85, 2707\u20132719 (2012)","journal-title":"J. Syst. Softw."},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Arcaini, P., Riccobene, E., Scandurra, P.: Modeling and analyzing MAPE-K feedback loops for self-adaptation. In: Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp. 13\u201323 (2015)","DOI":"10.1109\/SEAMS.2015.10"},{"key":"8_CR13","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1023\/A:1008311720696","volume":"10","author":"H Marchand","year":"2000","unstructured":"Marchand, H., Bournai, P., Borgne, M.L., Guernic, P.L.: Synthesis of discrete-event controllers based on the signal environment. Discret. Event Dyn. Syst. 10, 325\u2013346 (2000)","journal-title":"Discret. Event Dyn. Syst."},{"key":"8_CR14","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1145\/1755951.1755898","volume":"45","author":"G Delaval","year":"2010","unstructured":"Delaval, G., Marchand, H., Rutten, E.: Contracts for modular discrete controller synthesis. ACM Sigplan Not. 45, 57\u201366 (2010)","journal-title":"ACM Sigplan Not."},{"key":"8_CR15","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s10626-013-0163-5","volume":"23","author":"G Delaval","year":"2013","unstructured":"Delaval, G., Rutten, E., Marchand, H.: Integrating discrete controller synthesis into a reactive programming language compiler. Discret. Event Dyn. Syst. 23, 385\u2013418 (2013)","journal-title":"Discret. Event Dyn. Syst."},{"key":"8_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-662-43376-8_3","volume-title":"Coordination Models and Languages","author":"J Cano","year":"2014","unstructured":"Cano, J., Delaval, G., Rutten, E.: Coordination of ECA rules by verification and control. In: K\u00fchn, E.,  Pugliese, R. (eds.) COORDINATION 2014. LNCS, vol. 8459, pp. 33\u201348. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-43376-8_3"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Cano, J., Rutten, E., Delaval, G., Benazzouz, Y., Gurgen, L.: ECA rules for IoT environment: a case study in safe design. In: Proceedings of the 8th International Conference on Self-Adaptive and Self-Organizing Systems Workshops, pp. 116\u2013121 (2014)","DOI":"10.1109\/SASOW.2014.32"},{"key":"8_CR18","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/j.scico.2017.05.005","volume":"146","author":"R Abid","year":"2017","unstructured":"Abid, R., Sala\u00fcn, G., De Palma, N.: Asynchronous synthesis techniques for coordinating autonomic managers in the cloud. Sci. Comput. Program. 146, 87\u2013103 (2017)","journal-title":"Sci. Comput. Program."},{"key":"8_CR19","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-1-4419-0941-1_2","volume-title":"Designing Embedded Systems with the SIGNAL Programming Language","author":"Abdoulaye Gamati\u00e9","year":"2009","unstructured":"Gamati\u00e9, A.: Synchronous programming: overview. In: Designing Embedded Systems with the SIGNAL Programming Language, pp. 21\u201339. Springer, New York (2010). https:\/\/doi.org\/10.1007\/978-1-4419-0941-1_2"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing \u2013 ICSOC 2017 Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-91764-1_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T16:05:08Z","timestamp":1710259508000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-91764-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319917634","9783319917641"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-91764-1_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"16 June 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICSOC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Service-Oriented Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Malaga","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 November 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 November 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icsoc2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.icsoc.org","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}