By Topic

Formalization and Verification of Automatic Composition Based on Pi-Calculus for Semantic Web Service

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)
Yong-Lian Wang ; Coll. of Comput. & Software, Taiyuan Univ. of Technol., Taiyuan, China ; Xue-Li Yu

In this paper, a method of automatic composition based on pi-calculus for semantic Web service has been presented to improve the automation composition of semantic Web service. First, the formal model of the semantic Web service composition based on pi-calculus is represented, and eight kinds of basic Web service composition patterns in service model of OWL-S are provided. These patterns can be utilized to construct Web service on demand. Then the matching between existing web services and sub-services are verified by the formalization and verification of pi-calculus, and the Web service composition is realized finally.

Published in:

Knowledge Acquisition and Modeling, 2009. KAM '09. Second International Symposium on  (Volume:1 )

Date of Conference:

Nov. 30 2009-Dec. 1 2009