Formal verification of composite service recovery mechanisms consistency

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

Research output: Chapter in Book/Report/Conference proceedingConference 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 languageEnglish
Title of host publicationProceedings of the 3rd International Conference on Collaborative Computing
Subtitle of host publicationNetworking, Applications and Worksharing, CollaborateCom 2007
Pages278-287
Number of pages10
DOIs
Publication statusPublished - 2007
Event3rd International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom 2007 - White Plains, NY, United States
Duration: Nov 12 2007Nov 15 2007

Other

Other3rd International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom 2007
CountryUnited States
CityWhite Plains, NY
Period11/12/0711/15/07

Fingerprint

Flow control
Recovery
Composite materials
Web services
Formal verification

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Computer Science Applications
  • Software

Cite this

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 (pp. 278-287). [4553842] https://doi.org/10.1109/COLCOM.2007.4553842

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 proceedingConference 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
Gaaloul W, Bhiri S, Hauswirth M, Rouached M, Godart C. Formal verification of composite service recovery mechanisms consistency. In Proceedings of the 3rd International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom 2007. 2007. p. 278-287. 4553842 https://doi.org/10.1109/COLCOM.2007.4553842
Gaaloul, Walid ; Bhiri, Sami ; Hauswirth, Manfred ; Rouached, Mohsen ; Godart, Claude. / Formal verification of composite service recovery mechanisms consistency. Proceedings of the 3rd International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom 2007. 2007. pp. 278-287
@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",

}

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 -