Specification for concurrency and communication characteristic of grid service composition using Pi-calculus

Proceedings - Fifth International Conference on Grid and Cooperative Computing, GCC 2006

Volumn , Issue , 2006, Pages 490-493

  Zhou, Jing ^a,b   Zeng, Guosun ^a,b  

^a TONGJI UNIVERSITY   (China)

^b National Engineering and Technology Center of High Performance Computer   (China)

Author keywords

[No Author keywords available]

Indexed keywords

COMMUNICATION SYSTEMS; ELECTRONIC COMMERCE; QUALITY OF SERVICE; SEMANTICS; SPECIFICATIONS;

GRID SERVICE COMPOSITION; PI-CALCULUS;

GRID COMPUTING;

EID: 38649112950     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/GCC.2006.87     Document Type: Conference Paper

References (16)

1. Foster, I., Kesselman, C., Nick, J. M. & Tuecke, S: The Physiology of the Grid: An Open Grid Services Architecture for Distributed Systems Integration, 2002
2. William Kwok-Wai Cheung, Jiming Liu, Kevin H. Tsang, Raymond K. Wong: Towards Autonomous Service Composition in AGrid Environment. ICWS 2004, pp: 550-557
3. Z.Ren, J.Cao, A.Chan, J.Li: Composition and Automation of Grid Services, APPT 2003, LNCS 2834, pp: 352-362
4. Koehler J, Srivastava B: Web Service Composition: Current solutions and open problems. Proc. the 13th International Conference on Automated Planning & Scheduling, Trento, Italy, 2003, pp: 28-35
5. J.Pin, Z.Hui , W.Xiang: Formal framework for adaptive multi2agent Systems. Proc.EEE/ WIC International Conference on Intelligent Agent Technology, Halifax, Canada, 2003, pp: 442445
6. M.Lumpe: A Pi-calculus based approach to software composition [Ph. D. dissertation] . Institute of Computer Science and Applied Mathematics, University of Bern, Switzerland, 1999
7. F.Orava, J.Parrow: An algebraic verification of a mobile network. Formal Aspect of Computing, 1992 , 4 (6), pp: 497-543
8. L.Min: A verification tool for value passing process algebras. IFIP Transactions C216 : Protocol Specification, Testing and Verification, Nort h2Holland, 1993, pp: 79-92
9. A. W.Appel, D. B.MacQueen: Standard ML of new Jersey. Proc.the 3rd International Symposium on Programming Language Implementation and Logic Programming , New York , 1991, pp: 1-13
10. B.Victor, F.Moller: The mobility workbench: A tool for the pi-calculus. Proc. the 6th International Conference on Computer Aided Verification, USA, 1994, pp: 428-440
11. S.Gwen,L.Bordeaux, M.Schaerf: Describing and reasoning on Web services using process algebra. Proc. the 2nd IEEE International Conference on Web Services, Sandi ego, California, USA 2004, pp: 43-50
12. C.Karamanolis, D.Giannakopoulou, J.Magee, S.M.Wheater: Model checking of workflow schemas. Proc. the 4th International Enterprise Distributed Object Computing Conference, Makuhari, Japan, 2000, pp: 170-179
13. M.Koshkina, F.van Breugel: Modeling and verifying Web service orchest ration by means oft he concurrency workbench. ACM SIGSOFT SEN, 2004, 29 (5), pp: 1-10
14. J.Zhang, J .Chung, C. Caching: WS2Net: A petri net based specification model for web services. Proc.the 2nd IEEE International Conference on WebServices, San Diego , California , USA, 2004, pp: 420-427
15. R.Milner: Communication and Concurrency. Englewood Cliffs : Prentice2Hall, 1989
16. R.Milner: Communicating and Mobile Systems: The Pi-Calcu lus. Cambridge: Cambridge University Press, 1999