{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T13:38:28Z","timestamp":1774877908313,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642334269","type":"print"},{"value":"9783642334276","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33427-6_1","type":"book-chapter","created":{"date-parts":[[2012,8,23]],"date-time":"2012-08-23T09:38:39Z","timestamp":1345714719000},"page":"1-16","source":"Crossref","is-referenced-by-count":18,"title":["Automatic Code Generation for the Orchestration of Web Services with Reo"],"prefix":"10.1007","author":[{"given":"Sung-Shik T. Q.","family":"Jongmans","sequence":"first","affiliation":[]},{"given":"Francesco","family":"Santini","sequence":"additional","affiliation":[]},{"given":"Mahdi","family":"Sargolzaei","sequence":"additional","affiliation":[]},{"given":"Farhad","family":"Arbab","sequence":"additional","affiliation":[]},{"given":"Hamideh","family":"Afsarmanesh","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"1_CR1","first-page":"329","volume":"14","author":"F. Arbab","year":"2004","unstructured":"Arbab, F.: Reo: a channel-based coordination model for component composition. MSCS\u00a014(3), 329\u2013366 (2004)","journal-title":"MSCS"},{"issue":"2","key":"1_CR2","first-page":"75","volume":"61","author":"C. Baier","year":"2006","unstructured":"Baier, C., Sirjani, M., Arbab, F., Rutten, J.: Modeling component connectors in Reo by constraint automata. SCP\u00a061(2), 75\u2013113 (2006)","journal-title":"SCP"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-540-68863-1_3","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"M. Boreale","year":"2008","unstructured":"Boreale, M., Bruni, R., De Nicola, R., Loreti, M.: Sessions and Pipelines for Structured Service Programming. In: Barthe, G., de Boer, F.S. (eds.) FMOODS 2008. LNCS, vol.\u00a05051, pp. 19\u201338. Springer, Heidelberg (2008)"},{"issue":"1","key":"1_CR4","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1145\/1869687.1869690","volume":"11","author":"L. Cesari","year":"2010","unstructured":"Cesari, L., Pugliese, R., Tiezzi, F.: A tool for rapid development of ws-bpel applications. SIGAPP Appl. Comput. Rev.\u00a011(1), 27\u201340 (2010)","journal-title":"SIGAPP Appl. Comput. Rev."},{"key":"1_CR5","unstructured":"Changizi, B., Kokash, N., Arbab, F.: A Unified Toolset for Business Process Model Formalization. In: Proceedings of FESCA 2010 (2010)"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-540-69534-9_6","volume-title":"Advanced Information Systems Engineering","author":"G. Decker","year":"2008","unstructured":"Decker, G., Kopp, O., Leymann, F., Pfitzner, K., Weske, M.: Modeling Service Choreographies Using BPMN and BPEL4Chor. In: Bellahs\u00e8ne, Z., L\u00e9onard, M. (eds.) CAiSE 2008. LNCS, vol.\u00a05074, pp. 79\u201393. Springer, Heidelberg (2008)"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Hull, R., Benedikt, M., Christophides, V., Su, J.: E-services: a look behind the curtain. In: PODS, pp. 1\u201314. ACM (2003)","DOI":"10.1145\/773153.773154"},{"key":"1_CR8","unstructured":"Jayasinghe, D., Azeez, A.: Apache Axis2 Web Services. Packt Publishing (2011)"},{"issue":"1","key":"1_CR9","doi-asserted-by":"publisher","first-page":"201","DOI":"10.7561\/SACS.2012.1.201","volume":"22","author":"S.S. Jongmans","year":"2012","unstructured":"Jongmans, S.S., Arbab, F.: Overview of Thirty Semantic Formalisms for Reo. SACS\u00a022(1), 201\u2013251 (2012)","journal-title":"SACS"},{"issue":"2","key":"1_CR10","first-page":"187","volume":"24","author":"N. Kokash","year":"2012","unstructured":"Kokash, N., Krause, C., de Vink, E.: Reo+mCRL2: A framework for model-checking dataflow in service compositions. FAC\u00a024(2), 187\u2013216 (2012)","journal-title":"FAC"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Meng, S., Arbab, F.: Web Services Choreography and Orchestration in Reo and Constraint Automata. In: Proceedings of SAC 2007, pp. 346\u2013353 (2007)","DOI":"10.1145\/1244002.1244085"},{"issue":"1","key":"1_CR12","doi-asserted-by":"crossref","first-page":"103","DOI":"10.3233\/FI-2009-144","volume":"95","author":"S. Meng","year":"2009","unstructured":"Meng, S., Arbab, F.: QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata. FI\u00a095(1), 103\u2013128 (2009)","journal-title":"FI"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Meng, S., Arbab, F.: A Model for Web Service Coordination in Long-Running Transactions. In: Proceedings of SOSE 2010, pp. 121\u2013128 (2010)","DOI":"10.1109\/SOSE.2010.51"},{"key":"1_CR14","first-page":"19","volume":"181","author":"F. Montesi","year":"2007","unstructured":"Montesi, F., Guidi, C., Lucchi, R., Zavattaro, G.: JOLIE: a Java Orchestration Language Interpreter Engine. ENTCS\u00a0181, 19\u201333 (2007)","journal-title":"ENTCS"},{"key":"1_CR15","unstructured":"Web services business process execution language (2007), http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/"},{"issue":"10","key":"1_CR16","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/MC.2003.1236471","volume":"36","author":"C. Peltz","year":"2003","unstructured":"Peltz, C.: Web Services Orchestration and Choreography. IEEE Computer\u00a036(10), 46\u201352 (2003)","journal-title":"IEEE Computer"},{"key":"1_CR17","unstructured":"Simple Object Access Protocol (2000), http:\/\/www.w3.org\/2000\/xp\/Group\/"},{"key":"1_CR18","unstructured":"Web Service Description Language (2001), http:\/\/www.w3.org\/TR\/wsdl"},{"key":"1_CR19","unstructured":"Web Service Choreography Interface (2002), http:\/\/www.w3.org\/TR\/wsci\/"},{"key":"1_CR20","unstructured":"Web Services Choreography Description Language (2005), http:\/\/www.w3.org\/TR\/ws-cdl-10\/"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Zhang, J., Chung, J.-Y., Chang, C., Kim, S.: WS-Net: A Petri-net Based Specification Model for Web Services. In: Proceedings of ICWS 2004, pp. 420\u2013427 (2004)","DOI":"10.1109\/ICWS.2004.1314766"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented and Cloud Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33427-6_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,7]],"date-time":"2025-04-07T04:05:48Z","timestamp":1743998748000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33427-6_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642334269","9783642334276"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33427-6_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}