DocumentCode
2413303
Title
Generic Web Services Composition Verification Based on Batch Proof Method
Author
Zhai, Jie ; Shao, ZhiQing
fYear
2011
fDate
21-23 Oct. 2011
Firstpage
843
Lastpage
846
Abstract
Present verification techniques only verify the property of composition specification in one situation every time, there will be a substantial waste of effort. We propose batch proof method for verifying the property of generic services composition specification in all situations simultaneously. The main advantage of this method is to improve the efficiency of proof. The verified generic composition specification at an abstract level will be used in a variety of instances without repeating the proof.
Keywords
Buildings; Computational modeling; Dispatching; Logistics; Semantic Web; Web services; Batch proof method; Generic form; Services component;
fLanguage
English
Publisher
ieee
Conference_Titel
Computational and Information Sciences (ICCIS), 2011 International Conference on
Conference_Location
Chengdu, China
Print_ISBN
978-1-4577-1540-2
Type
conf
DOI
10.1109/ICCIS.2011.157
Filename
6086331
Link To Document