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

摘要

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 ServiceModel 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.