Describing and verifying web service using pi-calculus

Jisuanji Xuebao/Chinese Journal of Computers

Volumn 28, Issue 4, 2005, Pages 635-642

  Liao, Jun ^a   Tan, Hao ^a   Liu, Jin De ^a  

^a UNIVERSITY OF ELECTRONIC SCIENCE AND TECHNOLOGY OF CHINA   (China)

Author keywords

Formal service; Pi calculus; Process algebra; Service composition; Web service

Indexed keywords

CONCURRENT ENGINEERING; DISTRIBUTED COMPUTER SYSTEMS; FORMAL LANGUAGES; MIDDLEWARE; QUALITY OF SERVICE;

FORMAL SERVICE; PI-CALCULUS; PROCESS ALGEBRA; SERVICE COMPOSITION; WEB SERVICE;

SOFTWARE ENGINEERING;

EID: 18744393085     PISSN: 02544164     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (17)

1. Koehler J., Srivastava B.. Web service composition: Current solutions and open problems. In: Proceedings of the 13th International Conference on Automated Planning and Scheduling, Trento, Italy, 2003, 28-35
2. Milner R.. Communication and Concurrency. Englewood Cliffs: Prentice-Hall, 1989
3. Fensel D.. The semantic web and its languages. IEEE Intelligent Systems, 2000, 15(6): 67-73
4. Milner R.. Communicating and Mobile Systems: The Pi-Calculus. Cambridge: Cambridge University Press, 1999
5. Milner R., Parrow J., Walker D.. A calculus of mobile processes, part I/II. Journal of Information and Computation, 1992, 100(1): 1-77
6. Lin Hui-Min.. Complete proof systems for observation convergences in finite control pi-calculus. In: Proceedings of the 25th International Colloquium on Automata, Languages and Programming, Aalborg, Denmark, 1998, 443-454
7. Jiao Wen-Pin, Zhou Ming-Hui, Wang Qian-Xiang.. Formal framework for adaptive multi-agent Systems. In: Proceedings of IEEE/WIC International Conference on Intelligent Agent Technology, Halifax, Canada, 2003, 442-445
8. Markus Lumpe. A Pi-calculus based approach to software composition [Ph. D. dissertation]. Institute of Computer Science and Applied Mathematics, University of Bern, Switzerland, 1999
9. Orava F., Parrow J.. An algebraic verification of a mobile network. Formal Aspect of Computing, 1992, 4(6): 497-543
10. Lin Hui-Min.. A verification tool for value-passing process algebras. IFIP Transactions C-16: Protocol Specification, Testing and Verification, North-Holland, 1993, 79-92
11. Appel A. W., MacQueen D. B.. Standard ML of new Jersey. In: Proceedings of the 3rd International Symposium on Programming Language Implementation and Logic Programming, New York, 1991, 1-13
12. Victor B., Moller F.. The mobility workbench: A tool for the pi-calculus. In: Proceedings of the 6th International Conference on Computer Aided Verification, California, USA, 1994, 428-440
13. Salaün G., Bordeaux L., Schaerf M.. Describing and reasoning on Web services using process algebra. In: Proceedings of the 2nd IEEE International Conference on Web Services, San Diego, California, USA, 2004, 43-50
14. 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
15. 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
16. Koshkina M., van Breugel F.. Modelling and verifying Web service orchestration by means of the concurrency workbench. ACM SIGSOFT SEN, 2004, 29(5): 1-10
17. 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