Formal verification of composite service recovery mechanisms consistency

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

doi:10.1109/COLCOM.2007.4553842

Formal verification of composite service recovery mechanisms consistency

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

^*Corresponding author for this work

Information Systems

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 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	https://doi.org/10.1109/COLCOM.2007.4553842
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/Territory	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

Access to Document

10.1109/COLCOM.2007.4553842

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

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., 4553842, pp. 278-287, 3rd International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom 2007, White Plains, NY, United States, 11/12/07. https://doi.org/10.1109/COLCOM.2007.4553842

@inproceedings{dcb183d7fd7f429d89d3d13ff972bd7d,

title = "Formal verification of composite service recovery mechanisms consistency",

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.",

author = "Walid Gaaloul and Sami Bhiri and Manfred Hauswirth and Mohsen Rouached and Claude Godart",

year = "2007",

doi = "10.1109/COLCOM.2007.4553842",

language = "English",

isbn = "1424413176",

pages = "278--287",

booktitle = "Proceedings of the 3rd International Conference on Collaborative Computing",

note = "3rd International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom 2007 ; Conference date: 12-11-2007 Through 15-11-2007",

}

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

T2 - 3rd International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom 2007

Y2 - 12 November 2007 through 15 November 2007

ER -

Formal verification of composite service recovery mechanisms consistency

Abstract

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this