{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:21:08Z","timestamp":1725492068155},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540756972"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75698-9_15","type":"book-chapter","created":{"date-parts":[[2007,10,4]],"date-time":"2007-10-04T02:26:03Z","timestamp":1191464763000},"page":"223-239","source":"Crossref","is-referenced-by-count":10,"title":["Regulating Data Exchange in Service Oriented Applications"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Lapadula","sequence":"first","affiliation":[]},{"given":"Rosario","family":"Pugliese","sequence":"additional","affiliation":[]},{"given":"Francesco","family":"Tiezzi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/3-540-44577-3_6","volume-title":"Informatics","author":"F.B. Schneider","year":"2001","unstructured":"Schneider, F.B., Morrisett, G., Harper, R.: A language-based approach to security. In: Wilhelm, R. (ed.) Informatics. LNCS, vol.\u00a02000, pp. 86\u2013101. Springer, Heidelberg (2001)"},{"key":"15_CR2","first-page":"73","volume":"105","author":"A. Brogi","year":"2004","unstructured":"Brogi, A., Canal, C., Pimentel, E., Vallecillo, A.: Formalizing web service choreographies. ENTCS\u00a0105, 73\u201394 (2004)","journal-title":"ENTCS"},{"key":"15_CR3","first-page":"51","volume":"105","author":"M. Viroli","year":"2004","unstructured":"Viroli, M.: Towards a formal foundational to orchestration languages. ENTCS\u00a0105, 51\u201371 (2004)","journal-title":"ENTCS"},{"key":"15_CR4","volume-title":"WLFM","author":"P. Geguang","year":"2005","unstructured":"Geguang, P., Xiangpeng, Z., Shuling, W., Zongyan, Q.: Towards the semantics and verification of bpel4ws. In: WLFM, Elsevier, Amsterdam (2005)"},{"key":"15_CR5","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":"15_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/11690634_3","volume-title":"Foundations of Software Science and Computation Structures","author":"C. Laneve","year":"2006","unstructured":"Laneve, C., Padovani, L.: Smooth orchestrators. In: Aceto, L., Ing\u00f3lfsd\u00f3ttir, A. (eds.) FOSSACS 2006 and ETAPS 2006. LNCS, vol.\u00a03921, pp. 32\u201346. Springer, Heidelberg (2006)"},{"key":"15_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/11767954_10","volume-title":"Coordination Models and Languages","author":"A. Lapadula","year":"2006","unstructured":"Lapadula, A., Pugliese, R., Tiezzi, F.: A WSDL-based type system for WS-BPEL. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol.\u00a04038, pp. 145\u2013163. Springer, Heidelberg (2006)"},{"key":"15_CR8","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)"},{"key":"15_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/978-3-540-71316-6_4","volume-title":"ESOP","author":"A. Lapadula","year":"2007","unstructured":"Lapadula, A., Pugliese, R., Tiezzi, F.: A Calculus for Orchestration of Web Services. In: ESOP. LNCS, vol.\u00a04421, pp. 33\u201347. Springer, Heidelberg (2007)"},{"key":"15_CR10","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/j.scico.2005.07.013","volume":"63","author":"R. Nicola De","year":"2006","unstructured":"De Nicola, R., Gorla, D., Pugliese, R.: Confining data and processes in global computing applications. Science of Computer Programming\u00a063, 57\u201387 (2006)","journal-title":"Science of Computer Programming"},{"key":"15_CR11","unstructured":"OASIS. Web Services Business Process Execution Language Version 2.0. Technical report, WS-BPEL TC OASIS (August 2006), http:\/\/www.oasis-open.org\/"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Lapadula, A., Pugliese, R., Tiezzi, F.: A Calculus for Orchestration of Web Services (full version). Technical report, Dipartimento di Sistemi e Informatica, Univ. Firenze (2007), http:\/\/rap.dsi.unifi.it\/cows","DOI":"10.1007\/978-3-540-71316-6_4"},{"key":"15_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/BFb0014053","volume-title":"Typed Lambda Calculi and Applications","author":"H. Goguen","year":"1995","unstructured":"Goguen, H.: Typed operational semantics. In: Dezani-Ciancaglini, M., Plotkin, G. (eds.) TLCA 1995. LNCS, vol.\u00a0902, pp. 186\u2013200. Springer, Heidelberg (1995)"},{"issue":"5","key":"15_CR14","doi-asserted-by":"publisher","first-page":"715","DOI":"10.1017\/S0960129504004323","volume":"14","author":"M. Merro","year":"2004","unstructured":"Merro, M., Sangiorgi, D.: On asynchrony in name-passing calculi. Mathematical Structures in Computer Science\u00a014(5), 715\u2013767 (2004)","journal-title":"Mathematical Structures in Computer Science"},{"key":"15_CR15","unstructured":"Lapadula, A., Pugliese, R., Tiezzi, F.: Regulating data exchange in service oriented applications (full version). Technical report, Dipartimento di Sistemi e Informatica, Univ. Firenze (2007), http:\/\/rap.dsi.unifi.it\/cows"},{"key":"15_CR16","unstructured":"Ross-Talbot, S., Fletcher, T.: Web services choreography description language: Primer (working draft). Technical report, W3C (June 2006)"},{"key":"15_CR17","first-page":"283","volume-title":"CSFW","author":"Z.D. Kirli","year":"2001","unstructured":"Kirli, Z.D.: Confined mobile functions. In: CSFW, pp. 283\u2013294. IEEE, Los Alamitos (2001)"},{"issue":"2","key":"15_CR18","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1016\/S0890-5401(01)93121-9","volume":"177","author":"L. Cardelli","year":"2002","unstructured":"Cardelli, L., Ghelli, G., Gordon, A.D.: Types for the ambient calculus. Inf. Comput.\u00a0177(2), 160\u2013194 (2002)","journal-title":"Inf. Comput."},{"issue":"2","key":"15_CR19","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/j.ic.2004.08.003","volume":"196","author":"L. Cardelli","year":"2005","unstructured":"Cardelli, L., Ghelli, G., Gordon, A.D.: Secrecy and group creation. Inf. Comput.\u00a0196(2), 127\u2013155 (2005)","journal-title":"Inf. Comput."},{"issue":"6","key":"15_CR20","first-page":"507","volume":"31","author":"J. Vitek","year":"2001","unstructured":"Vitek, J., Bokowski, B.: Confined types in java. SPE\u00a031(6), 507\u2013532 (2001)","journal-title":"SPE"},{"key":"15_CR21","first-page":"135","volume-title":"OOPSLA","author":"T. Zhao","year":"2003","unstructured":"Zhao, T., Palsber, J., Vitek, J.: Lightweight confinement for featherweight java. In: OOPSLA, pp. 135\u2013148. ACM Press, New York (2003)"},{"key":"15_CR22","series-title":"(to appear as ENTCS)","volume-title":"DCM","author":"M. Carbone","year":"2006","unstructured":"Carbone, M., Honda, K., Yoshida, N.: A calculus of global interaction based on session types. In: DCM, Elsevier, Amsterdam (2006) (to appear as ENTCS)"},{"key":"15_CR23","series-title":"ENTCS","volume-title":"SecReT","author":"N. Yoshida","year":"2006","unstructured":"Yoshida, N., Vasconcelos, V.T.: Language primitives and type discipline for structured communication-based programming revisited: Two systems for higher-order session communication. In: SecReT. ENTCS, Elsevier, Amsterdam (2006)"},{"key":"15_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1007\/978-3-540-40007-3_26","volume-title":"Formal Methods at the Crossroads. From Panacea to Foundational Support","author":"N. Kobayashi","year":"2003","unstructured":"Kobayashi, N.: Type systems for concurrent programs. In: Aichernig, B.K., Maibaum, T.S.E. (eds.) Formal Methods at the Crossroads. From Panacea to Foundational Support. LNCS, vol.\u00a02757, pp. 439\u2013453. Springer, Heidelberg (2003)"},{"issue":"1-3","key":"15_CR25","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/S0304-3975(03)00325-6","volume":"311","author":"A. Igarashi","year":"2004","unstructured":"Igarashi, A., Kobayashi, N.: A generic type system for the pi-calculus. Theor. Comput. Sci.\u00a0311(1-3), 121\u2013163 (2004)","journal-title":"Theor. Comput. Sci."},{"key":"15_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1007\/11609773_20","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"N. Kobayashi","year":"2005","unstructured":"Kobayashi, N., Suenaga, K., Wischik, L.: Resource usage analysis for the \u03c0-calculus. In: Emerson, E.A., Namjoshi, K.S. (eds.) VMCAI 2006. LNCS, vol.\u00a03855, pp. 298\u2013312. Springer, Heidelberg (2005)"},{"key":"15_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"282","DOI":"10.1007\/978-3-540-31982-5_18","volume-title":"Foundations of Software Science and Computational Structures","author":"C. Laneve","year":"2005","unstructured":"Laneve, C., Zavattaro, G.: Foundations of web transactions. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol.\u00a03441, pp. 282\u2013298. Springer, Heidelberg (2005)"},{"issue":"1","key":"15_CR28","first-page":"96","volume":"70","author":"M. Mazzara","year":"2006","unstructured":"Mazzara, M., Lucchi, R.: A pi-calculus based semantics for WS-BPEL. Journal of Logic and Algebraic Programming\u00a070(1), 96\u2013118 (2006)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"15_CR29","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1145\/1040305.1040323","volume-title":"POPL","author":"R. Bruni","year":"2005","unstructured":"Bruni, R., Melgratti, H.C., Montanari, U.: Theoretical foundations for compensations in flow composition languages. In: POPL, pp. 209\u2013220. ACM Press, New York (2005)"},{"key":"15_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/11539452_30","volume-title":"CONCUR 2005 \u2013 Concurrency Theory","author":"R. Bruni","year":"2005","unstructured":"Bruni, R., Butler, M., Ferreira, C., Hoare, T., Melgratti, H.C., Montanari, U.: Comparing two approaches to compensable flow composition. In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol.\u00a03653, pp. 383\u2013397. Springer, Heidelberg (2005)"},{"key":"15_CR31","first-page":"249","volume-title":"SIGMOD","author":"H. Garcia-Molina","year":"1987","unstructured":"Garcia-Molina, H., Salem, K.: Sagas. In: SIGMOD, pp. 249\u2013259. ACM Press, New York (1987)"},{"key":"15_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11768869_1","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"M. Bartoletti","year":"2006","unstructured":"Bartoletti, M., Degano, P., Ferrari, G.: Security Issues in Service Composition. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol.\u00a04037, pp. 1\u201316. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","International Symposium on Fundamentals of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75698-9_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:27:32Z","timestamp":1619519252000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75698-9_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540756972"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75698-9_15","relation":{},"subject":[]}}