A Formal Approach to Verify Grid Service Composition Based on Interaction Pattern

Grid services mismatching, resulted from non-compatible interfaces, protocols or behaviors, has been a barrier to realize services composition for coordination of distributed application. So itpsilas important to check and verify service composition to guarantee smooth interaction among services from different grid domain correctly. Pi-calculus, characterized by name exchanging of different processes, can be seen as a valid theoretical tool to model grid service behavior. In this paper, two typical service interaction patterns are established, based on which some 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.