A Proof Based Approach for Modelling and Verifying Web Services Compositions

Abstract : The Web Services composition defines a process that involves various independent Web Services to perform a complex function. This process is described with a standard language (BPEL) and executed by tools supporting this language. This kind of languages describes the behavior of different distributed services together, but it does not support the verification nor the validation of behavioral requirements. In our work, we are interested in the formal validation of Web Services composition. Formal models are extracted from BPEL specifications and checked. Most previous work is based on Web Services composition formalizations using Petri nets, process algebra or transition systems. The model checking technique is set-up to validate such descriptions. In this paper, we present a proof and refinement based approach for the formal representation, verification and validation of Web Services compositions using the Event B method.
Document type :
Conference papers
Complete list of metadatas

Contributor : Idir Ait Sadoune <>
Submitted on : Friday, October 21, 2011 - 9:07:35 AM
Last modification on : Friday, January 31, 2020 - 1:52:04 PM


  • HAL Id : hal-00634395, version 1



Idir Aït-Sadoune, Yamine Aït-Ameur. A Proof Based Approach for Modelling and Verifying Web Services Compositions. 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2009), Jun 2009, Potsdam, Germany. pp.1-10. ⟨hal-00634395⟩



Record views