Analysis of Web Services Composition and Substitution Via CCS

  • Fangfang Liu
  • Yuliang Shi
  • Liang Zhang
  • Lili Lin
  • Baile Shi
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4055)


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.


Service Composition Process Algebra Simple Object Access Protocol Subtype Relation External Choice 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services: Concepts. In: Architectures and Applications. Springer, Heidelberg (2004)Google Scholar
  2. 2.
    Peltz, C.: Web Service Orchestration and Choreography (July 2003),
  3. 3.
    W3C, Web Service Description Language (WSDL) 1.1, World Wide Web Consortium (2001), Available at:
  4. 4.
    OASIS, Universal Description, Discovery and Integration of Web Services (UDDI) (2002),
  5. 5.
    W3C, Simple Object Access Protocol (SOAP) 1.1 (2000),
  6. 6.
    IBM, Business Process Execution Language for Web Services (BPEL4WS) (2002),
  7. 7.
    W3C, Web Service Choreography Interface (WSCI), World W3C (2002),
  8. 8.
    Leymann, F.: Web Services Flow Language (WSFL 1.0) (May 2001)Google Scholar
  9. 9.
    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. 2193, pp. 44–57. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  10. 10.
    W#C, Web Service Choreography Description Language (WS-CDL),
  11. 11.
    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. 3324, pp. 15–28. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  12. 12.
    Meredith, G., Bjorg, S.: Contracts and types. Communications of the ACM 46(10), 41–47 (2003)CrossRefGoogle Scholar
  13. 13.
    Salaün, G., Bordeaux, L., Scharef, M.: Describing and reasoning on web services using process algebra. In: ICWS 2004, pp. 43–51. IEEE Computer Society Press, Los Alamitos (2004)Google Scholar
  14. 14.
    Rerrara, A.: Web Services: a Process Algebra Approach. In: ISCOC 2004, New York, USA (2004)Google Scholar
  15. 15.
    Brogi, A., et al.: Formalizing web services Choreographies. WS-FM (2004)Google Scholar
  16. 16.
    Hamadi, R., Benatallah, B.: A Petri Net-based Model for Web service Composition. In: ADC 2003 (2003)Google Scholar
  17. 17.
    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–410. ACM Press, New York (2003)CrossRefGoogle Scholar
  18. 18.
    Bordeaux, L., Salaün, G.: Using Process Algebra for Web Services: Early Results and Perspectives. In: Shan, M.-C., Dayal, U., Hsu, M. (eds.) TES 2004. LNCS, vol. 3324, pp. 54–68. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  19. 19.
    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)Google Scholar
  20. 20.
    Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)MATHGoogle Scholar
  21. 21.
    Fournet, C., Hoare, T., Rajamani, S.K., Rehof, J.: Stuck-Free Conformance Theory for CCS, Microsoft Technical Report, MSR-TR-2004-69Google Scholar
  22. 22.
    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. 2404, pp. 166–179. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  23. 23.
    Berardi, D., et al.: Automatic Composition of Transition-based Semantic Web Services with Messageing. In: Proceedings of the 31st VLDB Conference, Trondheim, Norway (2005)Google Scholar
  24. 24.
    Milanovic, N., Malek, M.: Current Solutions for Web Service Composition. IEEE Internet Computing, 51–59 (November–December 2004)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Fangfang Liu
    • 1
  • Yuliang Shi
    • 2
  • Liang Zhang
    • 1
  • Lili Lin
    • 1
  • Baile Shi
    • 1
  1. 1.Department of Computing and Information TechnologyFUDAN UniversityShanghaiChina
  2. 2.School of Computer Science and TechnologyShandong UniversityJinanChina

Personalised recommendations