Analysis of Web Services Composition and Substitution Via CCS

Web services composition is a key issue in web service research area. Substitution of service is closely related with composition and important to robustness of service composition. In this paper, we use process algebra as formalism foundation modeling and specifying web services and reasoning on behavioral features of web services composition. We analyze some cases that have effects on design and implementation of composition. Upon that, and based on definition of composition, we study substitution. As to the problem of how to substitute a component web service, we present a relation. Any new selected web services can substitute old component service independent of context and take part in composition successfully in the case that they satisfy criteria of this relation.

[1]  Fabio Casati,et al.  Technologies for E-Services , 2001, Lecture Notes in Computer Science.

[2]  Miroslaw Malek,et al.  Current solutions for Web service composition , 2004, IEEE Internet Computing.

[3]  Jakob Rehof,et al.  Conformance Checking for Models of Asynchronous Message Passing Software , 2002, CAV.

[4]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[5]  Jakob Rehof,et al.  Stuck-Free Conformance Theory for CCS , 2004 .

[6]  C. A. R. Hoare,et al.  Stuck-Free Conformance , 2004, CAV.

[7]  Boualem Benatallah,et al.  A Petri Net-based Model for Web Service Composition , 2003, ADC.

[8]  CreditCardType,et al.  Automatic Composition of Semantic Web Services , 2007 .

[9]  Xiang Fu,et al.  Conversation specification: a new approach to design and analysis of e-service composition , 2003, WWW '03.

[10]  A. Brogi,et al.  Formalizing Web Services , 2005 .

[11]  Massimo Mecella,et al.  Compatibility of e -Services in a Cooperative Multi-platform Environment , 2001, TES.

[12]  Massimo Mecella,et al.  When are Two Web Services Compatible? , 2004, TES.

[13]  Gwen Salaün,et al.  Describing and reasoning on Web services using process algebra , 2004, Proceedings. IEEE International Conference on Web Services, 2004..

[14]  C. Peltz,et al.  Web Services Orchestration and Choreography , 2003, Computer.

[15]  Gwen Salaün,et al.  Using Process Algebra for Web Services: Early Results and Perspectives , 2004, TES.

[16]  Andrea Ferrara,et al.  Web services: a process algebra approach , 2004, ICSOC '04.

[17]  Antonio Vallecillo,et al.  Formalizing Web Service Choreographies , 2004, Electron. Notes Theor. Comput. Sci..

[18]  Franck van Breugel,et al.  Modelling and verifying web service orchestration by means of the concurrency workbench , 2004, SOEN.

[19]  Frank Leymann.  Web Services and Their Composition , 2001, EWSPT.

[20]  Greg Meredith,et al.  Contracts and types , 2003, CACM.

[21]  Gwen Salaün,et al.  Describing and reasoning on Web services using process algebra , 2004 .

[22]  Gustavo Alonso,et al.  Web Services: Concepts, Architectures and Applications , 2009 .

[23]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .