Analyse formelle d'orchestrations de services Web

Bisimulation pr´ ecoce La BP-logique Le service de vente et d’achat d’actions boursi` eres Correction des transformations G´ en´ eration de code WS-BPEL de l’exemple Les m´ ecanismes de corr´ elation et BPEL Propri´ et´ es du mod` ele Autres patrons Diagrammes d’activit´ es CONCLUSION