Grid Service Interaction Pattern and Composition Verification

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 behavior with pi-calculus and further establishing its interaction pattern, based on which some typical grid service contexts are defined and exemplified by application cases. Depending on the theoretical analysis, Pi-calculus based grid service composition verification algorithm, PGSCV, is proposed for verifying the grid service composition and proved available and efficient by experimental results. As a conclusion the future research work is also discussed.