{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T22:36:53Z","timestamp":1763764613221},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2013,12,17]],"date-time":"2013-12-17T00:00:00Z","timestamp":1387238400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SOCA"],"published-print":{"date-parts":[[2014,12]]},"DOI":"10.1007\/s11761-013-0147-1","type":"journal-article","created":{"date-parts":[[2013,12,16]],"date-time":"2013-12-16T08:05:59Z","timestamp":1387181159000},"page":"277-297","source":"Crossref","is-referenced-by-count":15,"title":["Orchestrating web services using Reo: from circuits and behaviors to automatically generated code"],"prefix":"10.1007","volume":"8","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","published-online":{"date-parts":[[2013,12,17]]},"reference":[{"issue":"3","key":"147_CR1","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1017\/S0960129504004153","volume":"14","author":"F Arbab","year":"2004","unstructured":"Arbab F (2004) Reo: a channel-based coordination model for component composition. Math Struct Comput Sci 14(3):329\u2013366. doi: 10.1017\/S0960129504004153","journal-title":"Math Struct Comput Sci"},{"key":"147_CR2","doi-asserted-by":"crossref","unstructured":"Arbab F (2006) Composition of interacting computations. In: Goldin D, Smolka S, Wegner P (eds) Interactive computation, pp 277\u2013321. Springer, Berlin. doi: 10.1007\/3-540-34874-3_12","DOI":"10.1007\/3-540-34874-3_12"},{"key":"147_CR3","doi-asserted-by":"crossref","unstructured":"Arbab F (2011) Puff, the magic protocol. In: Agha G, Danvy O, Meseguer J (eds) Talcott Festschrift, LNCS, vol 7000, pp 169\u2013206. Springer, Berlin. doi: 10.1007\/978-3-642-24933-4_9","DOI":"10.1007\/978-3-642-24933-4_9"},{"key":"147_CR4","doi-asserted-by":"crossref","unstructured":"Arbab F, Santini F (2013) Preference and similarity-based behavioral discovery of services. In: ter Beek M, Lohmann N (eds) Proceedings of WS-FM 2012, LNCS, vol 7843, pp 118\u2013133. Springer, Berlin. doi: 10.1007\/978-3-642-38230-7_8","DOI":"10.1007\/978-3-642-38230-7_8"},{"key":"147_CR5","doi-asserted-by":"crossref","unstructured":"Baier C, Blechmann T, Klein J, Kl\u00fcppelholz S (2009) A uniform framework for modeling and verifying components and connectors. In: Field J, Vasconcelos V (eds) Proceedings of COORDINATION 2009, LNCS, vol 5521, pp 247\u2013267. Springer, Berlin. doi: 10.1007\/978-3-642-02053-7_13","DOI":"10.1007\/978-3-642-02053-7_13"},{"issue":"2","key":"147_CR6","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/j.scico.2005.10.008","volume":"61","author":"C Baier","year":"2006","unstructured":"Baier C, Sirjani M, Arbab F, Rutten J (2006) Modeling component connectors in Reo by constraint automata. Sci Comput Program 61(2):75\u2013113. doi: 10.1016\/j.scico.2005.10.008","journal-title":"Sci Comput Program"},{"key":"147_CR7","doi-asserted-by":"crossref","unstructured":"ter Beek M, Bucchiarone A, Gnesi S (2007) Web service composition approaches: from industrial standards to formal methods. In: Galizia S, Emig C, Martens A, Roman D, Wombacher A (eds) Proceedings of ICIW 2007, pp 224\u2013233. IEEE doi: 10.1109\/ICIW.2007.71","DOI":"10.1109\/ICIW.2007.71"},{"key":"147_CR8","unstructured":"Blechmann T, Klein J, Kl\u00fcppelholz S Vereofy V1.1\u2014user manual. Technical University of Dresden"},{"key":"147_CR9","doi-asserted-by":"crossref","unstructured":"Boreale M, Bruni R, de Nicola R, Loreti M (2008) Sessions and pipelines for structured service programming. In: Barthe G, de Boer F (eds) Proceedings of FMOODS 2008, LNCS, vol 5051, pp 19\u201338. Springer, Berlin. doi: 10.1007\/978-3-540-68863-1_3","DOI":"10.1007\/978-3-540-68863-1_3"},{"key":"147_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0049-237X(09)70564-6","volume":"44","author":"R B\u00fcchi","year":"1962","unstructured":"B\u00fcchi R (1962) Symposium on decision problems: on a decision method in restricted second order arithmetic. Stud Logic Found Math 44:1\u201311. doi: 10.1016\/S0049-237X(09)70564-6","journal-title":"Stud Logic Found Math"},{"issue":"1","key":"147_CR11","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1145\/1869687.1869690","volume":"11","author":"L Cesari","year":"2010","unstructured":"Cesari L, Pugliese R, Tiezzi F (2010) A tool for rapid development of WS-BPEL applications. ACM SIGAPP Appl Comput Rev 11(1):27\u201340. doi: 10.1145\/1869687.1869690","journal-title":"ACM SIGAPP Appl Comput Rev"},{"key":"147_CR12","unstructured":"Changizi B (2014) Model based analysis of business process models. Ph.D. Thesis, Leiden University (2014, expected). (in preparation)"},{"key":"147_CR13","unstructured":"Changizi B, Kokash N, Arbab F (2010) A unified toolset for business process model formalization. In: Preproceedings of FESCA 2010"},{"key":"147_CR14","doi-asserted-by":"crossref","unstructured":"Decker G, Kopp O, Leymann F, Pfitzner K, Weske M (2008) Modeling service choreographies using BPMN and BPEL4Chor. In: Bellahs\u00e8ne Z, L\u00e9onard M (eds) Proceedings of CAiSE 2008, LNCS, vol 5074, pp 79\u201393. Springer, Berlin. doi: 10.1007\/978-3-540-69534-9_6","DOI":"10.1007\/978-3-540-69534-9_6"},{"key":"147_CR15","unstructured":"Fielding R (2000) Architectural styles and the design of network-based software architectures. PhD Thesis, University of California, Irvine"},{"key":"147_CR16","doi-asserted-by":"crossref","unstructured":"Hull R, Benedikt M, Christophides V, Su J (2003) E-services: a look behind the curtain. In: Beeri C, Milo T, Neven F (eds) Proceedings of PODS 2003, pp 1\u201314. ACM. doi: 10.1145\/773153.773154","DOI":"10.1145\/773153.773154"},{"key":"147_CR17","unstructured":"Izadi M (2011) Model checking of component connectors. Ph.D. thesis, Leiden University http:\/\/hdl.handle.net\/1887\/18189"},{"issue":"1","key":"147_CR18","doi-asserted-by":"crossref","first-page":"201","DOI":"10.7561\/SACS.2012.1.201","volume":"22","author":"SS Jongmans","year":"2012","unstructured":"Jongmans SS, Arbab F (2012) Overview of thirty semantic formalisms for Reo. Sci Ann Comput Sci 22(1):201\u2013251. doi: 10.7561\/SACS.2012.1.201","journal-title":"Sci Ann Comput Sci"},{"key":"147_CR19","doi-asserted-by":"crossref","unstructured":"Jongmans SS, Arbab F (2013) Global consensus through local synchronization. In: Canal C, Villari M (eds) Proceedings of FOCLASA 2013, CCIS, vol 393, pp 174\u2013188. Springer","DOI":"10.1007\/978-3-642-45364-9_15"},{"key":"147_CR20","doi-asserted-by":"crossref","unstructured":"Jongmans SS, Arbab F (2013) Modularizing and specifying protocols among threads. In: Gay S, Kelly P (eds) Proceedings of PLACES 2012, EPTCS, vol 109, pp 34\u201345. CoRR. doi: 10.4204\/EPTCS.109.6","DOI":"10.4204\/EPTCS.109.6"},{"key":"147_CR21","doi-asserted-by":"crossref","unstructured":"Jongmans SS, Clarke D, Proen\u00e7a J (2012) A procedure for splitting processes and its application to coordination. In: Kokash N, Ravara A (eds) Proceedings of FOCLASA 2012, EPTCS, vol 91, pp 79\u201396. CoRR. doi: 10.4204\/EPTCS.91.6","DOI":"10.4204\/EPTCS.91.6"},{"issue":"2","key":"147_CR22","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/s00165-011-0191-6","volume":"24","author":"N Kokash","year":"2012","unstructured":"Kokash N, Krause C, de Vink E (2012) Reo+mCRL2: a framework for model-checking dataflow in service compositions. Formal Aspects Comput 24(2):187\u2013216. doi: 10.1007\/s00165-011-0191-6","journal-title":"Formal Aspects Comput"},{"key":"147_CR23","doi-asserted-by":"crossref","unstructured":"Meng S, Arbab F (2007) Web services choreography and orchestration in Reo and constraint automata. In: Ricci A, Angerer B, Schumacher M (eds) Proceedings of SAC 2007, pp 346\u2013353. ACM. doi: 10.1145\/1244002.1244085","DOI":"10.1145\/1244002.1244085"},{"issue":"1","key":"147_CR24","doi-asserted-by":"crossref","first-page":"103","DOI":"10.3233\/FI-2009-144","volume":"95","author":"S Meng","year":"2009","unstructured":"Meng S (2009) Arbab F QoS-driven service selection and composition using quantitative constraint automata. Fundamenta Informaticae 95(1):103\u2013128. doi: 10.3233\/FI-2009-144","journal-title":"Fundamenta Informaticae"},{"key":"147_CR25","doi-asserted-by":"crossref","unstructured":"Meng S, Arbab F (2010) A model for web service coordination in long-running transactions. In: Bai X, Li Y (eds) Proceedings of SOSE 2010, pp 121\u2013128. IEEE. doi: 10.1109\/SOSE.2010.51","DOI":"10.1109\/SOSE.2010.51"},{"key":"147_CR26","doi-asserted-by":"crossref","unstructured":"Montesi F, Guidi C, Lucchi R, Zavattaro G (2007) JOLIE: a java orchestration language interpreter engine. In: Boella G, Dastani M, Omicini A, van der Torre L (eds) Proceedings of CoOrg 2006, ENTCS, vol 181, pp 19\u201333. Elsevier, Amsterdam. doi: 10.1016\/j.entcs.2007.01.051","DOI":"10.1016\/j.entcs.2007.01.051"},{"key":"147_CR27","doi-asserted-by":"crossref","unstructured":"Parr T (2004) Enforcing strict model-view separation in template engines. In: Feldman S, Uretsky M, Najork M, Wills C (eds) Proceedings of WWW 2004, pp 224\u2013233. ACM. doi: 10.1145\/988672.988703","DOI":"10.1145\/988672.988703"},{"key":"147_CR28","doi-asserted-by":"crossref","unstructured":"Pautasso C (2009) RESTful web service composition with BPEL for REST. Data Knowl Eng 68(9):851\u2013866. doi: 10.1016\/j.datak.2009.02.016","DOI":"10.1016\/j.datak.2009.02.016"},{"issue":"10","key":"147_CR29","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1109\/MC.2003.1236471","volume":"36","author":"C Peltz","year":"2003","unstructured":"Peltz C (2003) Web services orchestration and choreography. Computer 36(10):46\u201352. doi: 10.1109\/MC.2003.1236471","journal-title":"Computer"},{"key":"147_CR30","doi-asserted-by":"crossref","unstructured":"Proen\u00e7a J, Clarke D, Vink, de, E, Arbab F (2011) Decoupled execution of synchronous coordination models via behavioural automata. In: Mousavi MR, Ravara A (eds) Proceedings of FOCLASA 2011, EPTCS, vol 58, pp 65\u201379. CoRR. doi: 10.4204\/EPTCS.58.5","DOI":"10.4204\/EPTCS.58.5"},{"key":"147_CR31","doi-asserted-by":"crossref","unstructured":"Sargolzaei M, Santini F, Arbab F, Afsarmanesh H (2013) A tool for behaviour-based discovery of approximately matching web services. In: Hierons R, Merayo M, Bravetti M (eds) Proceedings of SEFM 2013, LNCS, vol 8137, pp 152\u2013166. Springer, Berlin. doi: 10.1007\/978-3-642-40561-7_11","DOI":"10.1007\/978-3-642-40561-7_11"},{"key":"147_CR32","unstructured":"Simple Object Access Protocol (2000) http:\/\/www.w3.org\/2000\/xp\/Group\/"},{"issue":"1","key":"147_CR33","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.scico.2009.11.006","volume":"76","author":"C Talcott","year":"2011","unstructured":"Talcott C, Sirjani M (2011) Ren S comparing three coordination models: Reo, ARC, and PBRD. Sci Comput Program 76(1):3\u201322. doi: 10.1016\/j.scico.2009.11.006","journal-title":"Sci Comput Program"},{"key":"147_CR34","unstructured":"Vajjhala S, Fialli J (2006) The java architecture for XML binding (JAXB) 2.0"},{"key":"147_CR35","unstructured":"Web services business process execution language (2007) http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/"},{"key":"147_CR36","unstructured":"Web Service Description Language (2001) http:\/\/www.w3.org\/TR\/wsdl"},{"key":"147_CR37","unstructured":"Web Service Choreography Interface (2002) http:\/\/www.w3.org\/TR\/wsci"},{"key":"147_CR38","unstructured":"Web Services Choreography Description Language (2005) http:\/\/www.w3.org\/TR\/ws-cdl-10\/"},{"key":"147_CR39","doi-asserted-by":"crossref","unstructured":"Zhang J, Chung JY, Chang C, Kim S (2004) WS-Net: a petri-net based specification model for web services. In: Zhang LJ, Jain H, Liu L (eds) Proceedings of ICWS 2004, pp 420\u2013427. IEEE. doi: 10.1109\/ICWS.2004.1314766","DOI":"10.1109\/ICWS.2004.1314766"}],"container-title":["Service Oriented Computing and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-013-0147-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11761-013-0147-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-013-0147-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,12]],"date-time":"2020-08-12T04:44:04Z","timestamp":1597207444000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11761-013-0147-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12,17]]},"references-count":39,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2014,12]]}},"alternative-id":["147"],"URL":"https:\/\/doi.org\/10.1007\/s11761-013-0147-1","relation":{},"ISSN":["1863-2386","1863-2394"],"issn-type":[{"value":"1863-2386","type":"print"},{"value":"1863-2394","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,12,17]]}}}