By Topic

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

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Wencai Guo ; Comput. Sci. & Technol. Dept., Tsinghua Univ., Beijing ; Chuang Lin

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.

Published in:

Asia-Pacific Services Computing Conference, 2008. APSCC '08. IEEE

Date of Conference:

9-12 Dec. 2008