Formal analysis of compatibility of Web services via CCS

Proceedings - International Conference on Next Generation Web Services Practices, NWeSP 2005

Volumn 2005, Issue , 2005, Pages 143-148

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

^a FUDAN UNIVERSITY   (China)

Author keywords

CCS; Compatibility; Substitutability; Web service

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; FORMAL LOGIC; RESEARCH AND DEVELOPMENT MANAGEMENT;

CCS; COMPATIBILITY; SUBSTITUTABILITY; WEB SERVICES;

TELECOMMUNICATION SERVICES;

EID: 33847142384     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/NWESP.2005.43     Document Type: Conference Paper

References (15)

1. Lucas Bordeaux, Gwen Salaun, Daniela Berardi, and Massimo Mecella. "When are Two Web services Compatible?" TES 2004, Springer-Verlag, Berlin Heidelberg 2005, pp. 15-28
2. BPEL Version 1.0 http://www.ibm.com/developworkers/library/ws-bpel, 2002
3. WSCI 1.0, World Wide Web Consortium (2002), available at http://www.w3.org/TR/wsci
4. F. Leymann. Web services Flow Language (WSFL 1.0), May 2001
5. T. Bultan, X. Fu, R. Hull and J. Su. "Conversation Specification: A New Approach to Design and Analysis of E-Service Composition", Proc. Int'l World Wide Web Conf. ACM Press, 2003, pp. 403-410
6. A. Brogi, C. Canal, E. Pimentel, and A. Vallecillo. "Formalizing Web services Choreographies". In Proc. of workshop on Web services and Formal Methods (WS-FM), 2004.
7. M. Mecella, B. Pernici, and P. Craca. "Compatibility of e-services in a cooperative multi-platform environment". TES 2000, Springer, 2001, pp. 44-57
8. A. Martens. "On compatibility of Web services". Petri Net Newsletter, 65, 2003.
9. Lucas Bordeaux and Gwen Saläun. "Using Process Algebra for Web services:Early Results and Perspectives". TES 2004, Springer-Verlag, Berlin Heidelberg 2005, pp. 54-68
10. G. Meredith and S. Bjorg. "Contracts and types". Communications of the ACM, 2003. 46(10):41-47
11. G. Saläun, L. Bordeaux, and M. Schaerf. "Describing and reasoning on Web services using process algebra". In Proc. of Int. Conf. on Web services (ICWS), IEEE Computer Society Press, 2004. pp. 43-51
12. Andrea Rerrara. "Web services; a Process Algebra Approach". ISCOC'04, New York, USA, 2004. ACM. pp. 242-251
13. R. Milner. "Communication and Concurrency". Prentice Hall, 1989.
14. R. Milner. "A calculi of Communication and Concurrency". Spinger-Verlag, 1980.
15. D. Brand and P. Zafiropulo. "On communicating finite-state machines". J of the ACM, 1983. 30(2):323-342.