{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:33:14Z","timestamp":1750307594036,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,3,22]],"date-time":"2010-03-22T00:00:00Z","timestamp":1269216000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Danish Research Council for Technology and Production under Project Cosmobiz","award":["274-06-0415"],"award-info":[{"award-number":["274-06-0415"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,3,22]]},"DOI":"10.1145\/1774088.1774599","type":"proceedings-article","created":{"date-parts":[[2010,4,27]],"date-time":"2010-04-27T12:45:48Z","timestamp":1272372348000},"page":"2472-2476","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["A standard-driven implementaion of WS-BPEL 2.0"],"prefix":"10.1145","author":[{"given":"Tim","family":"Hallwyl","sequence":"first","affiliation":[{"name":"University of Copenhagen"}]},{"given":"Fritz","family":"Henglein","sequence":"additional","affiliation":[{"name":"University of Copenhagen"}]},{"given":"Thomas","family":"Hildebrandt","sequence":"additional","affiliation":[{"name":"IT University of Copenhagen"}]}],"member":"320","published-online":{"date-parts":[[2010,3,22]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Yiu","author":"Alves A.","year":"2007","unstructured":"Alves , A. , Arkin , A. , Askary , S. , Barreto , C. , Bloch , B. , Curbera , F. , Ford , M. , Goland , Y. , Gu\u00edzar , A. , Kartha , N. , Liu , C. K. , Khalaf , R. , K\u00f6nig , D. , Marin , M. , Mehta , V. , Thatte , S. , van der Rijn , D. , Yendluri , P. , Yiu , A. : Web Services Business Process Execution Language Version 2.0. Technical report, OASIS Web Services Business Process Execution Language (WS-BPEL) TC (April 2007 ) Alves, A., Arkin, A., Askary, S., Barreto, C., Bloch, B., Curbera, F., Ford, M., Goland, Y., Gu\u00edzar, A., Kartha, N., Liu, C. K., Khalaf, R., K\u00f6nig, D., Marin, M., Mehta, V., Thatte, S., van der Rijn, D., Yendluri, P., Yiu, A.: Web Services Business Process Execution Language Version 2.0. Technical report, OASIS Web Services Business Process Execution Language (WS-BPEL) TC (April 2007)"},{"key":"e_1_3_2_1_2_1","volume-title":"Cowan","author":"Bray T.","year":"1999","unstructured":"Bray , T. , Paoli , J. , Sperberg-McQueen , C. M. , Maler , E. , Yergeau , F. , Cowan , J. : Extensible Markup Language (XML) 1.1 (Second Edition). W3C Recommendation, W3C ( 1999 ) Bray, T., Paoli, J., Sperberg-McQueen, C. M., Maler, E., Yergeau, F., Cowan, J.: Extensible Markup Language (XML) 1.1 (Second Edition). W3C Recommendation, W3C (1999)"},{"key":"e_1_3_2_1_3_1","unstructured":"Karpf J.: Quality Assurance of Legal Expert Systems. Jurimatics 8 (1989) Copenhagen Business School.  Karpf J.: Quality Assurance of Legal Expert Systems. Jurimatics 8 (1989) Copenhagen Business School."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00118479"},{"key":"e_1_3_2_1_5_1","series-title":"September 2005","volume-title":"Humboldt-Universit\u00e4t zu Berlin","author":"Fahland D.","unstructured":"Fahland , D. : Complete Abstract Operational Semantics for the Web Service Business Process Execution Language. Informatik-Berichte 190 , Humboldt-Universit\u00e4t zu Berlin ( September 2005 ) Fahland, D.: Complete Abstract Operational Semantics for the Web Service Business Process Execution Language. Informatik-Berichte 190, Humboldt-Universit\u00e4t zu Berlin (September 2005)"},{"key":"e_1_3_2_1_6_1","first-page":"131","author":"Fahland D.","year":"2005","unstructured":"Fahland , D. , Reisig , W. : ASM-based semantics for BPEL: The negative Control Flow. In Beauquier, D., B\u00f6rger , E. , Slissenko , A. , eds.: Proceedings of the 12th International Workshop on Abstract State Machines (ASM'05) , Paris XII ( March 2005 ) 131 -- 151 Fahland, D., Reisig, W.: ASM-based semantics for BPEL: The negative Control Flow. In Beauquier, D., B\u00f6rger, E., Slissenko, A., eds.: Proceedings of the 12th International Workshop on Abstract State Machines (ASM'05), Paris XII (March 2005) 131--151","journal-title":"Paris"},{"key":"e_1_3_2_1_7_1","series-title":"August 2007","volume-title":"Humboldt-Universit\u00e4t zu Berlin","author":"Lohmann N.","unstructured":"Lohmann , N. : A feature-complete Petri net semantics for WS-BPEL 2.0 and its compiler BPEL2oWFN. Informatik-Berichte 212 , Humboldt-Universit\u00e4t zu Berlin ( August 2007 ) Lohmann, N.: A feature-complete Petri net semantics for WS-BPEL 2.0 and its compiler BPEL2oWFN. Informatik-Berichte 212, Humboldt-Universit\u00e4t zu Berlin (August 2007)"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/1788954.1788967"},{"key":"e_1_3_2_1_10_1","volume-title":"DeRose","author":"Clark J.","year":"1999","unstructured":"Clark , J. , DeRose , S. : XML Path Language (XPath) Version 1.0. W3C Recommendation, W3C ( 1999 ) Clark, J., DeRose, S.: XML Path Language (XPath) Version 1.0. W3C Recommendation, W3C (1999)"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511626661","volume-title":"The Space and Motion of Communicating Agents","author":"Milner R.","year":"2009","unstructured":"Milner , R. : The Space and Motion of Communicating Agents . Cambridge University Press (March 2009 ) Milner, R.: The Space and Motion of Communicating Agents. Cambridge University Press (March 2009)"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/11767954_8"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/1788954.1788960"}],"event":{"name":"SAC'10: The 2010 ACM Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Sierre Switzerland","acronym":"SAC'10"},"container-title":["Proceedings of the 2010 ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1774088.1774599","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1774088.1774599","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:41:34Z","timestamp":1750250494000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1774088.1774599"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,3,22]]},"references-count":12,"alternative-id":["10.1145\/1774088.1774599","10.1145\/1774088"],"URL":"https:\/\/doi.org\/10.1145\/1774088.1774599","relation":{},"subject":[],"published":{"date-parts":[[2010,3,22]]},"assertion":[{"value":"2010-03-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}