{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,25]],"date-time":"2025-10-25T14:08:54Z","timestamp":1761401334812},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540472247"},{"type":"electronic","value":"9783540472278"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11901181_4","type":"book-chapter","created":{"date-parts":[[2006,10,26]],"date-time":"2006-10-26T15:42:23Z","timestamp":1161877343000},"page":"26-39","source":"Crossref","is-referenced-by-count":15,"title":["Modeling Service Compatibility with Pi-calculus for Choreography"],"prefix":"10.1007","author":[{"given":"Shuiguang","family":"Deng","sequence":"first","affiliation":[]},{"given":"Zhaohui","family":"Wu","sequence":"additional","affiliation":[]},{"given":"Mengchu","family":"Zhou","sequence":"additional","affiliation":[]},{"given":"Ying","family":"Li","sequence":"additional","affiliation":[]},{"given":"Jian","family":"Wu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"4_CR1","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/MIC.2004.1260703","volume":"8","author":"B. Benatallah","year":"2004","unstructured":"Benatallah, B., Casati, F., Toumani, F.: Web Service Conversation Modeling: A Corner-stone for E-Business Automation. IEEE Internet Computing\u00a08(1), 46\u201354 (2004)","journal-title":"IEEE Internet Computing"},{"issue":"1","key":"4_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1504\/IJWGS.2005.007545","volume":"1","author":"S. Dustdar","year":"2005","unstructured":"Dustdar, S., Schreiner, W.: A survey on web services composition. International Journal of Web and Grid Services\u00a01(1), 1\u201330 (2005)","journal-title":"International Journal of Web and Grid Services"},{"key":"4_CR3","unstructured":"BEA Systems, IBM, Microsoft, SAP, Siebel Systems: Business Process Execution Language for Web Services Version 1.1 (2003)"},{"key":"4_CR4","unstructured":"W3C. The Web Services Choreography Description Language (WS-CDL) Version 1.0, World Wide Web Consortium (2005), available at: http:\/\/www.w3.org\/TR\/ws-cdl-10\/"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communication Systems. LNCS, vol.\u00a092. Springer, Heidelberg (1980)"},{"key":"4_CR6","unstructured":"Martens, A.: On compatibility of web services. Petri Net Newsletter\u00a065 (2003)"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Fu, X., Bultan, T., Su, J.: Analysis of Interacting BPEL Web Services. In: 13th International World Wide Web Conference (WWW) (2004)","DOI":"10.1145\/988672.988756"},{"issue":"4","key":"4_CR8","doi-asserted-by":"publisher","first-page":"14","DOI":"10.4018\/jwsr.2004100102","volume":"1","author":"A. Wombacher","year":"2004","unstructured":"Wombacher, A., Fankhauser, P., Mahleko, B., Neuhold, E.: Matchmaking for Business Processes based on Choreographies. International Journal of Web Services Research\u00a01(4), 14\u201332 (2004)","journal-title":"International Journal of Web Services Research"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Foster, H., Uchitel, S., Magee, J., Kramer, J.: Compatibility verification for web service choreography. In: Proc. International Conference on Web Service (ICWS) (2004)","DOI":"10.1109\/ICWS.2004.1314806"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Bordeaux, L., Salaun, G., Berardi, D., Mecella, M.: When Are Two Web Services Com-patible? In: Proc. of the 5th VLDB International Workshop on Technologies for e-Services (VLDB-TES) (2004)","DOI":"10.1007\/978-3-540-31811-8_2"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Brogi, A., Canal, C., Pimentel, E., Vallecillo, A.: Formalizing Web Service Choreographies. In: Proc. Of First International Workshop on Web Services and Formal Methods (WS-MF) (2004)","DOI":"10.1016\/j.entcs.2004.05.007"},{"key":"4_CR12","unstructured":"Li, Y., Jagadish, H.V.: Compatibility determination in web services. In: Proc. of ICEC eGovernment Services WS (2003)"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"De Antonellis, V., Melchiori, M., Pernici, B., Plebani, P.: A methodology for e-service substitutability in a virtual district environment. In: Proc. of Conference on Advanced Information Systems Engineering (CAiSE) (2003)","DOI":"10.1007\/3-540-45017-3_37"},{"key":"4_CR14","unstructured":"Overdick, H., Puhlmann, F., Weske, M.: Towards a Formal Model for Agile Service Discovery and Integration. In: Proc. of the Workshop on Dynamic Web Processes (ICSOC-DWP) (2005)"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-540-31811-8_5","volume-title":"Technologies for E-Services","author":"L. Bordeaux","year":"2005","unstructured":"Bordeaux, L., Sala\u00fcn, G.: Using Process Algebra for Web Services: Early Results and Perspectives. In: Shan, M.-C., Dayal, U., Hsu, M. (eds.) TES 2004. LNCS, vol.\u00a03324, pp. 54\u201368. Springer, Heidelberg (2005)"},{"key":"4_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1007\/978-3-540-30480-7_45","volume-title":"Web Information Systems \u2013 WISE 2004","author":"S. Deng","year":"2004","unstructured":"Deng, S., Wu, Z., et al.: Management of Serviceflow in a Flexible Way. In: Zhou, X., Su, S., Papazoglou, M.P., Orlowska, M.E., Jeffery, K. (eds.) WISE 2004. LNCS, vol.\u00a03306, pp. 428\u2013438. Springer, Heidelberg (2004)"},{"issue":"3","key":"4_CR17","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1109\/MIS.2005.44","volume":"20","author":"Z. Wu","year":"2005","unstructured":"Wu, Z., Tang, S., Deng, S.: DartGrid II: A Semantic Grid Platform for ITS. IEEE Intelligent Systems\u00a020(3), 12\u201315 (2005)","journal-title":"IEEE Intelligent Systems"},{"key":"4_CR18","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Aided Verification","author":"B. Victor","year":"1994","unstructured":"Victor, B., Moller, F.: The Mobility Workbench - A Tool for the pi-Calculus. In: Dill, D.L. (ed.) CAV 1994. LNCS, vol.\u00a0818. Springer, Heidelberg (1994)"}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling - ER 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11901181_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:56:06Z","timestamp":1605642966000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11901181_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540472247","9783540472278"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/11901181_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}