DocumentCode :
3151283
Title :
Verifying OWL-S Service Process Models
Author :
Feng, Yuzhang ; Kirchberg, Markus
Author_Institution :
Inst. for Infocomm Res., A*STAR, Singapore, Singapore
fYear :
2011
fDate :
4-9 July 2011
Firstpage :
307
Lastpage :
314
Abstract :
OWL-S is an ontology that provides the necessary vocabulary for describing various components of Web services so that automated discovery, composition and invocation of Web services can be made possible. The main component, the process model, describes the interaction protocol between a Web service and its clients. Such protocol includes not only the inputs, outputs, preconditions and results of the service, but also the control flow and data flow within the service. In this paper, we propose an approach to verify various properties of the process model of an OWL-S service. We define a set of mapping rules to translate a process model into a process algebra model and use a dedicated model checker to check the properties of the translated model. We handle not only the control flow of the process model, but also the binding-based data flow. Pre-conditions and results are also included in our approach. As a case study, we use a reasonably complex online book shopping Web service.
Keywords :
Web services; formal verification; ontologies (artificial intelligence); process algebra; specification languages; OWL-S service process model; Web service composition; Web service discovery; Web service interaction protocol; Web service invocation; Wen ontology language; binding-based data flow; model checker; process algebra model; Algebra; Data models; OWL; Ontologies; Process control; Semantics; Web services;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Web Services (ICWS), 2011 IEEE International Conference on
Conference_Location :
Washington, DC
Print_ISBN :
978-1-4577-0842-8
Electronic_ISBN :
978-0-7695-4463-2
Type :
conf
DOI :
10.1109/ICWS.2011.101
Filename :
6009403
Link To Document :
بازگشت