Stepwise Design of BPEL Web Services Compositions, An Event B Refinement Based Approach - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

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

Résumé

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.

Dates et versions

hal-00634202 , version 1 (20-10-2011)

Identifiants

Citer

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., ⟨10.1007/978-3-642-13273-5_4⟩. ⟨hal-00634202⟩
65 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More