Computing compatibility in dynamic service composition

Knowledge and Information Systems

Volumn 19, Issue 1, 2009, Pages 107-129

  Wu, Zhaohui ^a   Deng, Shuiguang ^a   Li, Ying ^a   Wu, Jian ^a  

^a ZHEJIANG UNIVERSITY   (China)

Author keywords

Behavioral compatibility; Service composition; Web service; calculus

Indexed keywords

CALCULATIONS; QUALITY OF SERVICE; SEMANTICS;

ADDED VALUES; BEHAVIORAL COMPATIBILITIES; BEHAVIORAL LEVEL; DYNAMIC SERVICE COMPOSITION; ON THE FLIES; PERFORMANCE ANALYSIS; SERVICE BEHAVIORS; SERVICE COMPOSITIONS;

WEB SERVICES;

EID: 63349087871     PISSN: 02191377     EISSN: 02193116     Source Type: Journal    
DOI: 10.1007/s10115-008-0143-5     Document Type: Article

References (31)

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
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
5. Daniela B, Diego C (2005) Automatic service composition based on behavior descriptions. Int J Cooper Inf Syst 14(4):333-376
6. Deng S, Li Y, Wu J et al (2007) Automatic service composition based on backward tree. J Softw 18(8):1911-1921
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
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
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
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
17. Martens A (2003) On compatibility of Web services. Petri Net Newslett 65:12-20
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
21. Milner, R (eds) (1989) Communication and concurrency. Prentice Hall, New York, pp 13-30
22. Papazoglou MP, Georgakopoulos D (2003) Service-oriented computing. Commun ACM 46(10):25-28
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
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
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
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
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
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