{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:33:52Z","timestamp":1725471232668},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540354406"},{"type":"electronic","value":"9783540354413"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11780397_19","type":"book-chapter","created":{"date-parts":[[2006,9,25]],"date-time":"2006-09-25T05:03:54Z","timestamp":1159160634000},"page":"236-245","source":"Crossref","is-referenced-by-count":5,"title":["Analysis of Web Services Composition and Substitution Via CCS"],"prefix":"10.1007","author":[{"given":"Fangfang","family":"Liu","sequence":"first","affiliation":[]},{"given":"Yuliang","family":"Shi","sequence":"additional","affiliation":[]},{"given":"Liang","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Lili","family":"Lin","sequence":"additional","affiliation":[]},{"given":"Baile","family":"Shi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","volume-title":"Architectures and Applications","author":"G. Alonso","year":"2004","unstructured":"Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services: Concepts. In: Architectures and Applications. Springer, Heidelberg (2004)"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Peltz, C.: Web Service Orchestration and Choreography (July 2003), http:\/\/www.wsj2.com","DOI":"10.1109\/MC.2003.1236471"},{"key":"19_CR3","unstructured":"W3C, Web Service Description Language (WSDL) 1.1, World Wide Web Consortium (2001), Available at: http:\/\/www.w3.org\/TR\/wsdl"},{"key":"19_CR4","unstructured":"OASIS, Universal Description, Discovery and Integration of Web Services (UDDI) (2002), http:\/\/www.oasis-open.org\/committees\/uddi-spec\/tcspecs.shtml#uddiv3"},{"key":"19_CR5","unstructured":"W3C, Simple Object Access Protocol (SOAP) 1.1 (2000), http:\/\/www.w3.org\/TR\/2000\/NOTE-SOAP-20000508\/#Toc478383487"},{"key":"19_CR6","unstructured":"IBM, Business Process Execution Language for Web Services (BPEL4WS) (2002), http:\/\/www.ibm.com\/developworkers\/library\/ws-bpel"},{"key":"19_CR7","unstructured":"W3C, Web Service Choreography Interface (WSCI), World W3C (2002), http:\/\/www.w3.org\/TR\/wsci"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Leymann, F.: Web Services Flow Language (WSFL 1.0) (May 2001)","DOI":"10.1007\/3-540-45752-6_1"},{"key":"19_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/3-540-44809-8_4","volume-title":"Technologies for E-Services","author":"M. Mecella","year":"2001","unstructured":"Mecella, M., Pernici, B., Craca, P.: Compatibility of e-Services in a Cooperative Multi-platform Environment. In: Casati, F., Georgakopoulos, D., Shan, M.-C. (eds.) TES 2001. LNCS, vol.\u00a02193, pp. 44\u201357. Springer, Heidelberg (2001)"},{"key":"19_CR10","unstructured":"W#C, Web Service Choreography Description Language (WS-CDL), http:\/\/www.w3.org\/TR\/2004\/WD-ws-cdl-10-20041012"},{"key":"19_CR11","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., Salun, 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)"},{"issue":"10","key":"19_CR12","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":"19_CR13","first-page":"43","volume-title":"ICWS 2004","author":"G. Sala\u00fcn","year":"2004","unstructured":"Sala\u00fcn, G., Bordeaux, L., Scharef, M.: Describing and reasoning on web services using process algebra. In: ICWS 2004, pp. 43\u201351. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"Rerrara, A.: Web Services: a Process Algebra Approach. In: ISCOC 2004, New York, USA (2004)","DOI":"10.1145\/1035167.1035202"},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"Brogi, A., et al.: Formalizing web services Choreographies. WS-FM (2004)","DOI":"10.1016\/j.entcs.2004.05.007"},{"key":"19_CR16","unstructured":"Hamadi, R., Benatallah, B.: A Petri Net-based Model for Web service Composition. In: ADC 2003 (2003)"},{"key":"19_CR17","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1145\/775152.775210","volume-title":"Proc. WWW 2003","author":"T. Bultan","year":"2003","unstructured":"Bultan, T., Fu, X., Hull, R., Su, J.: Conversation Specification: A New Approach to De-sign and Analysis of E-Service Composition. In: Proc. WWW 2003, pp. 403\u2013410. ACM Press, New York (2003)"},{"key":"19_CR18","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":"19_CR19","doi-asserted-by":"crossref","unstructured":"Koshkina, M., van Breugel, F.: Modelling and Verifying Web Service Orchestration by means of the Concurrency Workbench. In: TAV-WEB Proceedings\/ACM SIGSOFT SEN, vol. 29(5) (September 2004)","DOI":"10.1145\/1022494.1022526"},{"key":"19_CR20","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"19_CR21","doi-asserted-by":"crossref","unstructured":"Fournet, C., Hoare, T., Rajamani, S.K., Rehof, J.: Stuck-Free Conformance Theory for CCS, Microsoft Technical Report, MSR-TR-2004-69","DOI":"10.1007\/978-3-540-27813-9_19"},{"key":"19_CR22","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 Mes-sage passing Software. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 166\u2013179. Springer, Heidelberg (2002)"},{"key":"19_CR23","unstructured":"Berardi, D., et al.: Automatic Composition of Transition-based Semantic Web Services with Messageing. In: Proceedings of the 31st VLDB Conference, Trondheim, Norway (2005)"},{"key":"19_CR24","doi-asserted-by":"crossref","unstructured":"Milanovic, N., Malek, M.: Current Solutions for Web Service Composition. IEEE Internet Computing, 51\u201359 (November\u2013December 2004)","DOI":"10.1109\/MIC.2004.58"}],"container-title":["Lecture Notes in Computer Science","Data Engineering Issues in E-Commerce and Services"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11780397_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:07:04Z","timestamp":1605625624000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11780397_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540354406","9783540354413"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/11780397_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}