Towards an Approach of Formal Verification of Web Service Composition

Mohamed Graiet , Mourad Kmimech , Lazhar Hamel , Mohamed Tahar Bhiri , Walid Gaaloul (1, 2, 3, 4) , Raoudha Maraoui (5)

1 TSP - Télécom SudParis
2 ACMES-SAMOVAR - Architecture, Cloud continuum, formal Models, artificial intElligence and Services in distributed computing
3 IP Paris - Institut Polytechnique de Paris
4 TSP - INF - Département Informatique
5 ESME - ESME - École spéciale de mécanique et d'électricité

Keywords: Web service transactional composition Event-B verification proof; Web service; transactional; composition; Event-B; verification; proof

Domains: Computer Science [cs]

Mohamed Graiet, Mourad Kmimech, Lazhar Hamel, Mohamed Tahar Bhiri, Walid Gaaloul, et al.. Towards an Approach of Formal Verification of Web Service Composition. International Journal On Advances in Intelligent Systems, 2011. ⟨hal-04547233⟩