BPEL4WS Verification Environment Using an Enhanced OWL-S and VDM

This paper presents a web service verification environment to assist developers with verifying BPEL4WS documents. This environment translates a BPEL4WS document into a VDM++ document through an intermediate language called the enhanced OWL-S, and then verifies the VDM++ document by using the VDM++ t...

Full description

Saved in:
Bibliographic Details
Published in2006 International Conference on Advanced Computing and Communications pp. 642 - 647
Main Authors Shih-Hung Lin, Yong-Feng Lin, Chen, J.J.-Y.
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.12.2006
Subjects
BPEL4WS
OWL-S
System recovery
User interfaces
VDM
web service verification
Web services
Online AccessGet full text

Cover

More Information
Summary:This paper presents a web service verification environment to assist developers with verifying BPEL4WS documents. This environment translates a BPEL4WS document into a VDM++ document through an intermediate language called the enhanced OWL-S, and then verifies the VDM++ document by using the VDM++ toolbox. The environment is expected: 1) to provide a visual user interface of the enhanced OWL-S document for developers to quickly understand data and workflow of composite web services described in BPEL4WS, and 2) to detect consistency of data type and operation in the web service, and deadlocks in the workflow of the BPEL4WS document.
ISBN:142440715X
9781424407156
DOI:10.1109/ADCOM.2006.4289979