{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,2]],"date-time":"2025-04-02T19:10:17Z","timestamp":1743621017550,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642300646"},{"type":"electronic","value":"9783642300653"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30065-3_10","type":"book-chapter","created":{"date-parts":[[2012,6,27]],"date-time":"2012-06-27T13:10:08Z","timestamp":1340802608000},"page":"160-178","source":"Crossref","is-referenced-by-count":2,"title":["Orchestrating Tuple-Based Languages"],"prefix":"10.1007","author":[{"given":"Rocco","family":"De Nicola","sequence":"first","affiliation":[]},{"given":"Andrea","family":"Margheri","sequence":"additional","affiliation":[]},{"given":"Francesco","family":"Tiezzi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Orc Reference Manual. Technical report, University of Texas at Austin (2011), http:\/\/orc.csres.utexas.edu\/documentation.shtml"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/11498094_17","volume-title":"Distributed Applications and Interoperable Systems","author":"L. Bettini","year":"2005","unstructured":"Bettini, L., De Nicola, R., Falassi, D., Lacoste, M., Loreti, M.: A Flexible and Modular Framework for Implementing Infrastructures for Global Computing. In: Kutvonen, L., Alonistioti, N. (eds.) DAIS 2005. LNCS, vol.\u00a03543, pp. 181\u2013193. Springer, Heidelberg (2005)"},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-540-68265-3_2","volume-title":"Coordination Models and Languages","author":"L. Bettini","year":"2008","unstructured":"Bettini, L., De Nicola, R., Loreti, M.: Implementing Session Centered Calculi. In: Wang, A.H., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol.\u00a05052, pp. 17\u201332. Springer, Heidelberg (2008)"},{"issue":"14","key":"10_CR4","doi-asserted-by":"publisher","first-page":"1365","DOI":"10.1002\/spe.486","volume":"32","author":"L. Bettini","year":"2002","unstructured":"Bettini, L., De Nicola, R., Pugliese, R.: Klava: a Java Package for Distributed and Mobile Applications. Software - Practice and Experience\u00a032(14), 1365\u20131394 (2002)","journal-title":"Software - Practice and Experience"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Bettini, L., De Nicola, R., Pugliese, R.: X-Klaim and Klava: Programming Mobile Code. In: TOSCA 2001. ENTCS, vol. 62. Elsevier (2001)","DOI":"10.1016\/S1571-0661(04)00317-2"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/978-3-540-40042-4_4","volume-title":"Global Computing. Programming Environments, Languages, Security, and Analysis of Systems","author":"L. Bettini","year":"2003","unstructured":"Bettini, L., Bono, V., De Nicola, R., Ferrari, G.-L., Gorla, D., Loreti, M., Moggi, E., Pugliese, R., Tuosto, E., Venneri, B.: The Klaim Project: Theory and Practice. In: Priami, C. (ed.) GC 2003. LNCS, vol.\u00a02874, pp. 88\u2013150. Springer, Heidelberg (2003)"},{"key":"10_CR7","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)"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-540-71316-6_3","volume-title":"Programming Languages and Systems","author":"M.G. Buscemi","year":"2007","unstructured":"Buscemi, M.G., Montanari, U.: CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 18\u201332. Springer, Heidelberg (2007)"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/11596141_18","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"N. Busi","year":"2005","unstructured":"Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and Orchestration: A Synergic Approach for System Design. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol.\u00a03826, pp. 228\u2013240. Springer, Heidelberg (2005)"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/11767954_5","volume-title":"Coordination Models and Languages","author":"N. Busi","year":"2006","unstructured":"Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and Orchestration Conformance for System Design. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol.\u00a04038, pp. 63\u201381. Springer, Heidelberg (2006)"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-540-71316-6_2","volume-title":"Programming Languages and Systems","author":"M. Carbone","year":"2007","unstructured":"Carbone, M., Honda, K., Yoshida, N.: Structured Communication-Centred Programming for Web Services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 2\u201317. Springer, Heidelberg (2007)"},{"issue":"1","key":"10_CR12","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S0304-3975(99)00231-5","volume":"240","author":"L. Cardelli","year":"2000","unstructured":"Cardelli, L., Gordon, A.D.: Mobile ambients. Theoretical Computer Science\u00a0240(1), 177\u2013213 (2000)","journal-title":"Theoretical Computer Science"},{"issue":"10","key":"10_CR13","doi-asserted-by":"publisher","first-page":"777","DOI":"10.1016\/j.scico.2009.03.002","volume":"74","author":"S. Carpineti","year":"2009","unstructured":"Carpineti, S., Laneve, C., Padovani, L.: PiDuce - a project for experimenting Web services technologies. Science of Comput. Program.\u00a074(10), 777\u2013811 (2009)","journal-title":"Science of Comput. Program."},{"key":"10_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/3-540-62852-5_16","volume-title":"Mobile Object Systems Towards the Programmable Internet","author":"P. Ciancarini","year":"1997","unstructured":"Ciancarini, P., Rossi, D.: Jada - Coordination and Communication for Java Agents. In: Tschudin, C.F., Ryan, M. (eds.) MOS 1996. LNCS, vol.\u00a01222, pp. 213\u2013226. Springer, Heidelberg (1997)"},{"issue":"5","key":"10_CR15","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1109\/32.685256","volume":"24","author":"R. De Nicola","year":"1998","unstructured":"De Nicola, R., Ferrari, G., Pugliese, R.: KLAIM: A Kernel Language for Agents Interaction and Mobility. Trans. on Software Engineering\u00a024(5), 315\u2013330 (1998)","journal-title":"Trans. on Software Engineering"},{"issue":"3","key":"10_CR16","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1016\/j.tcs.2006.02.007","volume":"356","author":"R. De Nicola","year":"2006","unstructured":"De Nicola, R., Gorla, D., Pugliese, R.: On the expressive power of KLAIM-based calculi. Theor. Comput. Sci.\u00a0356(3), 387\u2013421 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Denti, E., Natali, A., Omicini, A.: On the expressive power of a language for programming coordination media. In: SAC, pp. 169\u2013177. ACM (1998)","DOI":"10.1145\/330560.330665"},{"key":"10_CR18","unstructured":"Behrens, H., et al.: Xtext 1.0 (2010), http:\/\/www.eclipse.org\/xtext"},{"key":"10_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1007\/11948148_39","volume-title":"Service-Oriented Computing \u2013 ICSOC 2006","author":"G. Ferrari","year":"2006","unstructured":"Ferrari, G., Guanciale, R., Strollo, D.: Event Based Service Coordination over Dynamic and Heterogeneous Networks. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol.\u00a04294, pp. 453\u2013458. Springer, Heidelberg (2006)"},{"key":"10_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/11888116_4","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2006","author":"G. Ferrari","year":"2006","unstructured":"Ferrari, G., Guanciale, R., Strollo, D.: JSCL: A Middleware for Service Coordination. In: Najm, E., Pradat-Peyre, J.-F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol.\u00a04229, pp. 46\u201360. Springer, Heidelberg (2006)"},{"key":"10_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1007\/3-540-61604-7_67","volume-title":"CONCUR \u201996: Concurrency Theory","author":"C. Fournet","year":"1996","unstructured":"Fournet, C., Gonthier, G., Levy, J.J., Maranget, L., Remy, D.: A Calculus of Mobile Agents. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol.\u00a01119, pp. 406\u2013421. Springer, Heidelberg (1996)"},{"issue":"1","key":"10_CR22","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D. Gelernter","year":"1985","unstructured":"Gelernter, D.: Generative Communication in Linda. ACM Transactions on Programming Languages and Systems\u00a07(1), 80\u2013112 (1985)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/11948148_27","volume-title":"Service-Oriented Computing \u2013 ICSOC 2006","author":"C. Guidi","year":"2006","unstructured":"Guidi, C., Lucchi, R., Gorrieri, R., Busi, N., Zavattaro, G.: SOCK: A Calculus for Service Oriented Computing. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol.\u00a04294, pp. 327\u2013338. Springer, Heidelberg (2006)"},{"issue":"1","key":"10_CR24","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1006\/inco.2001.3089","volume":"173","author":"M. Hennessy","year":"2002","unstructured":"Hennessy, M., Riely, J.: Resource access control in systems of mobile agents. Information and Computation\u00a0173(1), 82\u2013120 (2002)","journal-title":"Information and Computation"},{"key":"10_CR25","doi-asserted-by":"crossref","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: POPL, pp. 273\u2013284. ACM Press (2008)","DOI":"10.1145\/1328897.1328472"},{"key":"10_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-02138-1_1","volume-title":"Formal Techniques for Distributed Systems","author":"D. Kitchin","year":"2009","unstructured":"Kitchin, D., Quark, A., Cook, W., Misra, J.: The Orc Programming Language. In: Lee, D., Lopes, A., Poetzsch-Heffter, A. (eds.) FMOODS 2009. LNCS, vol.\u00a05522, pp. 1\u201325. Springer, Heidelberg (2009)"},{"key":"10_CR27","doi-asserted-by":"crossref","unstructured":"Lanese, I., Guidi, C., Montesi, F., Zavattaro, G.: Bridging the Gap between Interaction- and Process-Oriented Choreographies. In: SEFM, pp. 323\u2013332. IEEE (2008)","DOI":"10.1109\/SEFM.2008.11"},{"key":"10_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-540-71316-6_4","volume-title":"Programming Languages and Systems","author":"A. Lapadula","year":"2007","unstructured":"Lapadula, A., Pugliese, R., Tiezzi, F.: A Calculus for Orchestration of Web Services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 33\u201347. Springer, Heidelberg (2007)"},{"key":"10_CR29","doi-asserted-by":"crossref","unstructured":"Margheri, A., De Nicola, R., Tiezzi, F.: Orchestrating Tuple-based Languages (full version). Technical report, IMT Advanced Studies Lucca (2011), http:\/\/cse.lab.imtlucca.it\/korc\/","DOI":"10.1007\/978-3-642-30065-3_10"},{"key":"10_CR30","doi-asserted-by":"crossref","unstructured":"Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes, I and II. Information and Computation\u00a0100(1), 1\u201340, 41\u201377 (1992)","DOI":"10.1016\/0890-5401(92)90009-5"},{"issue":"1","key":"10_CR31","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/s10270-006-0012-1","volume":"6","author":"J. Misra","year":"2007","unstructured":"Misra, J., Cook, W.R.: Computation Orchestration: A Basis for Wide-Area Computing. Journal of Software and Systems Modeling\u00a06(1), 83\u2013110 (2007)","journal-title":"Journal of Software and Systems Modeling"},{"key":"10_CR32","doi-asserted-by":"crossref","unstructured":"Montesi, F., Guidi, C., Lucchi, R., Zavattaro, G.: JOLIE: a Java Orchestration Language Interpreter Engine. In: MTCoord. ENTCS, vol.\u00a0181, pp. 19\u201333. Elsevier (2007)","DOI":"10.1016\/j.entcs.2007.01.051"},{"key":"10_CR33","unstructured":"OASIS WSBPEL TC. Web Services Business Process Execution Language Version 2.0. Technical report, OASIS (April 2007)"},{"issue":"10","key":"10_CR34","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. Computer\u00a036(10), 46\u201352 (2003)","journal-title":"Computer"},{"key":"10_CR35","doi-asserted-by":"crossref","unstructured":"Picco, G.P., Murphy, A.L., Roman, G.: Lime: Linda meets mobility. In: ICSE, pp. 368\u2013377. ACM (1999)","DOI":"10.1145\/302405.302659"},{"issue":"3","key":"10_CR36","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1023\/A:1019263731139","volume":"1","author":"A.I.T. Rowstron","year":"1998","unstructured":"Rowstron, A.I.T.: WCL: A Co-ordination Language for Geographically Distributed Agents. World Wide Web\u00a01(3), 167\u2013179 (1998)","journal-title":"World Wide Web"},{"key":"10_CR37","doi-asserted-by":"crossref","unstructured":"Tolksdorf, R.: Laura: A Coordination Language for Open Distributed Systems. In: ICDCS, pp. 39\u201346. IEEE (1993)","DOI":"10.1109\/ICDCS.1993.287725"},{"issue":"1","key":"10_CR38","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"W.M.P. Aalst van der","year":"2003","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow Patterns. Distributed and Parallel Databases\u00a014(1), 5\u201351 (2003)","journal-title":"Distributed and Parallel Databases"},{"key":"10_CR39","doi-asserted-by":"crossref","unstructured":"Wand, M., Siveroni, I.: Constraint systems for useless variable elimination. In: POPL, pp. 291\u2013302. ACM (1999)","DOI":"10.1145\/292540.292567"},{"issue":"2-3","key":"10_CR40","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1016\/j.tcs.2008.04.037","volume":"402","author":"I. Wehrman","year":"2008","unstructured":"Wehrman, I., Kitchin, D., Cook, W.R., Misra, J.: A timed semantics of orc. Theoretical Computer Science\u00a0402(2-3), 234\u2013248 (2008)","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Trustworthy Global Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30065-3_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,2]],"date-time":"2025-04-02T18:40:34Z","timestamp":1743619234000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30065-3_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642300646","9783642300653"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30065-3_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}