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 language | English |
|---|---|
| Title of host publication | Proceedings of the 3rd International Conference on Collaborative Computing |
| Subtitle of host publication | Networking, Applications and Worksharing, CollaborateCom 2007 |
| Pages | 278-287 |
| Number of pages | 10 |
| DOIs | |
| Publication status | Published - 2007 |
| Event | 3rd International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom 2007 - White Plains, NY, United States Duration: Nov 12 2007 → Nov 15 2007 |
Other
| Other | 3rd International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom 2007 |
|---|---|
| Country | United States |
| City | White Plains, NY |
| Period | 11/12/07 → 11/15/07 |
Fingerprint
ASJC Scopus subject areas
- Computer Networks and Communications
- Computer Science Applications
- Software
Cite this
Formal verification of composite service recovery mechanisms consistency. / Gaaloul, Walid; Bhiri, Sami; Hauswirth, Manfred; Rouached, Mohsen; Godart, Claude.
Proceedings of the 3rd International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom 2007. 2007. p. 278-287 4553842.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
}
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
SP - 278
EP - 287
BT - Proceedings of the 3rd International Conference on Collaborative Computing
ER -