{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:35:21Z","timestamp":1725543321963},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540346944"},{"type":"electronic","value":"9783540346951"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11767954_10","type":"book-chapter","created":{"date-parts":[[2006,6,10]],"date-time":"2006-06-10T15:48:13Z","timestamp":1149954493000},"page":"145-163","source":"Crossref","is-referenced-by-count":12,"title":["A WSDL-Based Type System for WS-BPEL"],"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":"10_CR1","unstructured":"Bloch, B., Curbera, F., Goland, Y., Kartha, N., Liu, C.K., Thatte, S., Yendluri, P., Yiu, A.: Web services business process execution language version 2.0. TR, WS-BPEL TC OASIS (2005), http:\/\/www.oasis-open.org\/"},{"key":"10_CR2","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_CR3","unstructured":"Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web services description language (wsdl) 1.1. TR, W3C (2001), http:\/\/www.w3.org\/TR\/wsdl\/"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/11693024_14","volume-title":"Programming Languages and Systems","author":"S. Carpineti","year":"2006","unstructured":"Carpineti, S., Laneve, C.: A basic contract language for web services. In: Sestoft, P. (ed.) ESOP 2006. LNCS, vol.\u00a03924, pp. 197\u2013213. Springer, Heidelberg (2006)"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/11538394_15","volume-title":"Business Process Management","author":"S. Hinz","year":"2005","unstructured":"Hinz, S., Schmidt, K., Stahl, C.: Transforming BPEL to petri nets. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol.\u00a03649, pp. 220\u2013235. Springer, Heidelberg (2005)"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Lapadula, A., Pugliese, R., Tiezzi, F.: A wsdl-based type system for WSBPEL. TR, Dipartimento di Sistemi e Informatica, Univ. Firenze (2006), http:\/\/www.dsi.unifi.it\/~pugliese\/DOWNLOAD\/wsc-full.ps","DOI":"10.1007\/11767954_10"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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)"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/11580850_11","volume-title":"Trustworthy Global Computing","author":"C. Laneve","year":"2005","unstructured":"Laneve, C., Zavattaro, G.: Web\u03c0 at work. In: De Nicola, R., Sangiorgi, D. (eds.) TGC 2005. LNCS, vol.\u00a03705, pp. 182\u2013194. Springer, Heidelberg (2005)"},{"issue":"10","key":"10_CR9","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1145\/944217.944236","volume":"46","author":"L.G. Meredith","year":"2003","unstructured":"Meredith, L.G., Bjorg, S.: Contracts and types. Comm. ACM\u00a046(10), 41\u201347 (2003)","journal-title":"Comm. ACM"},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.entcs.2004.05.008","volume":"105","author":"M. Viroli","year":"2004","unstructured":"Viroli, M.: Towards a formal foundational to orchestration languages. Electronic Notes in Theoretical Computer Science\u00a0105, 51\u201371 (2004)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"1","key":"10_CR11","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1006\/inco.1994.1093","volume":"115","author":"A.K. Wright","year":"1994","unstructured":"Wright, A.K., Felleisen, M.: A syntactic approach to type soundness. Information and Computation\u00a0115(1), 38\u201394 (1994)","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11767954_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:11:53Z","timestamp":1619507513000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11767954_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540346944","9783540346951"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/11767954_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}