{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T10:21:34Z","timestamp":1743070894079,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642019173"},{"type":"electronic","value":"9783642019180"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-01918-0_6","type":"book-chapter","created":{"date-parts":[[2009,5,21]],"date-time":"2009-05-21T06:29:47Z","timestamp":1242887387000},"page":"213-260","source":"Crossref","is-referenced-by-count":10,"title":["Contract-Based Discovery and Adaptation of Web Services"],"prefix":"10.1007","author":[{"given":"Luca","family":"Padovani","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Alves, A., Arkin, A., Askary, S., Barreto, C., et al.: Web Services Business Process Execution Language Version 2.0 (2007)"},{"issue":"2","key":"6_CR2","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1145\/1219092.1219094","volume":"54","author":"J.C.M. Baeten","year":"2007","unstructured":"Baeten, J.C.M., Corradini, F., Grabmayer, C.A.: A characterization of regular expressions under bisimulation. J. ACM\u00a054(2), 6 (2007)","journal-title":"J. ACM"},{"key":"6_CR3","unstructured":"Banerji, A., Bartolini, C., Beringer, D., Chopella, V., et al.: Web Services Conversation Language (wscl) 1.0 (2002)"},{"key":"6_CR4","unstructured":"Bellwood, T., Capell, S., Clement, L., Colgrave, J., et al.: uddi Version 3.0.2. OASIS Standard (2005), http:\/\/uddi.org\/pubs\/uddi-v3.0.2-20041019.htm"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-540-24593-3_4","volume-title":"Service-Oriented Computing - ICSOC 2003","author":"D. Berardi","year":"2003","unstructured":"Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M.: Automatic composition of e-services that export their behavior. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.P., Yang, J. (eds.) ICSOC 2003. LNCS, vol.\u00a02910, pp. 43\u201358. Springer, Heidelberg (2003)"},{"key":"6_CR6","unstructured":"Beringer, D., Kuno, H., Lemon, M.: Using wsclin a uddiRegistry 1.0 (2001)"},{"key":"6_CR7","volume-title":"lotos specifications, their implementations and their tests","author":"E. Brinksma","year":"1995","unstructured":"Brinksma, E., Scollo, G., Steenbergen, C.: lotos specifications, their implementations and their tests. IEEE Computer Society Press, Los Alamitos (1995)"},{"issue":"1\/2","key":"6_CR8","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1016\/0890-5401(90)90062-M","volume":"87","author":"K.B. Bruce","year":"1990","unstructured":"Bruce, K.B., Longo, G.: A modest model of records, inheritance and bounded quantification. Information and Computation\u00a087(1\/2), 196\u2013240 (1990)","journal-title":"Information and Computation"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/11841197_10","volume-title":"Web Services and Formal Methods","author":"S. Carpineti","year":"2006","unstructured":"Carpineti, S., Castagna, G., Laneve, C., Padovani, L.: A formal account of contracts for Web Services. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 148\u2013162. Springer, Heidelberg (2006)"},{"key":"6_CR10","first-page":"261","volume-title":"Proceedings of POPL 2008","author":"G. Castagna","year":"2008","unstructured":"Castagna, G., Gesbert, N., Padovani, L.: A theory of contracts for Web services. In: Proceedings of POPL 2008, pp. 261\u2013272. ACM, New York (2008)"},{"issue":"3","key":"6_CR11","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1093\/logcom\/14.3.405","volume":"14","author":"G. Chen","year":"2004","unstructured":"Chen, G.: Soundness of coercion in the calculus of constructions. Journal of Logic and Computation\u00a014(3), 405\u2013427 (2004)","journal-title":"Journal of Logic and Computation"},{"key":"6_CR12","unstructured":"Chinnici, R., Moreau, J.-J., Ryman, A., Weerawarana, S.: Web Services Description Language (wsdl) Version 2.0 Part 1: Core Language (2007)"},{"key":"6_CR13","unstructured":"Colgrave, J., Januszewski, K.: Using wsdl in a uddi registry, version 2.0.2. Technical note, OASIS (2004)"},{"key":"6_CR14","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0304-3975(83)90059-2","volume":"25","author":"B. Courcelle","year":"1983","unstructured":"Courcelle, B.: Fundamental properties of infinite trees. Theoretical Computer Science\u00a025, 95\u2013169 (1983)","journal-title":"Theoretical Computer Science"},{"key":"6_CR15","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R. Nicola De","year":"1984","unstructured":"De Nicola, R., Hennessy, M.: Testing equivalences for processes. Theoretical Computer Science\u00a034, 83\u2013133 (1984)","journal-title":"Theoretical Computer Science"},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1007\/3-540-17660-8_53","volume-title":"TAPSOFT \u201987 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987.","author":"R. Nicola De","year":"1987","unstructured":"De Nicola, R., Hennessy, M.: ccs without \u03c4\u2019s. In: Ehrig, H., Levi, G., Montanari, U. (eds.) CAAP 1987 and TAPSOFT 1987. LNCS, vol.\u00a0249, pp. 138\u2013152. Springer, Heidelberg (1987)"},{"issue":"1-3","key":"6_CR17","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/S0304-3975(02)00774-0","volume":"302","author":"R. Nicola De","year":"2003","unstructured":"De Nicola, R., Labella, A.: Nondeterministic regular expressions as solutions of equational systems. Theor. Comput. Sci.\u00a0302(1-3), 179\u2013189 (2003)","journal-title":"Theor. Comput. Sci."},{"issue":"4","key":"6_CR18","doi-asserted-by":"crossref","first-page":"297","DOI":"10.3233\/FUN-2002-52402","volume":"52","author":"R. Eshuis","year":"2002","unstructured":"Eshuis, R., Fokkinga, M.M.: Comparing refinements for failure and bisimulation semantics. Fundamenta Informaticae\u00a052(4), 297\u2013321 (2002)","journal-title":"Fundamenta Informaticae"},{"key":"6_CR19","unstructured":"De Giacomo, G., Sardi\u00f1a, S.: Automatic synthesis of new behaviors from a library of available behaviors. In: IJCAI, pp. 1866\u20131871 (2007)"},{"issue":"4","key":"6_CR20","doi-asserted-by":"publisher","first-page":"896","DOI":"10.1145\/4221.4249","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"Hennessy, M.: Acceptance trees. JACM: Journal of the ACM\u00a032(4), 896\u2013928 (1985)","journal-title":"JACM: Journal of the ACM"},{"key":"6_CR21","series-title":"Foundation of Computing","volume-title":"Algebraic Theory of Processes","author":"M. Hennessy","year":"1988","unstructured":"Hennessy, M.: Algebraic Theory of Processes. Foundation of Computing. MIT Press, Cambridge (1988)"},{"key":"6_CR22","first-page":"1","volume-title":"PODS 2003: Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems","author":"R. Hull","year":"2003","unstructured":"Hull, R., Benedikt, M., Christophides, V., Su, J.: E-services: a look behind the curtain. In: PODS 2003: Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, pp. 1\u201314. ACM, New York (2003)"},{"key":"6_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-540-39800-4_6","volume-title":"Formal Methods for Software Architectures","author":"P. Inverardi","year":"2003","unstructured":"Inverardi, P., Tivoli, M.: Software architecture for correct components assembly. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol.\u00a02804, pp. 92\u2013121. Springer, Heidelberg (2003)"},{"key":"6_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/978-3-540-74407-8_15","volume-title":"CONCUR 2007 \u2013 Concurrency Theory","author":"C. Laneve","year":"2007","unstructured":"Laneve, C., Padovani, L.: The must preorder revisited \u2013 an algebraic theory for web services contracts. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol.\u00a04703, pp. 212\u2013225. Springer, Heidelberg (2007)"},{"key":"6_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"681","DOI":"10.1007\/978-3-540-68679-8_42","volume-title":"Festschrift for Ugo Montanari on the Occasion of his 65th Birthday","author":"C. Laneve","year":"2008","unstructured":"Laneve, C., Padovani, L.: The pairing of contracts and session types. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Concurrency, Graphs and Models. LNCS, vol.\u00a05065, pp. 681\u2013700. Springer, Heidelberg (2008)"},{"issue":"1","key":"6_CR26","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 \u2013 a basis for wide-area computing. Software and Systems Modeling\u00a06(1), 83\u2013110 (2007)","journal-title":"Software and Systems Modeling"},{"key":"6_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/978-3-540-85361-9_13","volume-title":"CONCUR 2008 - Concurrency Theory","author":"L. Padovani","year":"2008","unstructured":"Padovani, L.: Contract-directed synthesis of simple orchestrators. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol.\u00a05201, pp. 131\u2013146. Springer, Heidelberg (2008)"},{"key":"6_CR28","first-page":"293","volume-title":"ICWS 2005: Proceedings of the IEEE International Conference on Web Services","author":"M. Pistore","year":"2005","unstructured":"Pistore, M., Traverso, P., Bertoli, P., Marconi, A.: Automated synthesis of composite bpel4ws web services. In: ICWS 2005: Proceedings of the IEEE International Conference on Web Services, Washington, DC, USA, pp. 293\u2013301. IEEE Computer Society, Los Alamitos (2005)"},{"key":"6_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/BFb0097792","volume-title":"Types for Proofs and Programs","author":"S. Soloviev","year":"1998","unstructured":"Soloviev, S., Jones, A., Luo, Z.: Some Algorithmic and Proof-Theoretical Aspects of Coercive Subtyping. In: Gim\u00e9nez, E. (ed.) TYPES 1996. LNCS, vol.\u00a01512, pp. 173\u2013196. Springer, Heidelberg (1998)"},{"key":"6_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1007\/978-3-540-30475-3_27","volume-title":"The Semantic Web \u2013 ISWC 2004","author":"P. Traverso","year":"2004","unstructured":"Traverso, P., Pistore, M.: Automated composition of semantic web services into executable processes. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol.\u00a03298, pp. 380\u2013394. Springer, Heidelberg (2004)"},{"key":"6_CR31","unstructured":"von Riegen, C., Trickovic, I.: Using bpel4ws in a uddi registry. Technical note, OASIS (2004)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Web Services"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01918-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T16:29:03Z","timestamp":1739118543000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01918-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642019173","9783642019180"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01918-0_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}