Grid Service Adaptation Based On Pi-Calculus

Wencai Guo,Chuang Lin
2008-01-01
Abstract:Grid service composition is seen as a focal point of grid research, especially as mechanisms for coordination of distributed application are acquiring more importance. There is, however, a need to tackle with services mismatching, to guarantee successful interaction between services, which is resulted from their non-compatible interfaces, protocols or behaviors. The work presented in this paper is concerned with modeling grid service composition with Pi-Calculus and further establishing service adaptor to eliminate possible protocol level deadlock. The adaptor forms service composition profile by collecting member service's operation and then verifies the composition model, a process described by Pi-Calculus, to locate its deadlock. In order to remove deadlock, Pi-Calculus based Grid Services Deadlock Eliminating algorithm (PGSDE), is proposed and proved available and efficient by experiments. As a conclusion the future research work is also discussed.
What problem does this paper attempt to address?