{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:45Z","timestamp":1761611205661,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,3,11]],"date-time":"2007-03-11T00:00:00Z","timestamp":1173571200000},"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,3,11]]},"DOI":"10.1145\/1244002.1244085","type":"proceedings-article","created":{"date-parts":[[2007,6,6]],"date-time":"2007-06-06T14:37:31Z","timestamp":1181140651000},"page":"346-353","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":28,"title":["Web services choreography and orchestration in Reo and constraint automata"],"prefix":"10.1145","author":[{"given":"Sun","family":"Meng","sequence":"first","affiliation":[{"name":"CWI, Amsterdam, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Farhad","family":"Arbab","sequence":"additional","affiliation":[{"name":"CWI, Amsterdam, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,3,11]]},"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. Weerawarana . Business process execution language for web services version 1.1 , 2003 . http:\/\/www-106.ibm.com\/developerworks\/webservices\/library\/ws-bpel\/. T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weerawarana. Business process execution language for web services version 1.1, 2003. http:\/\/www-106.ibm.com\/developerworks\/webservices\/library\/ws-bpel\/."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129504004153"},{"key":"e_1_3_2_1_3_1","series-title":"LNCS","first-page":"34","volume-title":"Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT","author":"Arbab F.","year":"2002","unstructured":"F. Arbab and J. Rutten . A coinductive calculus of component connectors . In M. Wirsing, D. Pattinson, and R. Hennicker, editors, Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002 , Frauenchiemsee, Germany, September 24--27, 2002, Revised Selected Papers, volume 2755 of LNCS , pages 34 -- 55 . Springer-Verlag , 2003. F. Arbab and J. Rutten. A coinductive calculus of component connectors. In M. Wirsing, D. Pattinson, and R. Hennicker, editors, Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24--27, 2002, Revised Selected Papers, volume 2755 of LNCS, pages 34--55. Springer-Verlag, 2003."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2005.10.008"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/11767954_1"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11549970_19"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11596141_18"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/11767954_5"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/11549970_17"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843004001012"},{"key":"e_1_3_2_1_11_1","volume-title":"Web Services - Concepts, Architectures and Applications","author":"Alonso G.","year":"2004","unstructured":"G. Alonso and F. Casati and H. Kuno and V. Machiraju . Web Services - Concepts, Architectures and Applications . Springer-Verlag , 2004 . G. Alonso and F. Casati and H. Kuno and V. Machiraju. Web Services - Concepts, Architectures and Applications. Springer-Verlag, 2004."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/767132.767139"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/773153.773154"},{"key":"e_1_3_2_1_14_1","first-page":"19","volume-title":"Proceedings of 5th Int. Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA '06)","author":"Kl\u00fcppelholz S.","unstructured":"S. Kl\u00fcppelholz and C. Baier . Symbolic Model Checking for Channel-based Component Connectors. In C. Canal and M. Viroli, editors , Proceedings of 5th Int. Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA '06) , pages 19 -- 36 . S. Kl\u00fcppelholz and C. Baier. Symbolic Model Checking for Channel-based Component Connectors. In C. Canal and M. Viroli, editors, Proceedings of 5th Int. Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA '06), pages 19--36."},{"key":"e_1_3_2_1_15_1","unstructured":"F. Leymann. Web Services Flow Language (WSFL 1.0). http:\/\/www4.ibm.com\/software\/solutions\/webservices\/pdf\/WSFL.pdf.  F. Leymann. Web Services Flow Language (WSFL 1.0). http:\/\/www4.ibm.com\/software\/solutions\/webservices\/pdf\/WSFL.pdf."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/944217.944233"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2004.57"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2004.58"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/11767954_12"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.07.033"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1236471"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/1009386.1010140"},{"key":"e_1_3_2_1_23_1","volume-title":"Component Software - Beyond Object-Oriented Programming","author":"Szyperski C.","year":"1998","unstructured":"C. Szyperski . Component Software - Beyond Object-Oriented Programming . Addison-Wesley , 1998 . C. Szyperski. Component Software - Beyond Object-Oriented Programming. Addison-Wesley, 1998."},{"key":"e_1_3_2_1_24_1","unstructured":"Universal Description Discovery and Integration (UDDI) v3.0. http:\/\/www.uddi.org\/.  Universal Description Discovery and Integration (UDDI) v3.0. http:\/\/www.uddi.org\/."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"W3C. Simple object access protocol (soap) v1.2. http:\/\/www.w3.org\/2000\/xp\/Group\/.  W3C. Simple object access protocol (soap) v1.2. http:\/\/www.w3.org\/2000\/xp\/Group\/.","DOI":"10.4102\/sajim.v2i2\/3.106"},{"key":"e_1_3_2_1_26_1","unstructured":"W3C. Web Service Choreography Description Language (WS-CDL) 1.0. http:\/\/www.w3.org\/TR\/ws-cdl-10\/.  W3C. Web Service Choreography Description Language (WS-CDL) 1.0. http:\/\/www.w3.org\/TR\/ws-cdl-10\/."},{"key":"e_1_3_2_1_27_1","unstructured":"W3C. Web Service Choreography Interface (WSCI) 1.0. http:\/\/www.w3.org\/TR\/wsci\/.  W3C. Web Service Choreography Interface (WSCI) 1.0. http:\/\/www.w3.org\/TR\/wsci\/."},{"key":"e_1_3_2_1_28_1","unstructured":"W3C. Web Service Description Language (WSDL) 1.1. http:\/\/www.w3.org\/TR\/wsdl.  W3C. Web Service Description Language (WSDL) 1.1. http:\/\/www.w3.org\/TR\/wsdl."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/1009386.1010183"}],"event":{"name":"SAC07: The 2007 ACM Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Seoul Korea","acronym":"SAC07"},"container-title":["Proceedings of the 2007 ACM symposium on Applied computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1244002.1244085","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1244002.1244085","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:47:50Z","timestamp":1750258070000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1244002.1244085"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,3,11]]},"references-count":29,"alternative-id":["10.1145\/1244002.1244085","10.1145\/1244002"],"URL":"https:\/\/doi.org\/10.1145\/1244002.1244085","relation":{},"subject":[],"published":{"date-parts":[[2007,3,11]]},"assertion":[{"value":"2007-03-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}