Stepwise Design of BPEL Web Services Compositions, An Event B Refinement Based Approach

Abstract : Several web services compositions languages and standards are used to describe different applications available over the web. These languages are essentially syntactic ones, their descriptions remain informal and are based on graphical notations. They do not offer any guarantee that the described services achieve the goals they have been designed for. The objective of this paper is twofold. First, it focusses on the formal description, modelling and validation of web services compositions using the Event B method. Second, it suggest a refinement based method that encodes the BPEL models decompositions. Finally, we show that relevant properties formalized as Event B properties can be proved. A tool encoding this approach is also available.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00634202
Contributor : Idir Ait Sadoune <>
Submitted on : Thursday, October 20, 2011 - 4:02:05 PM
Last modification on : Friday, January 31, 2020 - 1:52:04 PM

Identifiers

  • HAL Id : hal-00634202, version 1

Collections

Citation

Idir Aït-Sadoune, Yamine Aït-Ameur. Stepwise Design of BPEL Web Services Compositions, An Event B Refinement Based Approach. 8th ACIS Conference on Software Engineering Research, Management and Applications (SERA 2010), May 2010, Montréal, Canada. pp.51-68. ⟨hal-00634202⟩

Share

Metrics

Record views

97