{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T05:19:46Z","timestamp":1738300786810,"version":"3.35.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,11]]},"DOI":"10.1109\/colcom.2007.4553842","type":"proceedings-article","created":{"date-parts":[[2008,7,3]],"date-time":"2008-07-03T14:35:25Z","timestamp":1215095725000},"page":"278-287","source":"Crossref","is-referenced-by-count":1,"title":["Formal verification of composite service recovery mechanisms consistency"],"prefix":"10.1109","author":[{"given":"Walid","family":"Gaaloul","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sami","family":"Bhiri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manfred","family":"Hauswirth","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohsen","family":"Rouached","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claude","family":"Godart","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1060745.1060769"},{"key":"ref11","article-title":"Web service mining and verification of properties: An approach based on event calculus","author":"rouached","year":"2006","journal-title":"Proceedings 14th International Conference on Cooperative Information Systems (CoopIS 2006)"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2000.0469"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/775152.775210"},{"key":"ref14","first-page":"191","article-title":"A petri net-based model for web service composition","author":"hamadi","year":"2003","journal-title":"ADCDT"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-6217-7_1"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/507234.507236"},{"key":"ref17","first-page":"115","article-title":"Utml: Unified transaction modeling language","author":"gioldasis","year":"2002","journal-title":"Proceedings of the 3rd International Conference on Web Information Systems Engineering"},{"journal-title":"Web Services Atomic Transaction (WS-AtomicTransaction)","year":"2003","author":"cabrera","key":"ref18"},{"journal-title":"Web Services Business Activity Framework (WS-businessActivity)","year":"2004","author":"cabrera","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.1992.235055"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/14.5.703"},{"key":"ref6","first-page":"67","author":"zhang","year":"1994","journal-title":"Ensuring relaxed atomicity for flexible transactions in multidatabase systems"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/s00778-003-0087-z","article-title":"Business-to-business interactions: issues and enabling technologies","volume":"12","author":"medjahed","year":"2003","journal-title":"The VLDB Journal"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2004.02.002"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/10722620_2","article-title":"Advanced Workflow Patterns","author":"van der aalst","year":"2000","journal-title":"5th IFCIS Int Conf on Cooperative Information Systems (CoopIS'00) ser LNCS"},{"key":"ref2","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7301.001.0001","author":"van der aalst","year":"2002","journal-title":"Workflow Management mod-els methods and tools ser Cooperative Information Systems"},{"journal-title":"Database Transaction Models for Advanced Applications","year":"1992","author":"elmagarmid","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1145581.1145613"},{"journal-title":"Web Services Composite Application Framework (WS-CAF)","year":"0","author":"arjuna","key":"ref20"},{"key":"ref22","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-75563-0_33","article-title":"Mining and re-engineering transactional workflows for reliable executions","author":"gaaloul","year":"2007","journal-title":"26th International Conference on Conceptual Modeling (ER 2007)"},{"key":"ref21","first-page":"99","article-title":"Discovering and improving recovery mechanisms of composite web services","author":"bhiri","year":"2006","journal-title":"ICWS"}],"event":{"name":"2007 International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom 2007)","start":{"date-parts":[[2007,11,12]]},"location":"New York, NY, USA","end":{"date-parts":[[2007,11,15]]}},"container-title":["2007 International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom 2007)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4543894\/4553792\/04553842.pdf?arnumber=4553842","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T22:55:55Z","timestamp":1738277755000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4553842\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,11]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/colcom.2007.4553842","relation":{},"subject":[],"published":{"date-parts":[[2007,11]]}}}