{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,27]],"date-time":"2026-10-27T18:17:57Z","timestamp":1793125077421,"version":"4.5.0"},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2008,5,30]],"date-time":"2008-05-30T00:00:00Z","timestamp":1212105600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Knowl Inf Syst"],"published-print":{"date-parts":[[2009,4]]},"DOI":"10.1007\/s10115-008-0143-5","type":"journal-article","created":{"date-parts":[[2008,5,29]],"date-time":"2008-05-29T09:02:05Z","timestamp":1212051725000},"page":"107-129","source":"Crossref","is-referenced-by-count":27,"title":["Computing compatibility in dynamic service composition"],"prefix":"10.1007","volume":"19","author":[{"given":"Zhaohui","family":"Wu","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shuiguang","family":"Deng","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ying","family":"Li","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jian","family":"Wu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2008,5,30]]},"reference":[{"issue":"1","key":"143_CR1","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1109\/MIC.2004.1260703","volume":"8","author":"B Benatallah","year":"2004","unstructured":"Benatallah B, Casati F, Toumani F (2004) Web service conversation modeling: a cornerstone for E-Business automation. IEEE Internet Comput 8(1): 46\u201354","journal-title":"IEEE Internet Comput"},{"key":"143_CR2","unstructured":"Bordeaux L, Sala\u00fcn C (2004) Using process algebra for Web services: early results and perspectives. In: Proceedings of VLDB Workshop on Technologies for E-Services, pp 54\u201368"},{"key":"143_CR3","doi-asserted-by":"crossref","unstructured":"Brogi A, Canal C, Pimentel E et al (2004) Formalizing Web service choreography. In: Proceedings of international workshop on Web services and formal methods, pp 576\u2013581","DOI":"10.1016\/j.entcs.2004.05.007"},{"issue":"1","key":"143_CR4","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1109\/MIC.2006.1","volume":"10","author":"T Bultan","year":"2006","unstructured":"Bultan T, Su J, Fu X (2006) Analyzing conversations of Web services. IEEE Internet Comput 10(1): 18\u201325","journal-title":"IEEE Internet Comput"},{"issue":"4","key":"143_CR5","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1142\/S0218843005001201","volume":"14","author":"B Daniela","year":"2005","unstructured":"Daniela B, Diego C (2005) Automatic service composition based on behavior descriptions. Int J Cooper Inf Syst 14(4): 333\u2013376","journal-title":"Int J Cooper Inf Syst"},{"issue":"8","key":"143_CR6","doi-asserted-by":"crossref","first-page":"1911","DOI":"10.1360\/jos181896","volume":"18","author":"S Deng","year":"2007","unstructured":"Deng S, Li Y, Wu J et al (2007) Automatic service composition based on backward tree. J Softw 18(8): 1911\u20131921","journal-title":"J Softw"},{"key":"143_CR7","doi-asserted-by":"crossref","unstructured":"Deng S, Li Y, Xia H et al (2006a) Exploring the flexible workflow technology to automate service composition. In: Proceedings of Asian semantic Web conference, pp 444\u2013458","DOI":"10.1007\/11836025_43"},{"key":"143_CR8","doi-asserted-by":"crossref","unstructured":"Deng S, Wu J, Li Y et al (2006b) Consideration of operation composition in semantic service matchmaking. In: Proceedings of IEEE international conference on services computing, pp 249\u2013252","DOI":"10.1109\/SCC.2006.35"},{"key":"143_CR9","doi-asserted-by":"crossref","unstructured":"Deng S, Wu J, Li Y et al (2006c) Service matchmaking based on semantics and interface dependencies. In: Proceedings of international conference on Web-Age information management, pp 240\u2013251","DOI":"10.1007\/11775300_21"},{"issue":"1","key":"143_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1504\/IJWGS.2005.007545","volume":"1","author":"S Dustdar","year":"2005","unstructured":"Dustdar S, Schreiner W (2005) A survey on Web services composition. Int J Web Grid Serv 1(1): 1\u201330","journal-title":"Int J Web Grid Serv"},{"key":"143_CR11","doi-asserted-by":"crossref","unstructured":"Foster H, Uchitel S, Magee J et al (2004) Compatibility verification for Web service choreography. In: Proceedings of international conference on Web service, pp 738\u2013741","DOI":"10.1109\/ICWS.2004.1314806"},{"key":"143_CR12","doi-asserted-by":"crossref","unstructured":"Foster H, Uchitel S, Magee J, et al (2006) LTSA-WS: a tool for model-based verification of web service compositions and choreography. In: Proceedings of international conference on software engineering, pp 771\u2013774","DOI":"10.1145\/1134285.1134408"},{"key":"143_CR13","doi-asserted-by":"crossref","unstructured":"Fu X, Bultan T, Su J (2004) Analysis of interacting BPEL Web services. In: Proceedings of international World Wide Web conference, pp 621\u2013630","DOI":"10.1145\/988672.988756"},{"issue":"2","key":"143_CR14","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1145\/1083784.1083807","volume":"34","author":"R Hull","year":"2005","unstructured":"Hull R, Su J (2005) Tools for composite Web services: a short overview. SIGMOD Record 34(2): 86\u201395","journal-title":"SIGMOD Record"},{"issue":"1","key":"143_CR15","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/s10115-006-0045-3","volume":"12","author":"C Hu","year":"2007","unstructured":"Hu C, Zhu Y, Huai J et al (2007) S-Club: an overlay-based efficient service discovery mechanism in CROWN grid. Knowl Inf Syst 12(1): 55\u201375","journal-title":"Knowl Inf Syst"},{"issue":"3","key":"143_CR16","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1007\/s10115-006-0052-4","volume":"13","author":"Q Liang","year":"2007","unstructured":"Liang Q, Chung J, Miller S (2007) Modeling semantics in composite Web service requests by utility elicitation. Knowl Inf Syst 13(3): 367\u2013394","journal-title":"Knowl Inf Syst"},{"key":"143_CR17","first-page":"12","volume":"65","author":"A Martens","year":"2003","unstructured":"Martens A (2003) On compatibility of Web services. Petri Net Newslett 65: 12\u201320","journal-title":"Petri Net Newslett"},{"key":"143_CR18","doi-asserted-by":"crossref","unstructured":"Martens A, Moser S, Gerhardt A et al (2006a) Analyzing compatibility of BPEL processes. In: Proceedings of international conference on Internet and Web applications, pp 147","DOI":"10.1109\/AICT-ICIW.2006.48"},{"key":"143_CR19","doi-asserted-by":"crossref","unstructured":"Martens A, Moser S (2006b) Diagnosing SCA components using WOMBAT. In: Proceedings of international conference on business process management, pp 378\u2013388","DOI":"10.1007\/11841760_27"},{"issue":"7","key":"143_CR20","doi-asserted-by":"crossref","first-page":"954","DOI":"10.1109\/TKDE.2005.101","volume":"17","author":"B Medjahed","year":"2006","unstructured":"Medjahed B, Athman B (2006) A multilevel composability model for semantic Web services. IEEE Trans Knowl Data Eng 17(7): 954\u2013968","journal-title":"IEEE Trans Knowl Data Eng"},{"key":"143_CR21","first-page":"13","volume-title":"Communication and concurrency","year":"1989","unstructured":"Milner, R (eds) (1989) Communication and concurrency. Prentice Hall, New York, pp 13\u201330"},{"issue":"10","key":"143_CR22","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1145\/944217.944233","volume":"46","author":"MP Papazoglou","year":"2003","unstructured":"Papazoglou MP, Georgakopoulos D (2003) Service-oriented computing. Commun ACM 46(10): 25\u201328","journal-title":"Commun ACM"},{"issue":"2","key":"143_CR23","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1504\/IJBPIM.2006.010025","volume":"1","author":"C Sala\u00fcn","year":"2006","unstructured":"Sala\u00fcn C, Bordeaux L, Schaerf M (2006) Describing and reasoning on Web services using process algebra. Int J Bus Process Integr Manage 1(2): 116\u2013128","journal-title":"Int J Bus Process Integr Manage"},{"issue":"2","key":"143_CR24","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/s10115-007-0067-5","volume":"12","author":"A Smirnov","year":"2007","unstructured":"Smirnov A, Shilov N, Levashova T et al (2007) Ontology-driven intelligent service for configuration support in networked organizations. Knowl Inf Syst 12(2): 229\u2013253","journal-title":"Knowl Inf Syst"},{"key":"143_CR25","unstructured":"Verbeek HMW, van der Aalst WMP (2005) Analyzing BPEL processes using Petri Nets. In: Proceeding of international workshop on applications of Petri Nets to coordination, workflow and business process management, pp 59\u201378"},{"key":"143_CR26","doi-asserted-by":"crossref","unstructured":"Victor B, Moller F (1994) The mobility workbench\u2014a tool for the \u03c0-calculus. In: Proceedings of international conference on computer aided verification, pp 428\u2013440","DOI":"10.1007\/3-540-58179-0_73"},{"issue":"4","key":"143_CR27","doi-asserted-by":"crossref","first-page":"14","DOI":"10.4018\/jwsr.2004100102","volume":"1","author":"A Wombacher","year":"2004","unstructured":"Wombacher A, Fankhauser P, Mahleko B et al (2004) Matchmaking for business processes based on compositions. Int J Web Service Res 1(4): 14\u201332","journal-title":"Int J Web Service Res"},{"issue":"2","key":"143_CR28","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/s10257-005-0053-y","volume":"3","author":"A Wombacher","year":"2005","unstructured":"Wombacher A, Mahleko B, Neuhold EJ (2005) IPSI-PF: a business process matchmaking engine based on annotated finite state automata. Inf Syst E-Bus Manage 3(2): 127\u2013150","journal-title":"Inf Syst E-Bus Manage"},{"issue":"3","key":"143_CR29","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1109\/MIS.2005.44","volume":"20","author":"Z Wu","year":"2005","unstructured":"Wu Z, Tang S, Deng S et al (2005) DartGrid II: a semantic grid platform for ITS. IEEE Intell Syst 20(3): 12\u201315","journal-title":"IEEE Intell Syst"},{"key":"143_CR30","unstructured":"Yang H, Zhao X, Qiu Z et al (2006) A formal model for web service choreography description language (WS-CDL). In: Proceedings of international conference on Web service, pp 893\u2013894"},{"key":"143_CR31","doi-asserted-by":"crossref","unstructured":"Yang Y, Tan Q, Xiao Y et al (2006) Exploiting hierarchical CP-nets to increase reliability of web services workflow. In: Proceedings of international symposium on applications and the Internet, pp 116\u2013122","DOI":"10.1109\/SAINT.2006.31"}],"container-title":["Knowledge and Information Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10115-008-0143-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10115-008-0143-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10115-008-0143-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T06:10:17Z","timestamp":1559110217000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10115-008-0143-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5,30]]},"references-count":31,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2009,4]]}},"alternative-id":["143"],"URL":"https:\/\/doi.org\/10.1007\/s10115-008-0143-5","relation":{},"ISSN":["0219-1377","0219-3116"],"issn-type":[{"value":"0219-1377","type":"print"},{"value":"0219-3116","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,5,30]]}}}