Verifying composite service transactional behavior with EVENT-B - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Verifying composite service transactional behavior with EVENT-B

Résumé

A key challenge of Web Service (WS) composition is how to ensure reliable execution. Due to their inherent autonomy and heterogeneity, it is difficult to reason about the behavior of service compositions especially in case of failures. Therefore, there is a growing interest for verification techniques which help to prevent service composition execution failures. In this paper, we present a proof and refinement based approach for the formal representation, verification and validation of Web Services transactional compositions using the Event-B method

Dates et versions

hal-01354674 , version 1 (19-08-2016)

Identifiants

Citer

Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul. Verifying composite service transactional behavior with EVENT-B. ECSA 2011 : 5th European Conference on Software Architecture, Sep 2011, Essen, Germany. pp.67 - 74, ⟨10.1007/978-3-642-23798-0_7⟩. ⟨hal-01354674⟩
51 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More