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 |
ASJC Scopus subject areas
- Computer Networks and Communications
- Computer Science Applications
- Software