Transforming BPEL into Intermediate Format Language for Web Services Composition Testing

Mounir Lallali (1, 2) , Zaidi Fatiha (3) , Cavalli Rosa Ana (4, 2)

1 SAMOVAR - Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
2 CNRS - Centre National de la Recherche Scientifique
3 ForTesSE
4 METHODES-SAMOVAR - Méthodes et modèles pour les réseaux

BPEL is a standard language for Web services composition. To test a composite Web service, the design of a formal model is very useful, because it facilitates the application and the automatization of test generation methods. In this paper, we propose a transformation procedure of the BPEL specification into an Intermediate Format (IF) model that is based on timed automata. This IF format is well adapted to model BPEL (timed) constructs and to handle faults, events, termination, message correlation and activities synchronization. The proposed transformation was implemented in the BPEL2IF tool, which is also presented in this paper.

Domaines: Génie logiciel [cs.SE]

Mounir Lallali, Zaidi Fatiha, Cavalli Rosa Ana. Transforming BPEL into Intermediate Format Language for Web Services Composition Testing. The 4th International Conference on Next Generation Web Services Practices (NWESP'08), Oct 2008, Séoul, South Korea. pp.191 - 197, ⟨10.1109/NWeSP.2008.14⟩. ⟨hal-00866002⟩