{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:39:38Z","timestamp":1742913578322,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030515164"},{"type":"electronic","value":"9783030515171"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2020,6,23]],"date-time":"2020-06-23T00:00:00Z","timestamp":1592870400000},"content-version":"vor","delay-in-days":174,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-51517-1_38","type":"book-chapter","created":{"date-parts":[[2020,6,24]],"date-time":"2020-06-24T14:03:30Z","timestamp":1593007410000},"page":"415-422","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Towards a Formal Context-Aware Workflow Model for Ambient Environment"],"prefix":"10.1007","author":[{"given":"Roumeissa","family":"Khennaoui","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nabil","family":"Belala","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,6,23]]},"reference":[{"issue":"1","key":"38_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/TSMCA.2004.838456","volume":"35","author":"P Remagnino","year":"2004","unstructured":"Remagnino, P., Foresti, G.: Ambient intelligence: a new multidisciplinary paradigm. IEEE Trans. Syst. Man Cybern. - Part A: Syst. Hum. 35(1), 1\u20136 (2004)","journal-title":"IEEE Trans. Syst. Man Cybern. - Part A: Syst. Hum."},{"key":"38_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/978-3-540-77002-2_24","volume-title":"Progress in Artificial Intelligence","author":"C Ramos","year":"2007","unstructured":"Ramos, C.: Ambient intelligence a state of the art from artificial intelligence perspective. In: Neves, J., Santos, M.F., Machado, J.M. (eds.) EPIA 2007. LNCS, vol. 4874, pp. 285\u2013295. Springer, Heidelberg (2007). \nhttps:\/\/doi.org\/10.1007\/978-3-540-77002-2_24"},{"issue":"3","key":"38_CR3","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/BF01408562","volume":"3","author":"D Abowd","year":"1998","unstructured":"Abowd, D., Dey, A.K., Orr, R., et al.: Context-awareness in wearable and ubiquitous computing. Virtual Reality 3(3), 200\u2013211 (1998)","journal-title":"Virtual Reality"},{"key":"38_CR4","doi-asserted-by":"crossref","unstructured":"Smanchat, S., Ling, S., Indrawan, M.: A survey on context-aware workflow adaptations. In: Proceedings of the 6th International Conference on Advances in Mobile Computing and Multimedia, pp. 414\u2013417 (2008)","DOI":"10.1145\/1497185.1497274"},{"key":"38_CR5","unstructured":"Wieland, M., Kopp, O., Nicklas, D., Leymann, F.: Towards context-aware workflows. In: CAiSE07 Proceedings of the Workshops and Doctoral Consortium, vol. 2, no. S25, p. 15 (2007)"},{"key":"38_CR6","doi-asserted-by":"crossref","unstructured":"Tang, F., Guo, M., Dong, M., Li, M., Guan, H.: Towards context-aware workflow management for ubiquitous computing. In: 2008 International Conference on Embedded Software and Systems, pp. 221\u2013228. IEEE (2008)","DOI":"10.1109\/ICESS.2008.83"},{"key":"38_CR7","doi-asserted-by":"crossref","unstructured":"Zhu, Z., Xu, R.: A context-aware access control model for pervasive computing in enterprise environments. In: 2008 4th International Conference on Wireless Communications, Networking and Mobile Computing, pp. 1\u20136. IEEE (2008)","DOI":"10.1109\/WiCom.2008.1094"},{"issue":"1","key":"38_CR8","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/s12652-017-0633-y","volume":"10","author":"B Avenoglu","year":"2019","unstructured":"Avenoglu, B., Eren, P.E.: A context-aware and workflow-based framework for pervasive environments. J. Amb. Intell. Hum. Comput. 10(1), 215\u2013237 (2019)","journal-title":"J. Amb. Intell. Hum. Comput."},{"issue":"4","key":"38_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2675063","volume":"4","author":"BD Carolis","year":"2015","unstructured":"Carolis, B.D., Ferilli, S., Redavid, D.: Incremental learning of daily routines as workflows in a smart home environment. ACM Trans. Interact. Intell. Syst. (TiiS) 4(4), 1\u201323 (2015)","journal-title":"ACM Trans. Interact. Intell. Syst. (TiiS)"},{"issue":"8","key":"38_CR10","doi-asserted-by":"publisher","first-page":"1193","DOI":"10.1016\/j.compind.2014.07.005","volume":"65","author":"T Da Cunha Mattos","year":"2014","unstructured":"Da Cunha Mattos, T., Santoro, F.M., Revoredo, K., et al.: A formal representation for context-aware business processes. Comput. Ind. 65(8), 1193\u20131214 (2014)","journal-title":"Comput. Ind."},{"key":"38_CR11","doi-asserted-by":"crossref","unstructured":"Wang, P., Li, H., Zhang, B.: Context-aware workflow modeling approach using OWL. In: The 26th Chinese Control and Decision Conference (2014 CCDC), pp. 4161\u20134165. IEEE (2014)","DOI":"10.1109\/CCDC.2014.6852910"},{"issue":"3","key":"38_CR12","doi-asserted-by":"publisher","first-page":"664","DOI":"10.1016\/S0377-2217(00)00292-7","volume":"134","author":"K Salimifard","year":"2001","unstructured":"Salimifard, K., Wright, M.: Petri net-based modelling of workflow systems: an overview. Eur. J. Oper. Res. 134(3), 664\u2013676 (2001)","journal-title":"Eur. J. Oper. Res."},{"key":"38_CR13","unstructured":"Sadiq, S., Orlowska, M., Sadiq, W., et al.: Data flow and validation in workflow modelling. In: Proceedings of the 15th Australasian Database Conference, vol. 27, pp. 207\u2013214 (2004)"},{"key":"38_CR14","unstructured":"Carchiolo, V., Longheu, A., Malgeri, M.: Using LOTOS in workflow specification. In: ICEIS, no. 3, pp. 364\u2013369 (2003)"},{"key":"38_CR15","doi-asserted-by":"crossref","unstructured":"Takecian, P. L., Ferreira, J. E., Malkowski, S., Pu, C.: Using LOTOS for rigorous specifications of workflow patterns. In: 6th International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom 2010), pp. 1\u20137. IEEE (2010)","DOI":"10.4108\/icst.collaboratecom.2010.57"},{"issue":"1","key":"38_CR16","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T Bolognesi","year":"1987","unstructured":"Bolognesi, T., Brinksma, E.: Introduction to the ISO specification language LOTOS. Comput. Netw. ISDN Syst. 14(1), 25\u201359 (1987)","journal-title":"Comput. Netw. ISDN Syst."},{"key":"38_CR17","unstructured":"Dumez, C., Bakhouya, M., Gaber, J., Wack, M.: Formal specification and verification of service composition using LOTOS. In: Proceedings of the 7th ACM International Conference on Pervasive Services (2010)"},{"key":"38_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"791","DOI":"10.1007\/978-3-319-12027-0_64","volume-title":"Artificial Intelligence","author":"AC Chaouche","year":"2014","unstructured":"Chaouche, A.C., Seghrouchni, A.E.F., Ili\u00e9, J.M.: A formal approach for contextual planning management: application to smart campus environment. In: Bazzan, A., Pichara, K. (eds.) IBERAMIA 2014. LNCS, vol. 8864, pp. 791\u2013803. Springer, Cham (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-319-12027-0_64"},{"key":"38_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44871-7_6","volume-title":"Transactions on Computational Collective Intelligence XVI, pp 146\u2013169","author":"AC Chaouche","year":"2014","unstructured":"Chaouche, A.C., Seghrouchni, A.E.F., Ili\u00e9, J.-M., et al.: A higher-order agent model with contextual planning management for ambient systems. In: Kowalczyk, R., Nguyen, N. (eds.) Transactions on Computational Collective Intelligence XVI, pp 146\u2013169. LNCS, vol. 8780. Springer, Heidelberg (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-662-44871-7_6"},{"key":"38_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44895-0_1","volume-title":"Business Process Management","author":"W van der Aalst","year":"2003","unstructured":"van der Aalst, W., Ter Hofstede, A., Weske, M.: Business process management: A survey. In: van der Aalst, W.M.P., Weske, M. (eds.) BPM 2003. LNCS, vol. 2678, pp. 1\u201312. Springer, Heidelberg (2003). \nhttps:\/\/doi.org\/10.1007\/3-540-44895-0_1"},{"issue":"1","key":"38_CR21","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"W van der Aalst","year":"2003","unstructured":"van der Aalst, W., Ter Hofstede, A., Kiepuszewski, B., et al.: Workflow patterns. Distrib. Parallel Databases 14(1), 5\u201351 (2003)","journal-title":"Distrib. Parallel Databases"},{"key":"38_CR22","series-title":"Studies in Computational Intelligence","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/978-3-319-10422-5_42","volume-title":"Intelligent Distributed Computing VIII","author":"AC Chaouche","year":"2015","unstructured":"Chaouche, A.C., Seghrouchni, A.E.F., Ili\u00e9, J.-M., et al.: From intentions to plans: a contextual planning guidance. In: Camacho, D., Braubach, L., Venticinque, S., Badica, C. (eds.) Intelligent Distributed Computing VIII. Studies in Computational Intelligence, vol. 570, pp. 403\u2013413. Springer, Cham (2015). \nhttps:\/\/doi.org\/10.1007\/978-3-319-10422-5_42"}],"container-title":["Lecture Notes in Computer Science","The Impact of Digital Technologies on Public Health in Developed and Developing Countries"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-51517-1_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,24]],"date-time":"2020-06-24T14:18:18Z","timestamp":1593008298000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-51517-1_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030515164","9783030515171"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-51517-1_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"23 June 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICOST","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Smart Homes and Health Telematics","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Hammamet","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Tunisia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 June 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 June 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icost2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.icost-society.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"49","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"17","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"23","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"35% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"The conference was held virtually due to the COVID-19 pandemic.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}