{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T16:02:36Z","timestamp":1740153756472,"version":"3.37.3"},"reference-count":50,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2022,9,1]],"date-time":"2022-09-01T00:00:00Z","timestamp":1661990400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,9,1]],"date-time":"2022-09-01T00:00:00Z","timestamp":1661990400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,9,1]],"date-time":"2022-09-01T00:00:00Z","timestamp":1661990400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Serv. Comput."],"published-print":{"date-parts":[[2022,9,1]]},"DOI":"10.1109\/tsc.2021.3072327","type":"journal-article","created":{"date-parts":[[2021,4,9]],"date-time":"2021-04-09T19:25:37Z","timestamp":1617996337000},"page":"2511-2525","source":"Crossref","is-referenced-by-count":0,"title":["A Correct-by-Construction Model for Verifying Transactional Composite Services Configuration"],"prefix":"10.1109","volume":"15","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6982-6383","authenticated-orcid":false,"given":"Imed","family":"Abbassi","sequence":"first","affiliation":[{"name":"National Engineering School of Tunis, University of Tunis El Manar, LR-OASIS, Tunis, Tunisia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0016-6898","authenticated-orcid":false,"given":"Amel","family":"Mammar","sequence":"additional","affiliation":[{"name":"Computer Science Department, SAMOVAR, Telecom SudParis, Institut Polytechnique de Paris, Palaiseau, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Graiet","sequence":"additional","affiliation":[{"name":"University of Monastir, Monastir, Tunisia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","first-page":"123","article-title":"Web services","volume-title":"Web Services","author":"Alonso","year":"2004"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.4018\/978-1-4666-2044-5.ch008"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1504\/IJWGS.2005.007545"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1016\/j.ins.2014.04.054"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1109\/JSYST.2016.2612641"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.4018\/jwsr.2008010102"},{"key":"ref7","first-page":"592","article-title":"Specification and execution of transactional workflows","volume":"1995","author":"Rusinkiewicz","year":"1995","journal-title":"Modern Database Syst."},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1145\/1060745.1060769"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1007\/978-3-662-05324-9"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1109\/TSE.1978.231496"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1017\/CBO9781139195881"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1007\/978-3-540-45236-2_46"},{"key":"ref13","article-title":"Eb2c : A tool for event-b to c conversion support","volume-title":"Proc. 8th IEEE Int. Conf. on Softw. Eng. and Formal Methods (SEFM)","author":"M\u00e9ry","year":"2010"},{"volume-title":"Proc. Brazilian Symp. Formal Methods, Brazilian Conf. Softw.: Theory Practice,","author":"Mery","article-title":"Eb2j : Code generation from event-B to Java","key":"ref14"},{"year":"2002","author":"Wohed","article-title":"Pattern based analysis of BPEL4WS","key":"ref15"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1109\/TNSM.2017.2785360"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.3166\/tsi.28.301-330"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1007\/11901433_32"},{"key":"ref19","first-page":"191","article-title":"A petri net-based model for web service composition","volume-title":"Proc. 14th Australas. Database Conf.-Volume 17","author":"Hamadi"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1145\/1134285.1134408"},{"author":"Dechsupa","first-page":"398","article-title":"Formal verification of web service orchestration using colored petri net","key":"ref21"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1109\/QRS-C.2018.00095"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.4018\/978-1-5225-5951-1.ch011"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1007\/978-3-642-41221-9_1"},{"year":"2009","author":"A\u00eft-Sadoune","article-title":"From BPEL to event-B","key":"ref25"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1145\/2557833.2557851"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1142\/S021884301450004X"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.1007\/978-3-642-41202-8_21"},{"doi-asserted-by":"publisher","key":"ref29","DOI":"10.1007\/978-3-642-36642-0_29"},{"doi-asserted-by":"publisher","key":"ref30","DOI":"10.1145\/1135777.1135878"},{"doi-asserted-by":"publisher","key":"ref31","DOI":"10.1007\/3-540-63010-4_6"},{"doi-asserted-by":"publisher","key":"ref32","DOI":"10.1007\/978-3-642-04409-0_35"},{"doi-asserted-by":"publisher","key":"ref33","DOI":"10.1145\/182.358434"},{"doi-asserted-by":"publisher","key":"ref34","DOI":"10.1109\/ICWS.2009.42"},{"doi-asserted-by":"publisher","key":"ref35","DOI":"10.1109\/TSC.2011.5"},{"doi-asserted-by":"publisher","key":"ref36","DOI":"10.1109\/TSC.2010.1"},{"doi-asserted-by":"publisher","key":"ref37","DOI":"10.1007\/978-3-642-83397-7_2"},{"doi-asserted-by":"publisher","key":"ref38","DOI":"10.1007\/978-3-642-41230-1_21"},{"doi-asserted-by":"publisher","key":"ref39","DOI":"10.1109\/TSC.2016.2594782"},{"doi-asserted-by":"publisher","key":"ref40","DOI":"10.1016\/j.jocs.2020.101165"},{"doi-asserted-by":"publisher","key":"ref41","DOI":"10.1109\/ICWS.2010.54"},{"doi-asserted-by":"publisher","key":"ref42","DOI":"10.1007\/978-3-540-30464-7_40"},{"doi-asserted-by":"publisher","key":"ref43","DOI":"10.1145\/1060745.1060770"},{"doi-asserted-by":"publisher","key":"ref44","DOI":"10.1007\/978-3-540-68746-7_8"},{"doi-asserted-by":"publisher","key":"ref45","DOI":"10.1007\/978-3-540-75698-9_16"},{"doi-asserted-by":"publisher","key":"ref46","DOI":"10.1109\/ICWS.2007.134"},{"doi-asserted-by":"publisher","key":"ref47","DOI":"10.1109\/SERVICES.2010.23"},{"doi-asserted-by":"publisher","key":"ref48","DOI":"10.1109\/TSMCA.2010.2093884"},{"doi-asserted-by":"publisher","key":"ref49","DOI":"10.1007\/978-3-642-23798-0_7"},{"doi-asserted-by":"publisher","key":"ref50","DOI":"10.1109\/TSC.2010.5"}],"container-title":["IEEE Transactions on Services Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/4629386\/9913317\/09399798.pdf?arnumber=9399798","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,9]],"date-time":"2024-01-09T23:14:41Z","timestamp":1704842081000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9399798\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,1]]},"references-count":50,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/tsc.2021.3072327","relation":{},"ISSN":["1939-1374","2372-0204"],"issn-type":[{"type":"electronic","value":"1939-1374"},{"type":"electronic","value":"2372-0204"}],"subject":[],"published":{"date-parts":[[2022,9,1]]}}}