Skip to main content
SpringerLink
Log in

Analysis of Web Services Composition and Substitution Via CCS

  • Conference paper
Data Engineering Issues in E-Commerce and Services (DEECS 2006)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 4055))

Abstract

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.

This work is partially supported by the National Basic Research Program (973) under grant No. 2005CB321905, the Chinese Hi-tech (863) Projects under the grant No. 2002AA4Z3430, and No. 2002AA231041 To whom correspondence should be addressed.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services: Concepts. In: Architectures and Applications. Springer, Heidelberg (2004)

    Google Scholar 

  2. Peltz, C.: Web Service Orchestration and Choreography (July 2003), http://www.wsj2.com

  3. W3C, Web Service Description Language (WSDL) 1.1, World Wide Web Consortium (2001), Available at: http://www.w3.org/TR/wsdl

  4. OASIS, Universal Description, Discovery and Integration of Web Services (UDDI) (2002), http://www.oasis-open.org/committees/uddi-spec/tcspecs.shtml#uddiv3

  5. W3C, Simple Object Access Protocol (SOAP) 1.1 (2000), http://www.w3.org/TR/2000/NOTE-SOAP-20000508/#Toc478383487

  6. IBM, Business Process Execution Language for Web Services (BPEL4WS) (2002), http://www.ibm.com/developworkers/library/ws-bpel

  7. W3C, Web Service Choreography Interface (WSCI), World W3C (2002), http://www.w3.org/TR/wsci

  8. Leymann, F.: Web Services Flow Language (WSFL 1.0) (May 2001)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  10. W#C, Web Service Choreography Description Language (WS-CDL), http://www.w3.org/TR/2004/WD-ws-cdl-10-20041012

  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)

    Chapter  Google Scholar 

  12. Meredith, G., Bjorg, S.: Contracts and types. Communications of the ACM 46(10), 41–47 (2003)

    Article  Google Scholar 

  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. Rerrara, A.: Web Services: a Process Algebra Approach. In: ISCOC 2004, New York, USA (2004)

    Google Scholar 

  15. Brogi, A., et al.: Formalizing web services Choreographies. WS-FM (2004)

    Google Scholar 

  16. Hamadi, R., Benatallah, B.: A Petri Net-based Model for Web service Composition. In: ADC 2003 (2003)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)

    MATH  Google Scholar 

  21. Fournet, C., Hoare, T., Rajamani, S.K., Rehof, J.: Stuck-Free Conformance Theory for CCS, Microsoft Technical Report, MSR-TR-2004-69

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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. Milanovic, N., Malek, M.: Current Solutions for Web Service Composition. IEEE Internet Computing, 51–59 (November–December 2004)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing and Information Technology, FUDAN University, Shanghai, 200433, China

    Fangfang Liu, Liang Zhang, Lili Lin & Baile Shi

  2. School of Computer Science and Technology, Shandong University, Jinan, China

    Yuliang Shi

Authors
  1. Fangfang Liu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yuliang Shi
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Liang Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Lili Lin
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Baile Shi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. IBM Watson Research Center, Hawthorne, New York,  

    Juhnyoung Lee

  2. Dept of Computer Science, Sookmyung Women’s University, Korea

    Junho Shim

  3. School of Computer Science & Engineering, Seoul National University, Korea

    Sang-goo Lee

  4. Cisco Systems, Inc., 95134, San Jose, CA, USA

    Christoph Bussler

  5. San Jose State University, USA

    Simon Shim

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Liu, F., Shi, Y., Zhang, L., Lin, L., Shi, B. (2006). Analysis of Web Services Composition and Substitution Via CCS. In: Lee, J., Shim, J., Lee, Sg., Bussler, C., Shim, S. (eds) Data Engineering Issues in E-Commerce and Services. DEECS 2006. Lecture Notes in Computer Science, vol 4055. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11780397_19

Download citation

  • DOI: https://doi.org/10.1007/11780397_19

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-35440-6

  • Online ISBN: 978-3-540-35441-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation