Analysis of web services composition and substitution via CCS

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4055 LNCS, Issue , 2006, Pages 236-245

  Liu, Fangfang ^a   Shi, Yuliang ^b   Zhang, Liang ^a   Lin, Lili ^a   Shi, Baile ^a  

^a FUDAN UNIVERSITY   (China)

^b SHANDONG UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; CONSTRAINT THEORY; DATABASE SYSTEMS; PROBLEM SOLVING; ROBUSTNESS (CONTROL SYSTEMS);

BEHAVIORAL FEATURES; SERVICE COMPOSITION; WEB SERVICES;

WORLD WIDE WEB;

EID: 33746377631     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11780397_19     Document Type: Conference Paper

References (24)

1. G. Alonso, F. Casati, H. Kuno, V. Machiraju. "Web Services: Concepts. Architectures and Applications", Springer Verlag, 2004
2. C. Peltz. "Web Service Orchestration and Choreography", www.wsj2.com, July 2003
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), http://www.oasis-open.org/committees/uddi-spec/tcspecs.shtml#uddiv3, 2002
5. W3C, Simple Object Access Protocol (SOAP)1.1 http://www.w3.org/TR/2000/ NOTE-SOAP-20000508/# Toc478383487, 2000
6. IBM, "Business Process Execution Language for Web Services (BPEL4WS)", http://www.ibm.com/developworkers/library/ws-bpel, 2002
7. W3C, "Web Service Choreography Interface (WSCI)",World W3C (2002), http://www.w3.org/TR/wsci
8. F. Leymann. "Web Services Flow Language (WSFL 1.0)", May 2001
9. M. Mecella, B. Pernici, P. Craca. "Compatibility of e-services in a cooperative multi-platform environment". TES 2001, Springer 2001, LNCS 2193, pp. 44-57.
10. W#C, "Web Service Choreography Description Language (WS-CDL.)" http://www.w3.org/TR/2004/WD-ws-cdl-10-20041012
11. L. Bordeaux, G. Salun, D. Berardi, and M. Mecella. "When are Two Web Services Compatible?" TES 2004, Springer, 2005, pp. 15-28
12. G. Meredith and S. Bjorg. "Contracts and types". Communications of the ACM, 2003. 46(10):41-47
13. G. Sala'un, L. Bordeaux and M. Scharef. "Describing and reasoning on web services using process algebra". ICWS'04, IEEE Computer Society Press, 2004. pp. 43-51
14. A. Rerrara. "Web Services: a Process Algebra Approach". ISCOC'04, New York, USA, 2004
15. A. Brogi, et al. "Formalizing web services Choreographies". WS-FM, 2004.
16. R.Hamadi and B. Benatallah. "A Petri Net-based Model for Web service Composition". ADC 2003
17. T. Bultan, X. Fu, R. Hull, and J. Su. "Conversation Specification: A New Approach to Design and Analysis of E-Service Composition", Proc. WWW2003. ACM Press, 2003, pp. 403-410
18. L. Bordeaux and G. Slaun. "Using Process Algebra for Web Services: Early Results and Perspetives", TES 2004. Springer 2005, LNCS 3324, pp. 54-68
19. M. Koshkina and F. van Breugel. "Modelling and Verifying Web Service Orchestration by means of the Concurrency Workbench", TAV-WEB Proceedings/ACM SIGSOFT SEN, Sep. 2004 Volume 29 Number 5
20. R. Milner. "Communication and Concurrency". Prentice Hall, 1989.
21. C. Fournet, T. Hoare, S.K. Rajamani, and J. Rehof. "Stuck-Free Conformance Theory for CCS", Microsoft Technical Report, MSR-TR-2004-69
22. S. K. Rajamani and J. Rehof. "Conformance Checking for Models of Asynchronous Message passing Software", CAV2002, Springer 2002, LNCS 2402, pp.166-179.
23. st VLDB Conference, Trondheim, Norway, 2005
24. N. Milanovic and M. Malek. "Current Solutions for Web Service Composition". IEEE Internet Computing, November. December, 2004, pp. 51-59