A Proof-based Approach for Verifying Composite Service Transactional Behavior
Lazhar Hamel, Mohamed Graïet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul · International Conference on Software Engineering Advances · 2011
Web services are software components accessible via Internet. Web services are defined independentl y from any execution context. A key challenge of Web service c ompositions is how to ensure reliable execution. Due to their i nherent autonomy and heterogeneity, it is difficult to reas on about the behavior of service compositions especially in case of failures. In this work, we propose an approach to formalize a model of Web services composition to check and ensure reliable execution. To achieve this, we propose a proof orie nted approach for the formalization and verification of transactional behavior of web services composition using Event-B.