Verification Web Services Composition Based on OWL-S

Author

Xia, Hong ; Li, Zengzhi

Author_Institution

Inst. of Comput. Syst. Archit. & Network, Xi´´an Jiaotong Univ., Xi´´an, China

Volume

1

fYear

2009

fDate

Nov. 30 2009-Dec. 1 2009

Firstpage

164

Lastpage

167

Abstract

In order to ensure the correctness and reliability of Web services composition based on OWL-S, verify the interaction protocol of Web services. It is provided that three lay architecture. Composition service based on OWL-S, GA model is the middle model and the Promela model is the verification model, SPIN as a model validator. The OWL-S composition Web services transform a top-down conversation protocol process into a GA model, use WAST tool into Promela model, the SPIN tool analysis and verification structure and performance of composition services. This method is flexibility and scalability which provide a solution for Web services composition model verification.

Keywords

Web services; genetic algorithms; knowledge representation languages; program verification; GA model; OWL-S; Promela model; SPIN tool analysis; WAST tool; Web services composition verification; interaction protocol; top-down conversation protocol process; Asynchronous communication; Automata; Computer architecture; Protocols; Scalability; Service oriented architecture; State-space methods; Switches; Web services; XML; GA model; OWL-S; promela model; verification of Web services composition;

fLanguage

English

Publisher

ieee

Conference_Titel

Knowledge Acquisition and Modeling, 2009. KAM '09. Second International Symposium on

Conference_Location

Wuhan

Print_ISBN

978-0-7695-3888-4

Type

conf

DOI

10.1109/KAM.2009.316

Filename

5362245