Jing Zhou, Tongji University, China; National Engineering & Technology Center of High Performance Computer, China
Guosun Zeng, Tongji University, China; National Engineering & Technology Center of High Performance Computer, China
Composition of grid services combines two or more grid services to achieve the desired computing goals, which is becoming important in application from electronic commerce to application interoperation. Numerous frameworks have been proposed for the grid service composition; however, the fundamental research about the essential semantic specification of grid service composition has not been addressed. The imbalance development between the theory and the industry will directly affect QoS (quality of grid service). Under this premise, we attempt to use the pi-calculus to depict the dynamic, concurrent and interactive characteristic of grid service composition. A novel grid service composition signature has been proposed in this paper. Furthermore, based on the expansion to the pi-calculus, we presented the algebraic foundation of the model and formally semantic specification for the dynamic binding and interactive concurrency of the grid service composition.
Citation:
Jing Zhou, Guosun Zeng, "Specification for Concurrency and Communication Characteristic of Grid Service Composition using Pi-calculus," gcc, pp.490-493, Fifth International Conference on Grid and Cooperative Computing (GCC'06), 2006
PURCHASE ARTICLE: $19
IEEE Xplore Subscribers
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb