Title :
Formalization and Verification of Automatic Composition Based on Pi-Calculus for Semantic Web Service
Author :
Wang, Yong-Lian ; Yu, Xue-Li
Author_Institution :
Coll. of Comput. & Software, Taiyuan Univ. of Technol., Taiyuan, China
fDate :
Nov. 30 2009-Dec. 1 2009
Abstract :
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.
Keywords :
Web services; knowledge representation languages; pi calculus; program verification; semantic Web; OWL-S; automatic composition verification; formal model; knowledge representation languages; pi-calculus; semantic Web service; Algebra; Application software; Artificial intelligence; Atomic layer deposition; Educational institutions; Knowledge acquisition; Logic; Petri nets; Semantic Web; Web services; OWL-S; Pi-Calculus; automatic composition; semantic web service;
Conference_Titel :
Knowledge Acquisition and Modeling, 2009. KAM '09. Second International Symposium on
Conference_Location :
Wuhan
Print_ISBN :
978-0-7695-3888-4
DOI :
10.1109/KAM.2009.140
