{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T07:49:36Z","timestamp":1742975376388,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540749738"},{"type":"electronic","value":"9783540749745"}],"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-01247-1_8","type":"book-chapter","created":{"date-parts":[[2009,4,20]],"date-time":"2009-04-20T12:44:08Z","timestamp":1240231448000},"page":"79-90","source":"Crossref","is-referenced-by-count":0,"title":["Detecting Behavioural Incompatibilities between Pairs of Services"],"prefix":"10.1007","author":[{"given":"Ali","family":"A\u00eft-Bachir","sequence":"first","affiliation":[]},{"given":"Marlon","family":"Dumas","sequence":"additional","affiliation":[]},{"given":"Marie-Christine","family":"Fauvet","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85758-7_27","volume-title":"Business Process Management","author":"A. A\u00eft-Bachir","year":"2008","unstructured":"A\u00eft-Bachir, A., Dumas, M., Fauvet, M.-C.: BESERIAL: Behavioural Service Interface Analyser. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol.\u00a05240, Springer, Heidelberg (2008)"},{"issue":"3","key":"8_CR2","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1016\/j.datak.2005.07.006","volume":"58","author":"B. Benatallah","year":"2006","unstructured":"Benatallah, B., Casati, F., Toumani, F.: Representing, analysing and managing web service protocols. Data and Knowledge Engineering\u00a058(3), 327\u2013357 (2006)","journal-title":"Data and Knowledge Engineering"},{"key":"8_CR3","volume-title":"Proc. of the 14th WWW int. conf.","author":"D. Beyer","year":"2005","unstructured":"Beyer, D., Chakrabarti, A., Henzinger, T.A.: Web service interfaces. In: Proc. of the 14th WWW int. conf., Japan. ACM, New York (2005)"},{"key":"8_CR4","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":"8_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE","author":"J.C. Corrales","year":"2006","unstructured":"Corrales, J.C., Grigori, D., Bouzeghoub, M.: BPEL processes matchmaking for service discovery. In: Meersman, R., Tari, Z. (eds.) OTM 2006. LNCS, vol.\u00a04275. Springer, Heidelberg (2006)"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Fu, X., Bultan, T., Su, J.: Synchronizability of conversations among web services. IEEE Transactions on Software Engineering\u00a031(12) (2005)","DOI":"10.1109\/TSE.2005.141"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Foster, H., Uchitel, S., Magee, J., Kramer, J.: Ws-engineer: A tool for model-based verification of web service compositions and choreography. In: Proc. of the IEEE Int. Conf. on Software Engineering, China (2006)","DOI":"10.1109\/ICWS.2005.119"},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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. Springer, Heidelberg (2008)"},{"key":"8_CR9","volume-title":"Proc. of the Advanced Int. Conf. on Telecom. and Int. Conf. on Internet and Web Applications and Services","author":"A. Martens","year":"2006","unstructured":"Martens, A., Moser, S., Gerhardt, A., Funk, K.: Analyzing compatibility of bpel processes. In: Proc. of the Advanced Int. Conf. on Telecom. and Int. Conf. on Internet and Web Applications and Services, French Caribbean. IEEE, Los Alamitos (2006)"},{"key":"8_CR10","volume-title":"Proc. of the 16th WWW Int. Conf.","author":"H.R. Motahari-Nezhad","year":"2007","unstructured":"Motahari-Nezhad, H.R., Benatallah, B., Martens, A., Curbera, F., Casati, F.: Semi-automated adaptation of service interactions. In: Proc. of the 16th WWW Int. Conf., Canada. ACM, New York (2007)"},{"key":"8_CR11","volume-title":"Proc. of the 29th Int. Conf. on Software Engineering","author":"S. Nejati","year":"2007","unstructured":"Nejati, S., Sabetzadeh, M., Chechik, M., Easterbrook, S., Zave, P.: Matching and merging of statecharts specifications. In: Proc. of the 29th Int. Conf. on Software Engineering, USA. IEEE Computer Society, Los Alamitos (2007)"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/978-3-540-30229-2_18","volume-title":"Middleware 2004","author":"S.R. Ponnekanti","year":"2004","unstructured":"Ponnekanti, S.R., Fox, A.: Interoperability among independently evolving web services. In: Jacobsen, H.-A. (ed.) Middleware 2004. LNCS, vol.\u00a03231, pp. 331\u2013351. Springer, Heidelberg (2004)"},{"issue":"2","key":"8_CR13","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/1346337.1346241","volume":"2","author":"S.H. Ryu","year":"2008","unstructured":"Ryu, S.H., Casati, F., Skogsrud, H., Benatallah, B., Saint-Paul, R.: Supporting the dynamic evolution of web service protocols in service-oriented architectures. ACM Transactions on the Web\u00a02(2), 46 (2008)","journal-title":"ACM Transactions on the Web"},{"key":"8_CR14","volume-title":"Web Services Platform Architecture","author":"S. Weerawarana","year":"2005","unstructured":"Weerawarana, S., Curbera, F., Leymann, F., Storey, T., Ferguson, D.: Web Services Platform Architecture. Prentice-Hall, Englewood Cliffs (2005)"},{"key":"8_CR15","volume-title":"Proc. of the Int. Conf. on Multimedia and Expo.","author":"A. Wombacher","year":"2004","unstructured":"Wombacher, A., Fankhauser, P., Mahleko, B., Neuhold, E.: Matchmaking for business processes based on choreographies. In: Proc. of the Int. Conf. on Multimedia and Expo., Taipei, Taiwan. IEEE Computer Society Press, Los Alamitos (2004)"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing \u2013 ICSOC 2007"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01247-1_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,24]],"date-time":"2023-05-24T21:54:07Z","timestamp":1684965247000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01247-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783540749738","9783540749745"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01247-1_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}