Formal verification of composite service recovery mechanisms consistency

Walid Gaaloul, Sami Bhiri, Manfred Hauswirth, Mohsen Rouached, Claude Godart

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

Abstract

Due to the inherent autonomy and heterogeneity of Web services, ensuring composite services reliability remains a challenging problem. Extending the classical control flow with a transactional flow (encapsulating a set of recovery mechanisms) is widely accepted for ensuring composite services reliability. However, current approaches define recovery mechanisms in and ad-hoc way while they have to respect consistency rules regarding the control flow. In this paper, we propose a formal model based on event calculus for capturing both control and transactional flow of composite services. Following a pattern based modelling approach, we depict a set of rules characterising consistent transactional flow that can be defined w.r.t a given control flow. In addition, we propose two complementary approaches for enhancing composite services reliability.

Original languageEnglish
Title of host publicationProceedings of the 3rd International Conference on Collaborative Computing
Subtitle of host publicationNetworking, Applications and Worksharing, CollaborateCom 2007
Pages278-287
Number of pages10
DOIs
Publication statusPublished - 2007
Event3rd International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom 2007 - White Plains, NY, United States
Duration: Nov 12 2007Nov 15 2007

Other

Other3rd International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom 2007
CountryUnited States
CityWhite Plains, NY
Period11/12/0711/15/07

    Fingerprint

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Computer Science Applications
  • Software

Cite this

Gaaloul, W., Bhiri, S., Hauswirth, M., Rouached, M., & Godart, C. (2007). Formal verification of composite service recovery mechanisms consistency. In Proceedings of the 3rd International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom 2007 (pp. 278-287). [4553842] https://doi.org/10.1109/COLCOM.2007.4553842