Research Article
Formal Verification of Composite Service Recovery Mechanisms Consistency
@INPROCEEDINGS{10.1109/COLCOM.2007.4553842, author={Walid Gaaloul and Sami Bhiri and Manfred Hauswirth and Mohsen Rouached and Claude Godart}, title={Formal Verification of Composite Service Recovery Mechanisms Consistency}, proceedings={3rd International ICST Conference on Collaborative Computing: Networking, Applications and Worksharin}, publisher={IEEE}, proceedings_a={COLLABORATECOM}, year={2008}, month={6}, keywords={Calculus Cascading style sheets Collaboration Context modeling Context-aware services Formal verification Protocols Service oriented architecture Web and internet services Web services}, doi={10.1109/COLCOM.2007.4553842} }- Walid Gaaloul
Sami Bhiri
Manfred Hauswirth
Mohsen Rouached
Claude Godart
Year: 2008
Formal Verification of Composite Service Recovery Mechanisms Consistency
COLLABORATECOM
IEEE
DOI: 10.1109/COLCOM.2007.4553842
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.