Home // International Journal On Advances in Intelligent Systems, volume 4, numbers 3 and 4, 2011 // View article

Towards an Approach of Formal Verification of Web Service Composition

Authors:
Mohamed Graiet
Lazhar Hamel
Raoudha Maraoui
Mourad Kmimech
Mohamed Tahar Bhiri
Walid Gaaloul

Keywords: Web service; transactional; composition; Event-B; verification; proof;

Abstract:
Web services can be defined as self-contained modular programs that can be discovered and invoked across the Internet. Web services are defined independently from any execution context. A key challenge of Web Service (WS) composition is how to ensure reliable execution. Due to their inherent autonomy and heterogeneity, it is difficult to reason about the behavior of service compositions especially in case of failures. Therefore, there is a growing interest for verification techniques which help to prevent service composition execution failures. In this paper, we present a proof and refinement based approach for the formal representation, verification and validation of Web Services transactional compositions using the Event-B method.

Pages: 332 to 342

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

Publication date: April 30, 2012

Published in: journal

ISSN: 1942-2679