{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T14:55:49Z","timestamp":1743087349825,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642173578"},{"type":"electronic","value":"9783642173585"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-17358-5_47","type":"book-chapter","created":{"date-parts":[[2010,11,24]],"date-time":"2010-11-24T12:06:22Z","timestamp":1290600382000},"page":"619-626","source":"Crossref","is-referenced-by-count":4,"title":["Quantifying Service Compatibility: A Step beyond the Boolean Approaches"],"prefix":"10.1007","author":[{"given":"Meriem","family":"Ouederni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gwen","family":"Sala\u00fcn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ernesto","family":"Pimentel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"47_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Service-Oriented Computing \u2013 ICSOC 2008","author":"A. A\u00eft-Bachir","year":"2008","unstructured":"A\u00eft-Bachir, A.: Measuring Similarity of Service Interfaces. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol.\u00a05364. Springer, Heidelberg (2008)"},{"key":"47_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-540-31811-8_2","volume-title":"Technologies for E-Services","author":"L. Bordeaux","year":"2005","unstructured":"Bordeaux, L., Sala\u00fcn, G., Berardi, D., Mecella, M.: When are Two Web Services Compatible?. In: Shan, M.-C., Dayal, U., Hsu, M. (eds.) TES 2004. LNCS, vol.\u00a03324, pp. 15\u201328. Springer, Heidelberg (2005)"},{"key":"47_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/978-3-642-01918-0_7","volume-title":"Formal Methods for Web Services","author":"M. Bravetti","year":"2009","unstructured":"Bravetti, M., Zavattaro, G.: Contract-Based Discovery and Composition of Web Services. In: Bernardo, M., Padovani, L., Zavattaro, G. (eds.) SFM 2009. LNCS, vol.\u00a05569, pp. 261\u2013295. Springer, Heidelberg (2009)"},{"key":"47_CR4","first-page":"65","volume-title":"Proc. of QSIC 2009","author":"J. C\u00e1mara","year":"2009","unstructured":"C\u00e1mara, J., Sala\u00fcn, G., Canal, C., Ouederni, M.: Interactive Specification and Verification of Behavioural Adaptation Contracts. In: Proc. of QSIC 2009, pp. 65\u201375. IEEE Computer Society, Los Alamitos (2009)"},{"key":"47_CR5","first-page":"109","volume-title":"Proc. of ESEC\/FSE 2001","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.: Interface Automata. In: Proc. of ESEC\/FSE 2001, pp. 109\u2013120. ACM Press, New York (2001)"},{"key":"47_CR6","doi-asserted-by":"crossref","unstructured":"Dur\u00e1n, F., Ouederni, M., Sala\u00fcn, G.: Checking Protocol Compatibility using Maude. In: Proc. of FOCLASA 2009. ENTCS, vol.\u00a0255, pp. 65\u201381 (2009)","DOI":"10.1016\/j.entcs.2009.10.025"},{"key":"47_CR7","first-page":"621","volume-title":"Proc. of WWW 2004","author":"X. Fu","year":"2004","unstructured":"Fu, X., Bultan, T., Su, J.: Analysis of Interacting BPEL Web Services. In: Proc. of WWW 2004, pp. 621\u2013630. ACM Press, New York (2004)"},{"key":"47_CR8","first-page":"391","volume-title":"Proc. of SEFM 2007","author":"N. Hameurlain","year":"2007","unstructured":"Hameurlain, N.: Flexible Behavioural Compatibility and Substitutability for Component Protocols: A Formal Specification. In: Proc. of SEFM 2007, pp. 391\u2013400. IEEE Computer Society, Los Alamitos (2007)"},{"key":"47_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-540-85758-7_12","volume-title":"Business Process Management","author":"N. Lohmann","year":"2008","unstructured":"Lohmann, N.: Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol.\u00a05240, pp. 132\u2013147. Springer, Heidelberg (2008)"},{"key":"47_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-540-89652-4_10","volume-title":"Service-Oriented Computing \u2013 ICSOC 2008","author":"R. Mateescu","year":"2008","unstructured":"Mateescu, R., Poizat, P., Sala\u00fcn, G.: Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol.\u00a05364, pp. 84\u201399. Springer, Heidelberg (2008)"},{"key":"47_CR11","first-page":"117","volume-title":"Proc. of ICDE 2002","author":"S. Melnik","year":"2002","unstructured":"Melnik, S., Garcia-Molina, H., Rahm, E.: Similarity Flooding: A Versatile Graph Matching Algorithm and Its Application to Schema Matching. In: Proc. of ICDE 2002, pp. 117\u2013128. IEEE Computer Society, Los Alamitos (2002)"},{"key":"47_CR12","first-page":"54","volume-title":"Proc. of ICSE 2007","author":"S. Nejati","year":"2007","unstructured":"Nejati, S., Sabetzadeh, M., Chechik, M., Easterbrook, S.M., Zave, P.: Matching and Merging of Statecharts Specifications. In: Proc. of ICSE 2007, pp. 54\u201364. ACM Press, New York (2007)"},{"key":"47_CR13","first-page":"1024","volume-title":"Proc. of AAAI 2004","author":"T. Pedersen","year":"2004","unstructured":"Pedersen, T., Patwardhan, S., Michelizzi, J.: WordNet:Similarity - Measuring the Relatedness of Concepts. In: Proc. of AAAI 2004, pp. 1024\u20131025. AAAI, Menlo Park (2004)"},{"issue":"2","key":"47_CR14","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1504\/IJBPIM.2006.010025","volume":"1","author":"G. Sala\u00fcn","year":"2006","unstructured":"Sala\u00fcn, G., Bordeaux, L., Schaerf, M.: Describing and Reasoning on Web Services using Process Algebra. IJBPIM\u00a01(2), 116\u2013128 (2006)","journal-title":"IJBPIM"},{"key":"47_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1007\/11691372_28","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"O. Sokolsky","year":"2006","unstructured":"Sokolsky, O., Kannan, S., Lee, I.: Simulation-Based Graph Similarity. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol.\u00a03920, pp. 426\u2013440. Springer, Heidelberg (2006)"},{"issue":"1","key":"47_CR16","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/s10115-008-0143-5","volume":"19","author":"Z. Wu","year":"2009","unstructured":"Wu, Z., Deng, S., Li, Y., Wu, J.: Computing Compatibility in Dynamic Service Composition. Knowledge and Information Systems\u00a019(1), 107\u2013129 (2009)","journal-title":"Knowledge and Information Systems"},{"issue":"2","key":"47_CR17","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1145\/244795.244801","volume":"19","author":"D.M. Yellin","year":"1997","unstructured":"Yellin, D.M., Strom, R.E.: Protocol Specifications and Component Adaptors. ACM Trans. Program. Lang. Syst.\u00a019(2), 292\u2013333 (1997)","journal-title":"ACM Trans. Program. Lang. Syst."}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17358-5_47","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T10:26:30Z","timestamp":1559816790000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17358-5_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642173578","9783642173585"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17358-5_47","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}