{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:32:01Z","timestamp":1750221121991,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,11,19]],"date-time":"2018-11-19T00:00:00Z","timestamp":1542585600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,11,19]]},"DOI":"10.1145\/3282353.3282355","type":"proceedings-article","created":{"date-parts":[[2019,1,14]],"date-time":"2019-01-14T13:15:25Z","timestamp":1547471725000},"page":"25-33","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["A Framework for the composition and formal verification of adaptable semantic Web services"],"prefix":"10.1145","author":[{"given":"Rihab","family":"Ben Lamine","sequence":"first","affiliation":[{"name":"MIRACL, ISIMS, Sfax, Tunisia, ISITCom, University of Sousse, Sousse, Tunisia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raoudha","family":"Ben Djemaa","sequence":"additional","affiliation":[{"name":"MIRACL, ISIMS, Sfax, Tunisia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ikram","family":"Amous","sequence":"additional","affiliation":[{"name":"MIRACL, ISIMS, Sfax, Tunisia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,11,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2010.02.003"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.06.003"},{"key":"e_1_3_2_1_3_1","unstructured":"Baidouri H Hafiddi H Nassar M Kriouile A. Towards a Context-Aware Composition of Services*. 2012;12(3):133--140.  Baidouri H Hafiddi H Nassar M Kriouile A. Towards a Context-Aware Composition of Services*. 2012;12(3):133--140."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11036-014-0494-y"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(96)00047-1"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11761-013-0134-6"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/CICT.2015.68"},{"key":"e_1_3_2_1_8_1","volume-title":"9th International Conference on Enterprise Information System, ICEIS","author":"Boukadi K.","year":"2007","unstructured":"Boukadi , K. , Ghedira , Ch. , Maamar , Z. , and Boucheneb , H . ( 2007 ). Specification and Verification of Views over Composite Web Services Using High Level Petri-Nets . In 9th International Conference on Enterprise Information System, ICEIS 07, Jun 2007, Madeira, Portugal, 107--112. Boukadi, K., Ghedira, Ch., Maamar, Z., and Boucheneb, H. (2007). Specification and Verification of Views over Composite Web Services Using High Level Petri-Nets. In 9th International Conference on Enterprise Information System, ICEIS 07, Jun 2007, Madeira, Portugal, 107--112."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1504\/IJCAT.2015.070493"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1186\/s40064-015-0805-1"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2434"},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of the 2017 International Conference on Knowledge Based and Intelligent Information and Engineering Systems, KES2017","author":"Ben Lamine R.","year":"2017","unstructured":"Ben Lamine , R. , Ben Jemaa , R. , and Amous , I . (2017). Graph Planning Based Composition For Adaptable Semantic Web Services . Proceedings of the 2017 International Conference on Knowledge Based and Intelligent Information and Engineering Systems, KES2017 , 6-8 September 2017 , Marseille, France. Ben Lamine, R., Ben Jemaa, R., and Amous, I.(2017). Graph Planning Based Composition For Adaptable Semantic Web Services. Proceedings of the 2017 International Conference on Knowledge Based and Intelligent Information and Engineering Systems, KES2017, 6-8 September 2017, Marseille, France."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.4018\/IJITWE.2018100102"},{"key":"e_1_3_2_1_14_1","volume-title":"Context-Aware and Adaptive Usage Control Model. Phd Thesis","author":"Almutairi A.","year":"2013","unstructured":"Almutairi , A. ( 2013 ). Context-Aware and Adaptive Usage Control Model. Phd Thesis . Montfort University - Leicester , 2013. UK Almutairi, A. (2013). Context-Aware and Adaptive Usage Control Model. Phd Thesis. Montfort University - Leicester, 2013. UK"},{"key":"e_1_3_2_1_15_1","volume-title":"Features Interaction Detection and Resolution in Smart home systems Using Agent-Based Negotiation Approach. Phd Thesis. Montfort university - Leicester","author":"Alghamdi A. S.","year":"2015","unstructured":"Alghamdi , A. S. ( 2015 ). Features Interaction Detection and Resolution in Smart home systems Using Agent-Based Negotiation Approach. Phd Thesis. Montfort university - Leicester , 2015. UK. Alghamdi, A. S. (2015). Features Interaction Detection and Resolution in Smart home systems Using Agent-Based Negotiation Approach. Phd Thesis. Montfort university - Leicester, 2015. UK."}],"event":{"name":"MoMM2018: 16th International Conference on Advances in Mobile Computing and Multimedia","sponsor":["Johannes Kepler University, Linz, Austria","@WAS International Organization of Information Integration and Web-based Applications and Services","Johannes Kepler University"],"location":"Yogyakarta Indonesia","acronym":"MoMM2018"},"container-title":["Proceedings of the 16th International Conference on Advances in Mobile Computing and Multimedia"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3282353.3282355","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3282353.3282355","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:02:11Z","timestamp":1750208531000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3282353.3282355"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11,19]]},"references-count":15,"alternative-id":["10.1145\/3282353.3282355","10.1145\/3282353"],"URL":"https:\/\/doi.org\/10.1145\/3282353.3282355","relation":{},"subject":[],"published":{"date-parts":[[2018,11,19]]},"assertion":[{"value":"2018-11-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}