Towards an Approach of Formal Verification of Web Service Composition
Mohamed Graïet, Mourad Kmimech, Lazhar Hamel, Mohamed Tahar Bhiri, Raoudha Maraoui, Walid Gaaloul · 2011
Abstract—Web services can be defined as self-contained modular programs that can be discovered and invoked across the Internet. Web services are defined independently from any execution context. 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. Keywords-Web service; transactional; composition; Event-B; verification; proof; I.