HAL : hal-00695440, version 1

Fiche détaillée

Récupérer au format BibTeX - EndNote - TEI - RefWorks -

Rodin User and Developer Workshop : Deploy Federated Event, Fontainebleau : France (2012)

Verification and validation of BPEL processes. A proof and animation based approach

Idir Aït-Sadoune 1, Yamine Ait-Ameur 2, Mickael Baron 3

(02/2012)

With the aim to provide a complete tool for the web services compositions validation, we have integrated various plugins in a single platform. This platform is based on the Eclipse core and contains the WSDL and BPEL editors plugins~(1), the BPEL2B (2) and B2EXPRESS (3) developed plugins and the various plugins of the RODIN platform (4). Different views are offered by this platform : WSDL and BPEL editors to describe different web services and their orchestration graphically or using the XML syntax, BPEL2B plugin to transform the WSDL/BPEL specifications onto Event-B models, the different plugins of RODIN to perform web services composition validation on the obtained Event-B model and the B2EXPRESS plugin to animate the obtained Event-B model.

1 :	Supélec Sciences des Systèmes - EA4454 (E3S)
	SUPELEC
2 :	Ecole Nationale Supérieure d'Electrotechnique, d'Electronique, d'Informatique, d'Hydraulique et de Télécommunications (ENSEEIHT)
	Ecole Nationale Supérieure d'Electrotechnique, d'Electronique, d'Informatique, d'Hydraulique et de Télécommunications
3 :	Laboratoire d'Informatique Scientifique et Industrielle (LISI)
	Université de Poitiers – Ecole Nationale Supérieure de Mécanique et d'Aérotechnique

Équipe de recherche : INFO - Département Informatique

Domaine

:

Informatique/Modélisation et simulation

hal-00695440, version 1

http://hal.archives-ouvertes.fr/hal-00695440

oai:hal.archives-ouvertes.fr:hal-00695440

Contributeur : Idir Aït-Sadoune <>

Soumis le : Mardi 8 Mai 2012, 15:21:09

Dernière modification le : Mardi 8 Mai 2012, 15:27:04