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

fYear

2015

fDate

24-26 April 2015

Firstpage

37

Lastpage

40

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Information Science and Control Engineering (ICISCE), 2015 2nd International Conference on

Conference_Location

Shanghai

Print_ISBN

978-1-4673-6849-0

Type

conf

DOI

10.1109/ICISCE.2015.17

Filename

7120557