Title :
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
fDate :
Nov. 30 2009-Dec. 1 2009
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;
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.316
