Home // International Journal On Advances in Systems and Measurements, volume 1, number 1, 2008 // View article

Consistency Checking of Web Service Contracts

Authors:
M. Emilia Cambronero
Joseph C. Okika
Anders P. Ravn

Keywords: Web Services contract, consistency, WS Choreography, WS Orchestration.

Abstract:
Behavioural properties are analyzed for web service contracts formulated in Business Process Execution Language (BPEL) and Choreography Description Language (CDL). The key result reported is an automated technique to check consistency between protocol aspects of the contracts. The contracts are abstracted to (timed) automata and from there a simulation is set up, which is checked using automated tools for analyzing networks of finite state processes. Here we use the Concurrency Work Bench. The proposed techniques are illustrated with a case study that include otherwise difficult to analyze fault handlers.

Pages: 29 to 39

Copyright: Copyright (c) to authors, 2008. Used with permission.

Publication date: February 24, 2009

Published in: journal

ISSN: 1942-261x