From BPEL to Event-B - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

From BPEL to Event-B

Résumé

Web services compositions are defined using languages supporting the descrip- tions of orchestration and choreography. BPEL is the most well known and used orchestration language. It describes the behavior of the process that specifies the composition of web ser- vices but it does not support verification and validation of behavioral requirements. In our work, we are interested in the formal validation of web services orchestrations. We propose a proof and refinement based approach for the formal representation, verification and validation of web services compositions using the Event B method. This paper presents the BPEL2B translator that automates the translation of BPEL into Event B models.
Fichier non déposé

Dates et versions

hal-00634398 , version 1 (21-10-2011)

Identifiants

  • HAL Id : hal-00634398 , version 1

Citer

Idir Aït-Sadoune, Yamine Aït-Ameur. From BPEL to Event-B. International Workshop on Integration of Model-based Methods and Tools (IM FMT 2009) at 7th International Conference on integrated Formal Methods (IFM 2009)., Feb 2009, Düsseldorf, Germany. ⟨hal-00634398⟩
118 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More