TY - GEN
T1 - Formal verification of composite service recovery mechanisms consistency
AU - Gaaloul, Walid
AU - Bhiri, Sami
AU - Hauswirth, Manfred
AU - Rouached, Mohsen
AU - Godart, Claude
PY - 2007
Y1 - 2007
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=51349125200&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=51349125200&partnerID=8YFLogxK
U2 - 10.1109/COLCOM.2007.4553842
DO - 10.1109/COLCOM.2007.4553842
M3 - Conference contribution
AN - SCOPUS:51349125200
SN - 1424413176
SN - 9781424413171
T3 - Proceedings of the 3rd International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom 2007
SP - 278
EP - 287
BT - Proceedings of the 3rd International Conference on Collaborative Computing
T2 - 3rd International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom 2007
Y2 - 12 November 2007 through 15 November 2007
ER -