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.

[1]  納富 一宏,et al.  授業支援システムKBookの利用状況分析 (ITを活用した授業支援・教員支援) , 2009 .

[2]  Steven McCanne,et al.  Inference of multicast routing trees and bottleneck bandwidths using end-to-end measurements , 1999, IEEE INFOCOM '99. Conference on Computer Communications. Proceedings. Eighteenth Annual Joint Conference of the IEEE Computer and Communications Societies. The Future is Now (Cat. No.99CH36320).

[3]  Faron Moller,et al.  The Mobility Workbench - A Tool for the pi-Calculus , 1994, CAV.

[4]  Zhao Wen-yun.  Improved method of automated Web service composition using Pi-calculus , 2007 .

[5]  Faron Mollerz,et al.  The Mobility Workbench | a Tool for the -calculus | , 1994 .

[6]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[7]  Martín Abadi,et al.  Mobile values, new names, and secure communication , 2001, POPL '01.

[8]  Gwen Salaün,et al.  Describing and reasoning on Web services using process algebra , 2004, Proceedings. IEEE International Conference on Web Services, 2004..

[9]  Filip De Turck,et al.  An active networking based service for media transcoding in multicast sessions , 2004, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[10]  Yu Xue-li.  Specification and verification of WS-CDL choreography based on Pi-calculus , 2008 .

[11]  Liao Jun.  Describing and Verifying Web Service Using Pi-Calculus , 2005 .

[12]  Cheng Yong.  Research on Formal Description and Verification of Semantic Web Service Composition , 2008 .

[13]  Lin Qing-ying.  Semantic description of Web services composition with OWL-S , 2006 .