{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,22]],"date-time":"2026-09-22T19:09:37Z","timestamp":1790104177739,"version":"4.0.1"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,3,13]]},"DOI":"10.1145\/1066677.1066866","type":"proceedings-article","created":{"date-parts":[[2005,8,3]],"date-time":"2005-08-03T08:31:47Z","timestamp":1123057907000},"page":"826-830","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":24,"title":["Applying model checking to BPEL4WS business collaborations"],"prefix":"10.1145","author":[{"given":"Jes\u00fas Arias","family":"Fisteus","sequence":"first","affiliation":[{"name":"Carlos III University of Madrid, Legan\u00e9s, Madrid (Spain)"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Luis S\u00e1nchez","family":"Fern\u00e1ndez","sequence":"additional","affiliation":[{"name":"Carlos III University of Madrid, Legan\u00e9s, Madrid (Spain)"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Carlos Delgado","family":"Kloos","sequence":"additional","affiliation":[{"name":"Carlos III University of Madrid, Legan\u00e9s, Madrid (Spain)"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2005,3,13]]},"reference":[{"issue":"3","key":"e_1_3_2_1_1_1","first-page":"345","volume":"35","author":"Aalst W. M. P.","year":"1999","unstructured":"W. M. P. Aalst . Woflan: A petri-net-based workflow analyzer. Systems Analysis - Modelling - Simulation , 35 ( 3 ): 345 -- 357 , 1999 . W. M. P. Aalst. Woflan: A petri-net-based workflow analyzer. Systems Analysis - Modelling - Simulation, 35(3):345--357, 1999.","journal-title":"Simulation"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022883727209"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2002.999776"},{"key":"e_1_3_2_1_4_1","volume-title":"Web Services. Concepts, Architectures and Applications","author":"Alonso G.","year":"2004","unstructured":"G. Alonso , F. Casati , H. Kuno , and V. Machiraju . Web Services. Concepts, Architectures and Applications . Springer , 2004 . G. Alonso, F. Casati, H. Kuno, and V. Machiraju. Web Services. Concepts, Architectures and Applications. Springer, 2004."},{"key":"e_1_3_2_1_5_1","volume-title":"Business Process Execution Language for Web Services. Version 1.1 Specification","author":"Andrews T.","year":"2003","unstructured":"T. Andrews , F. Curbera , H. Dholakia , and Business Process Execution Language for Web Services. Version 1.1 Specification , 2003 . T. Andrews, F. Curbera, H. Dholakia, and et al. Business Process Execution Language for Web Services. Version 1.1 Specification, 2003."},{"key":"e_1_3_2_1_6_1","volume-title":"Model Checking","author":"Clarke E. M.","year":"1999","unstructured":"E. M. Clarke , O. Grumberg , and D. A. Peled . Model Checking . MIT Press , 1999 . E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. MIT Press, 1999."},{"key":"e_1_3_2_1_8_1","volume-title":"Proc. 2004 IRMA International Conference","author":"Fisteus J. A.","year":"2004","unstructured":"J. A. Fisteus , A. Marin , and C. Delgado . VERBUS: A Formal Model for Business Process Verification . In Proc. 2004 IRMA International Conference , New Orleans, USA , May 2004 . J. A. Fisteus, A. Marin, and C. Delgado. VERBUS: A Formal Model for Business Process Verification. In Proc. 2004 IRMA International Conference, New Orleans, USA, May 2004."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240303"},{"key":"e_1_3_2_1_10_1","volume-title":"The Spin model checker","author":"Holzmann G. J.","year":"2003","unstructured":"G. J. Holzmann . The Spin model checker . Addison-Wesley , 2003 . G. J. Holzmann. The Spin model checker. Addison-Wesley, 2003."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2004.1260702"},{"key":"e_1_3_2_1_12_1","volume-title":"Web Services Choreography Description Language Version 1.0. W3C Working Draft","author":"Kavantzas N.","year":"2004","unstructured":"N. Kavantzas , D. Burdett , and G. Ritzinger . Web Services Choreography Description Language Version 1.0. W3C Working Draft 27 April , 2004 . N. Kavantzas, D. Burdett, and G. Ritzinger. Web Services Choreography Description Language Version 1.0. W3C Working Draft 27 April, 2004."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/511446.511457"}],"event":{"name":"SAC05: The 2005 ACM Symposium on Applied Computing","location":"Santa Fe New Mexico","acronym":"SAC05","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"]},"container-title":["Proceedings of the 2005 ACM symposium on Applied computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1066677.1066866","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,7]],"date-time":"2023-01-07T19:26:46Z","timestamp":1673119606000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1066677.1066866"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,3,13]]},"references-count":12,"alternative-id":["10.1145\/1066677.1066866","10.1145\/1066677"],"URL":"https:\/\/doi.org\/10.1145\/1066677.1066866","relation":{},"subject":[],"published":{"date-parts":[[2005,3,13]]},"assertion":[{"value":"2005-03-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}