Title :
A Novel Method for Verification of Composite Web Services
Author :
Xiaobing Wang ; Sijiang Yu
Author_Institution :
Inst. of Comput. Theor. & Technol., Xidian Univ., Xi´an, China
Abstract :
This paper presents a novel method based on object-oriented MSVL for verification of composite Web services described by OWL-S. First, object-oriented MSVL, an executable temporal logic language for modelling, is briefly presented. Secondly, modelling rules are defined for OWL-S which is used to compose Web services. Further, Propositional Projection Temporal Logic (PPTL), a specification language for describing desirable properties, is presented and the verification method is proposed. At last, the verification method is illustrated by a bookstore example based on Web services.
Keywords :
Web services; knowledge representation languages; object-oriented programming; program verification; specification languages; temporal logic; OWL-S; PPTL; composite Web services verification method; executable temporal logic language; object-oriented MSVL; propositional projection temporal logic; specification language; Computational modeling; Model checking; Object oriented modeling; Process control; Specification languages; Uniform resource locators; Web services; Composite Web Services; OWL-S; Object-Oriented; Verification;
Conference_Titel :
Information Science and Control Engineering (ICISCE), 2015 2nd International Conference on
Conference_Location :
Shanghai
Print_ISBN :
978-1-4673-6849-0
DOI :
10.1109/ICISCE.2015.17
