{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T17:12:37Z","timestamp":1742922757414,"version":"3.40.3"},"publisher-location":"Cham","reference-count":9,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319462943"},{"type":"electronic","value":"9783319462950"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-46295-0_48","type":"book-chapter","created":{"date-parts":[[2016,9,19]],"date-time":"2016-09-19T13:21:04Z","timestamp":1474291264000},"page":"685-693","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Formal Specification and Verification Framework for Multi-domain Ubiquitous Environment"],"prefix":"10.1007","author":[{"given":"Mohamed","family":"Hilia","sequence":"first","affiliation":[]},{"given":"Abdelghani","family":"Chibani","sequence":"additional","affiliation":[]},{"given":"Karim","family":"Djouani","sequence":"additional","affiliation":[]},{"given":"Yacine","family":"Amirat","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,20]]},"reference":[{"issue":"3","key":"48_CR1","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1016\/j.jss.2011.05.022","volume":"85","author":"K Benghazi","year":"2012","unstructured":"Benghazi, K., Hurtado, M.V., Hornos, M.J., Rodrguez, M.L., Rodrguez-Domnguez, C., Pelegrina, A.B., Rodrguez-Frtiz, M.J.: Enabling correct design and formal analysis of ambient assisted living systems. J. Syst. Softw. 85(3), 498\u2013510 (2012)","journal-title":"J. Syst. Softw."},{"key":"48_CR2","unstructured":"Bozzato, L., Ferrari, M.: A note on semantic web services specification and composition in constructive description logics. CoRR, abs\/1007.2364 (2010)"},{"issue":"3","key":"48_CR3","doi-asserted-by":"publisher","first-page":"592","DOI":"10.1109\/TSE.2011.10","volume":"38","author":"I Di Pietro","year":"2012","unstructured":"Di Pietro, I., Pagliarecci, F., Spalazzi, L.: Model checking semantically annotated services. IEEE Trans. Softw. Eng. 38(3), 592\u2013608 (2012)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"4","key":"48_CR4","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/s10817-009-9160-7","volume":"44","author":"M Ferrari","year":"2010","unstructured":"Ferrari, M., Fiorentini, C., Fiorino, G.: BCDL: basic constructive description logic. J. Autom. Reasoning 44(4), 371\u2013399 (2010)","journal-title":"J. Autom. Reasoning"},{"key":"48_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1007\/978-3-642-34321-6_30","volume-title":"Service-Oriented Computing","author":"M Hilila","year":"2012","unstructured":"Hilila, M., Chibani, A., Djouani, K., Amirat, Y.: Semantic service composition framework for multidomain ubiquitous computing applications. In: Liu, C., Ludwig, H., Toumani, F., Yu, Q. (eds.) Service Oriented Computing. LNCS, vol. 7636, pp. 450\u2013467. Springer, Heidelberg (2012)"},{"key":"48_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4204\/EPTCS.61.1","volume":"61","author":"Petros Papapanagiotou","year":"2011","unstructured":"Papapanagiotou, P., Fleuriot, J.: A theorem proving framework for the formal verification of web services composition. In: Proceedings of the 7th International Workshop on Automated Specification and Verification of Web Systems, pp. 1\u201316 (2011)","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"issue":"3","key":"48_CR7","doi-asserted-by":"crossref","first-page":"149","DOI":"10.3233\/AIS-2012-0150","volume":"4","author":"D Preuveneers","year":"2012","unstructured":"Preuveneers, D., Novais, P.: 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 (2012)","journal-title":"J. Ambient Intell. Smart Environ."},{"issue":"4","key":"48_CR8","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1016\/j.is.2005.02.005","volume":"31","author":"J Rao","year":"2006","unstructured":"Rao, J., K\u00fcngas, P., Matskin, M.: Composition of semantic web services using linear logic theorem proving. Inf. Syst. 31(4), 340\u2013360 (2006)","journal-title":"Inf. Syst."},{"issue":"5","key":"48_CR9","first-page":"1","volume":"1","author":"MH Beek","year":"2007","unstructured":"Beek, M.H., Bucchiarone, A., Gnesi, S.: Formal methods for service composition. Ann. Math. Comput. Teleinformatics 1(5), 1\u201310 (2007)","journal-title":"Ann. Math. Comput. Teleinformatics"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-46295-0_48","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,20]],"date-time":"2021-09-20T00:16:48Z","timestamp":1632097008000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-46295-0_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319462943","9783319462950"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-46295-0_48","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"20 September 2016","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":"Banff","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Canada","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 October 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 October 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icsoc2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}