A CCS based model for describing and verifying the behavior of web service

Proceedings - 2007 IFIP International Conference on Network and Parallel Computing Workshops, NPC 2007

Volumn , Issue , 2007, Pages 987-994

  Cao, Zhiying ^a   Bao, Li ^a   Zhang, Weishi ^a  

^a DALIAN MARITIME UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION SERVICES; PARALLEL PROCESSING SYSTEMS; WEB SERVICES;

CASE STUDIES; INTERNATIONAL CONFERENCES; PARALLEL COMPUTING; WEB SERVICE COMPOSITION;

WORLD WIDE WEB;

EID: 47849115110     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICNPCW.2007.4351615     Document Type: Conference Paper

References (16)

1. Gwen Salaün, Lucas Bordeaux, Marco Schaerf, "Describing and Reasoning on Web Services using Process Algebra",IEEE Computer Society Press, 2004. pp. 43-51.
2. S. Nakajima, "Model-checking verification for reliable web service", In Proc. OOPSLA'02 Workshop on OOWS, 2002.
3. Xiuguo Zhang, Weishi Zhang, Jinyu Shi, "A KPN Based Cooperative Composition Model of Services", In Proc. of Grid and Cooperative Computing (GCC 2005), Lecture Notes in Computer Science, 2005.
4. R. Milner, "Communication and Concurrency". Prentice Hall, 1989.
5. R. Milner, "A calculi of Communication and Concurrency", Spinger-Verlag, 1980.
6. Lucas Bordeaux, Gwen Salaun, et al, "When are Two Web services Compatible", TES 2004, Springer-Verlag, Berlin Heidelberg, 2005. pp. 15-28.
7. Li Bao, Weishi Zhang, Xiuguo Zhang, "Describing and Verifying Web Service Using CCS". Seventh International Conference on Parallel and Distributed Computing, Applications and Technologies, 2006. pp. 421-426.
8. Franck van Breugel, Maria Koshkina, "Models and Verification of BPEL", Available at: http://www.cse.yorku.ca/~franck/research/drafts/ tutorial.pdf
9. Zhang Jia , Chung Jen Yao , Chang C. K. , "WS-Net: A petri-net based specification model for web services", In: Proceedings of the 2nd IEEE International Conference on Web Services,San Diego,California,USA, 2004. pp. 420-427.
10. Tao X. F., et al, "Formalizing Web service and modeling Web service based on object oriented Petri net", Lecture Notes in Computer Science. Berlin, Heidelberg. Springer-Verlag, 2004.
11. Tao Xiao Feng, Sun jian, "Web service composition based on object oriented Petri net", Computer Applications, 25(6), 2005. pp. 1424-1426 (in Chinese).
12. A. Ferrara, "Web Services: a Process Algebra Approach", In Proc. 2nd Int. Conf. on Service-Oriented Computing (ICSOC'04), ACM Press, 2004. pp. 242-251.
13. "Web Services Description Language (WSDL) 1.1", Available at: http://www.w3.org/TR/wsdl.
14. Xiuguo Zhang, Weishi Zhang, "A Cooperative Service Composition Language and Its Formal Semantics," Seventh International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT), 2006. pp. 333-338.
15. W3C. "Web Services Choreography Requirements 1.0 (draft)", Available at http:www.w3.org/TR/ws-chor-reqs.
16. L. de Alfaro and T. "A. Henzinger. Interface Automata", In Proc. Joint ESEC/FSE'01, Austria, 2001. ACM Press, pp. 109-120.