{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:36:36Z","timestamp":1750307796548,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,9,4]],"date-time":"2007-09-04T00:00:00Z","timestamp":1188864000000},"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":[[2007,9,4]]},"DOI":"10.1145\/1316550.1316551","type":"proceedings-article","created":{"date-parts":[[2007,11,16]],"date-time":"2007-11-16T15:58:50Z","timestamp":1195228730000},"page":"1","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Formal modeling of BPEL workflows including fault and compensation handling"],"prefix":"10.1145","author":[{"given":"M\u00e1t\u00e9","family":"Kov\u00e1cs","sequence":"first","affiliation":[{"name":"Budapest University of Technology and Economics, Budapest, Hungary"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D\u00e1niel","family":"Varr\u00f3","sequence":"additional","affiliation":[{"name":"Budapest University of Technology and Economics, Budapest, Hungary"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L\u00e1szl\u00f3","family":"G\u00f6nczy","sequence":"additional","affiliation":[{"name":"OptXware Research & Development LLC, Budapest, Hungary"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,9,4]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Business process execution language for web services version 1.1","author":"Andrews T.","year":"2003","unstructured":"T. Andrews , F. Curbera , H. Dholakia , Y. Goland , J. Klein , F. Leymann , K. Liu , D. Roller , D. Smith , S. Thatte , I. Trickovic , and S. Weerawana . Business process execution language for web services version 1.1 , 2003 . T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weerawana. Business process execution language for web services version 1.1, 2003."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1141277.1141575"},{"key":"e_1_3_2_1_3_1","unstructured":"E. Christensen F. Curbera G. Meredith and S. Weerawarana. Web services description language 1.1. E. Christensen F. Curbera G. Meredith and S. Weerawarana. Web services description language 1.1."},{"key":"e_1_3_2_1_5_1","first-page":"83","volume-title":"Proceedings of International Workshop on Web Services Modeling and Testing (WS-MaTe2006)","author":"Garc\u00eda-Fanjul J.","year":"2006","unstructured":"J. Garc\u00eda-Fanjul , J. Tuya , and C. de la Riva. Generating test cases specifications for compositions of web services. In A. Bertolino and A. Polini, editors , in Proceedings of International Workshop on Web Services Modeling and Testing (WS-MaTe2006) , pages 83 -- 94 , Palermo, Sicily, ITALY, June 9th 2006 . J. Garc\u00eda-Fanjul, J. Tuya, and C. de la Riva. Generating test cases specifications for compositions of web services. In A. Bertolino and A. Polini, editors, in Proceedings of International Workshop on Web Services Modeling and Testing (WS-MaTe2006), pages 83--94, Palermo, Sicily, ITALY, June 9th 2006."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11538394_15"},{"key":"e_1_3_2_1_7_1","first-page":"205","volume-title":"GT-VMT","author":"Ke Xu C. W.","year":"2006","unstructured":"C. W. Ke Xu , Ying Liu . Bpsl modeler - visual notation language for intuitive business property reasoning . In GT-VMT , pages 205 -- 214 , 2006 . C. W. Ke Xu, Ying Liu. Bpsl modeler - visual notation language for intuitive business property reasoning. In GT-VMT, pages 205--214, 2006."},{"key":"e_1_3_2_1_8_1","first-page":"215","volume-title":"GT-VMT","author":"Kov\u00e1cs M.","year":"2006","unstructured":"M. Kov\u00e1cs and L. G\u00f6nczy . Simulation and formal analysis of workflow models . In GT-VMT , pages 215 -- 224 , 2006 . M. Kov\u00e1cs and L. G\u00f6nczy. Simulation and formal analysis of workflow models. In GT-VMT, pages 215--224, 2006."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.07.038"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/11596141_37"},{"key":"e_1_3_2_1_11_1","first-page":"465","volume-title":"ICATPN","author":"Schmidt K.","year":"2000","unstructured":"K. Schmidt . Lola : A low level analyser . In ICATPN , pages 465 -- 474 , 2000 . K. Schmidt. Lola: A low level analyser. In ICATPN, pages 465--474, 2000."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7301.001.0001","volume-title":"Workflow Management Models, Methods, and Systems","author":"van der Aalst W.","year":"2002","unstructured":"W. van der Aalst and K. van Hee . Workflow Management Models, Methods, and Systems . The MIT Press , 2002 . W. van der Aalst and K. van Hee. Workflow Management Models, Methods, and Systems. The MIT Press, 2002."},{"key":"e_1_3_2_1_13_1","unstructured":"Symbolic analysis laboratory. http:\/\/sal.csl.sri.com\/. Symbolic analysis laboratory. http:\/\/sal.csl.sri.com\/."}],"event":{"name":"ESEC\/FSE07: Joint 11th European Software Engineering Conference 2007","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Dubrovnik Croatia","acronym":"ESEC\/FSE07"},"container-title":["Proceedings of the 2007 workshop on Engineering fault tolerant systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1316550.1316551","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1316550.1316551","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:56:26Z","timestamp":1750254986000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1316550.1316551"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9,4]]},"references-count":12,"alternative-id":["10.1145\/1316550.1316551","10.1145\/1316550"],"URL":"https:\/\/doi.org\/10.1145\/1316550.1316551","relation":{},"subject":[],"published":{"date-parts":[[2007,9,4]]},"assertion":[{"value":"2007-09-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}