{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T03:24:07Z","timestamp":1779074647422,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540250494","type":"print"},{"value":"9783540318118","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31811-8_2","type":"book-chapter","created":{"date-parts":[[2010,3,1]],"date-time":"2010-03-01T10:30:50Z","timestamp":1267439450000},"page":"15-28","source":"Crossref","is-referenced-by-count":79,"title":["When are Two Web Services Compatible?"],"prefix":"10.1007","author":[{"given":"Lucas","family":"Bordeaux","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gwen","family":"Sala\u00fcn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniela","family":"Berardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimo","family":"Mecella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"publisher","first-page":"552","DOI":"10.1007\/3-540-45017-3_37","volume-title":"Proc. of Conf. on Advanced Information Systems Engineering (CAISE)","author":"V. Antonellis De","year":"2003","unstructured":"De Antonellis, V., Melchiori, M., Pernici, B., Plebani, P.: A methodology for e-service substitutability in a virtual district environment. In: Proc. of Conf. on Advanced Information Systems Engineering (CAISE), pp. 552\u2013567. Springer, Heidelberg (2003)"},{"key":"2_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/3-540-46000-4_10","volume-title":"Coordination Models and Languages","author":"A. Bracciali","year":"2002","unstructured":"Bracciali, A., Brogi, A., Canal, C.: Dynamically adapting the behaviour of software components. In: Arbab, F., Talcott, C. (eds.) COORDINATION 2002. LNCS, vol.\u00a02315, pp. 88\u201395. Springer, Heidelberg (2002)"},{"key":"2_CR3","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":"2_CR4","doi-asserted-by":"crossref","unstructured":"Brogi, A., Canal, C., Pimentel, E., Vallecillo, A.: Formalizing web services choreographies. In: Proc. of workshop on Web Services and Formal Methods (WS-FM) (2004)","DOI":"10.1016\/j.entcs.2004.05.007"},{"key":"2_CR5","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1145\/775152.775210","volume-title":"Proc. of World Wide Web Conference (WWW)","author":"T. Bultan","year":"2003","unstructured":"Bultan, T., Fu, X., Hull, R., Su, J.: Conversation specification: a new approach to the design and analysis of E-service composition. In: Proc. of World Wide Web Conference (WWW), pp. 403\u2013410. ACM Press, New York (2003)"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Brogi, A., Pimentel, E., Rold\u00e1n, A.M.: Compatibility of Linda-based component interfaces. In: Proc. of workshop on Formal Methods and Component Interaction (FMCI). ENTCS, vol.\u00a066(4) (2002)","DOI":"10.1016\/S1571-0661(04)80451-1"},{"issue":"2","key":"2_CR7","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/322374.322380","volume":"30","author":"D. Brand","year":"1983","unstructured":"Brand, D., Zafiropulo, P.: On communicating finite-state machines. J. of the ACM\u00a030(2), 323\u2013342 (1983)","journal-title":"J. of the ACM"},{"issue":"8","key":"2_CR8","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1109\/TSE.2003.1183935","volume":"29","author":"C. Canal","year":"2003","unstructured":"Canal, C., Fuentes, L., Pimentel, E., Troya, J.M., Vallecillo, A.: Adding roles to CORBA objects. IEEE Transactions on Software Engineering\u00a029(8), 242\u2013260 (2003)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2_CR9","unstructured":"Li, Y., Jagadish, H.V.: Compatibility determination in web services. In: Proc. of ICEC eGovernment Services WS (2003)"},{"key":"2_CR10","unstructured":"Martens, A.: On compatibility of web services. Petri Net Newsletter\u00a065 (2003)"},{"issue":"10","key":"2_CR11","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1145\/944217.944236","volume":"46","author":"G. Meredith","year":"2003","unstructured":"Meredith, G., Bjorg, S.: Contracts and types. Communications of the ACM\u00a046(10), 41\u201347 (2003)","journal-title":"Communications of the ACM"},{"key":"2_CR12","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"2_CR13","first-page":"44","volume-title":"Proc. of VLDB satellite workshop on Technologies for E-Services (TES)","author":"M. Mecella","year":"2001","unstructured":"Mecella, M., Pernici, B., Craca, P.: Compatibility of e-services in a cooperative multi-platform environment. In: Proc. of VLDB satellite workshop on Technologies for E-Services (TES), pp. 44\u201357. Springer, Heidelberg (2001)"},{"key":"2_CR14","first-page":"77","volume-title":"Proc. of World Wide Web Conference (WWW)","author":"S. Narayanan","year":"2002","unstructured":"Narayanan, S., McIlraith, S.: Simulation, verification and automated composition of web services. In: Proc. of World Wide Web Conference (WWW), pp. 77\u201388. ACM Press, New York (2002)"},{"key":"2_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/3-540-45657-0_13","volume-title":"Computer Aided Verification","author":"S.K. Rajamani","year":"2002","unstructured":"Rajamani, S.K., Rehof, J.: Conformance checking for models of asynchronous message passing software. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 166\u2013179. Springer, Heidelberg (2002)"},{"key":"2_CR16","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1109\/ICWS.2004.1314722","volume-title":"Proc. of Int. Conf. on Web Services (ICWS)","author":"G. Sala\u00fcn","year":"2004","unstructured":"Sala\u00fcn, G., Bordeaux, L., Schaerf, M.: Describing and reasoning on web services using process algebra. In: Proc. of Int. Conf. on Web Services (ICWS), pp. 43\u201351. IEEE Computer Society Press, Los Alamitos (2004)"},{"issue":"2","key":"2_CR17","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1145\/244795.244801","volume":"19","author":"D. Yellin","year":"1997","unstructured":"Yellin, D., Strom, R.: Protocol specifications and component adaptors. ACM Transactions on Programming Languages and Systems\u00a019(2), 292\u2013333 (1997)","journal-title":"ACM Transactions on Programming Languages and Systems"}],"container-title":["Lecture Notes in Computer Science","Technologies for E-Services"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31811-8_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,24]],"date-time":"2021-10-24T01:40:59Z","timestamp":1635039659000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31811-8_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540250494","9783540318118"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31811-8_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}