Describing and verifying web service using CCS

Parallel and Distributed Computing, Applications and Technologies, PDCAT Proceedings

Volumn , Issue , 2006, Pages 421-426

  Bao, Li ^a   Zhang, Weishi ^a   Zhang, Xiuguo ^a  

^a DALIAN MARITIME UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

CONCURRENT ENGINEERING; INFORMATION RETRIEVAL; INFORMATION SERVICES; MATHEMATICAL MODELS; VERIFICATION;

COMPOSITE SERVICES; COMPOSITION MODELS; CONCURRENT SYSTEMS;

WEB SERVICES;

EID: 34548838125     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PDCAT.2006.52     Document Type: Conference Paper

References (15)

1. Gwen Sala'un, Lucas Bordeaux, Marco Schaerf, "Describing and Reasoning on Web Services using Process Algebra", IEEE Computer Society Press, 2004. pp. 43-51.
2. Shin NAKAJIMA, "Model-Checking Verification for Reliable Web Service", OOPSLA Workshop on Object-Oriented Web Services, Seattle, Washington, 2002, 12.
3. Liao Jun, Tan Hao, Liu Jin-De, "Describing and verifying Web service using Pi-calculus", Chinese Journal of Computers, 2005, 28(4): 635-642 (in Chinese).
4. Fensel D., "The semantic web and its languages", IEEE Intelligent Systems, 2000, 15 (6): 67-73.
5. S. Nakajima, "On Verifying Web Service Flows", In Proc. SAINT 2002 Workshop, pages 223-224, January, 2002.
6. Karamanolis C. , Giannakopoulou D. , Magee J . , Wheater S.M, "Model checking of workflow schemas", In: Proceedings of the 4th International Enterprise Distributed Object Computing Conference,Makuhari,Japan,2000, 170-179.
7. Foster H. , Uchitel S. , Magee J . , Kramer J . , "Model based verification of web service compositions", In: Proceedings of the 18th IEEE International Conference on Automated Software Engineering,Montreal, Canada,2003, 152-161.
8. Koshkina M. , van Breugel F., "Modeling and verifying Web service orchestration by means of the concurrency workbench", ACM SIGSOFT SEN,2004 , 29 (5): 1-10.
9. Zhang Jia, Chung Jen Yao , Chang C. K. , Kim S. , "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, 420-427.
10. Fangfang Liu, etc, "Formal Analysis of Compatibility of Web Service via CCS", In:Proceedings of the International Conference on Next Generation Web Service Practices, IEEE computer society, 2005.
11. R. Milner, A calculi of Communication and Concurrency, Spinger-Verlag, 1980.
12. Ranee Cleaveland, etc, User'Manual of CWB-NC, SUNY at Stony Brook, NY, 2000.
13. E.A. Emerson and C.-L. Lei, "Efficient model checking in fragments of the propositional mu-calculus", In Symposium on Logic in Computer Science (LICS'86), pages 267-278,Cambrige,Massachusetts,June 1986,IEEE Computer Society Press.
14. D.Kozen, "Results on the propositional mu-calculus", Theoretical Coputer Science, 27(3):333-345, December 1983.
15. E.M.Clarke, E.A.Emerson, and A.P.Sistla, "Automatic verification of finite-state concurrent systems using temporal logic specifications", ACM Transaction on Programming Languages and Systems, 8(2); 244-263, April 1986.