Skip to main content
SpringerLink
Log in

Computing compatibility in dynamic service composition

  • Regular Paper
  • Published:
Knowledge and Information Systems Aims and scope Submit manuscript

Abstract

Dynamically composing services requires mechanisms to ensure component services compatible with each other both at all of the syntax, semantic and behavioral level. This paper focuses on the issue of behavioral compatibility in a service composition. It adopts the π-calculus to model service behaviors and interactions in a formal way. Based on the formalization, it proposes a method to automatically check the behavioral compatibility in a qualitative way. Furthermore, it presents an algorithm to compute the compatibility degree in a quantitative way. The algorithm is implemented in a prototype and its performance analysis is also carried out to show that it can help composing services on the fly and ensure the services compatible with each other to provide functions with newly-added values.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Benatallah B, Casati F, Toumani F (2004) Web service conversation modeling: a cornerstone for E-Business automation. IEEE Internet Comput 8(1): 46–54

    Article  Google Scholar 

  2. Bordeaux L, Salaün C (2004) Using process algebra for Web services: early results and perspectives. In: Proceedings of VLDB Workshop on Technologies for E-Services, pp 54–68

  3. Brogi A, Canal C, Pimentel E et al (2004) Formalizing Web service choreography. In: Proceedings of international workshop on Web services and formal methods, pp 576–581

  4. Bultan T, Su J, Fu X (2006) Analyzing conversations of Web services. IEEE Internet Comput 10(1): 18–25

    Article  Google Scholar 

  5. Daniela B, Diego C (2005) Automatic service composition based on behavior descriptions. Int J Cooper Inf Syst 14(4): 333–376

    Article  Google Scholar 

  6. Deng S, Li Y, Wu J et al (2007) Automatic service composition based on backward tree. J Softw 18(8): 1911–1921

    Article  MATH  Google Scholar 

  7. Deng S, Li Y, Xia H et al (2006a) Exploring the flexible workflow technology to automate service composition. In: Proceedings of Asian semantic Web conference, pp 444–458

  8. Deng S, Wu J, Li Y et al (2006b) Consideration of operation composition in semantic service matchmaking. In: Proceedings of IEEE international conference on services computing, pp 249–252

  9. Deng S, Wu J, Li Y et al (2006c) Service matchmaking based on semantics and interface dependencies. In: Proceedings of international conference on Web-Age information management, pp 240–251

  10. Dustdar S, Schreiner W (2005) A survey on Web services composition. Int J Web Grid Serv 1(1): 1–30

    Article  Google Scholar 

  11. Foster H, Uchitel S, Magee J et al (2004) Compatibility verification for Web service choreography. In: Proceedings of international conference on Web service, pp 738–741

  12. Foster H, Uchitel S, Magee J, et al (2006) LTSA-WS: a tool for model-based verification of web service compositions and choreography. In: Proceedings of international conference on software engineering, pp 771–774

  13. Fu X, Bultan T, Su J (2004) Analysis of interacting BPEL Web services. In: Proceedings of international World Wide Web conference, pp 621–630

  14. Hull R, Su J (2005) Tools for composite Web services: a short overview. SIGMOD Record 34(2): 86–95

    Article  Google Scholar 

  15. Hu C, Zhu Y, Huai J et al (2007) S-Club: an overlay-based efficient service discovery mechanism in CROWN grid. Knowl Inf Syst 12(1): 55–75

    Article  Google Scholar 

  16. Liang Q, Chung J, Miller S (2007) Modeling semantics in composite Web service requests by utility elicitation. Knowl Inf Syst 13(3): 367–394

    Article  Google Scholar 

  17. Martens A (2003) On compatibility of Web services. Petri Net Newslett 65: 12–20

    Google Scholar 

  18. Martens A, Moser S, Gerhardt A et al (2006a) Analyzing compatibility of BPEL processes. In: Proceedings of international conference on Internet and Web applications, pp 147

  19. Martens A, Moser S (2006b) Diagnosing SCA components using WOMBAT. In: Proceedings of international conference on business process management, pp 378–388

  20. Medjahed B, Athman B (2006) A multilevel composability model for semantic Web services. IEEE Trans Knowl Data Eng 17(7): 954–968

    Article  Google Scholar 

  21. Milner, R (eds) (1989) Communication and concurrency. Prentice Hall, New York, pp 13–30

    MATH  Google Scholar 

  22. Papazoglou MP, Georgakopoulos D (2003) Service-oriented computing. Commun ACM 46(10): 25–28

    Article  Google Scholar 

  23. Salaün C, Bordeaux L, Schaerf M (2006) Describing and reasoning on Web services using process algebra. Int J Bus Process Integr Manage 1(2): 116–128

    Article  Google Scholar 

  24. Smirnov A, Shilov N, Levashova T et al (2007) Ontology-driven intelligent service for configuration support in networked organizations. Knowl Inf Syst 12(2): 229–253

    Article  Google Scholar 

  25. Verbeek HMW, van der Aalst WMP (2005) Analyzing BPEL processes using Petri Nets. In: Proceeding of international workshop on applications of Petri Nets to coordination, workflow and business process management, pp 59–78

  26. Victor B, Moller F (1994) The mobility workbench—a tool for the π-calculus. In: Proceedings of international conference on computer aided verification, pp 428–440

  27. Wombacher A, Fankhauser P, Mahleko B et al (2004) Matchmaking for business processes based on compositions. Int J Web Service Res 1(4): 14–32

    Google Scholar 

  28. Wombacher A, Mahleko B, Neuhold EJ (2005) IPSI-PF: a business process matchmaking engine based on annotated finite state automata. Inf Syst E-Bus Manage 3(2): 127–150

    Article  Google Scholar 

  29. Wu Z, Tang S, Deng S et al (2005) DartGrid II: a semantic grid platform for ITS. IEEE Intell Syst 20(3): 12–15

    Article  Google Scholar 

  30. Yang H, Zhao X, Qiu Z et al (2006) A formal model for web service choreography description language (WS-CDL). In: Proceedings of international conference on Web service, pp 893–894

  31. Yang Y, Tan Q, Xiao Y et al (2006) Exploiting hierarchical CP-nets to increase reliability of web services workflow. In: Proceedings of international symposium on applications and the Internet, pp 116–122

Download references

Author information

Authors and Affiliations

  1. College of Computer Science and Technology, Zhejiang University, Hangzhou, 310027, People’s Republic of China

    Zhaohui Wu, Shuiguang Deng, Ying Li & Jian Wu

Authors
  1. Zhaohui Wu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Shuiguang Deng
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ying Li
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Jian Wu
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Shuiguang Deng.

Additional information

A preliminary and shorter version of this paper was published in the 25th International Conference on Conceptual Modeling (ER’06), pp 26–39.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Wu, Z., Deng, S., Li, Y. et al. Computing compatibility in dynamic service composition. Knowl Inf Syst 19, 107–129 (2009). https://doi.org/10.1007/s10115-008-0143-5

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10115-008-0143-5

Keywords

Search

Navigation