Event-based design and runtime verification of composite service transactional behavior

Walid Gaaloul, Sami Bhiri, Mohsen Rouached

Research output: Contribution to journalArticle

49 Citations (Scopus)

Abstract

Different from process components, Web services are defined independently from any execution context. A key challenge of (Web) service compositions is how to ensure reliable execution. Due to their inherent autonomy and heterogeneity, it is difficult to reason about the behavior of service compositions especially in case of failures. Therefore, there is a growing interest for verification techniques which help to prevent service composition execution failures. In this paper, we propose an event-driven approach to validate the transactional behavior of service compositions. The transactional behavior verification is done either at design time to validate recovery mechanisms consistency, or after runtime to report execution deviations and repair design errors, and therefore, formally ensure service execution reliability. By using the Event Calculus formalism to specify and check the transactional behavior consistency of service composition, our approach provides a logical foundation to ensure service execution reliability.

Original languageEnglish
Article number5
Pages (from-to)32-45
Number of pages14
JournalIEEE Transactions on Services Computing
Volume3
Issue number1
DOIs
Publication statusPublished - 2010

Fingerprint

Composite materials
Chemical analysis
Web services
Repair
Recovery
Service composition

Keywords

  • Monitoring
  • Reliability
  • Transactional Web services
  • Verification
  • Web services compositions

ASJC Scopus subject areas

  • Hardware and Architecture
  • Computer Science Applications
  • Computer Networks and Communications
  • Information Systems and Management

Cite this

Event-based design and runtime verification of composite service transactional behavior. / Gaaloul, Walid; Bhiri, Sami; Rouached, Mohsen.

In: IEEE Transactions on Services Computing, Vol. 3, No. 1, 5, 2010, p. 32-45.

Research output: Contribution to journalArticle

@article{8e91cfb460714bc2a7e9459228e19070,
title = "Event-based design and runtime verification of composite service transactional behavior",
abstract = "Different from process components, Web services are defined independently from any execution context. A key challenge of (Web) service compositions is how to ensure reliable execution. Due to their inherent autonomy and heterogeneity, it is difficult to reason about the behavior of service compositions especially in case of failures. Therefore, there is a growing interest for verification techniques which help to prevent service composition execution failures. In this paper, we propose an event-driven approach to validate the transactional behavior of service compositions. The transactional behavior verification is done either at design time to validate recovery mechanisms consistency, or after runtime to report execution deviations and repair design errors, and therefore, formally ensure service execution reliability. By using the Event Calculus formalism to specify and check the transactional behavior consistency of service composition, our approach provides a logical foundation to ensure service execution reliability.",
keywords = "Monitoring, Reliability, Transactional Web services, Verification, Web services compositions",
author = "Walid Gaaloul and Sami Bhiri and Mohsen Rouached",
year = "2010",
doi = "10.1109/TSC.2010.1",
language = "English",
volume = "3",
pages = "32--45",
journal = "IEEE Transactions on Services Computing",
issn = "1939-1374",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
number = "1",

}

TY - JOUR

T1 - Event-based design and runtime verification of composite service transactional behavior

AU - Gaaloul, Walid

AU - Bhiri, Sami

AU - Rouached, Mohsen

PY - 2010

Y1 - 2010

N2 - Different from process components, Web services are defined independently from any execution context. A key challenge of (Web) service compositions is how to ensure reliable execution. Due to their inherent autonomy and heterogeneity, it is difficult to reason about the behavior of service compositions especially in case of failures. Therefore, there is a growing interest for verification techniques which help to prevent service composition execution failures. In this paper, we propose an event-driven approach to validate the transactional behavior of service compositions. The transactional behavior verification is done either at design time to validate recovery mechanisms consistency, or after runtime to report execution deviations and repair design errors, and therefore, formally ensure service execution reliability. By using the Event Calculus formalism to specify and check the transactional behavior consistency of service composition, our approach provides a logical foundation to ensure service execution reliability.

AB - Different from process components, Web services are defined independently from any execution context. A key challenge of (Web) service compositions is how to ensure reliable execution. Due to their inherent autonomy and heterogeneity, it is difficult to reason about the behavior of service compositions especially in case of failures. Therefore, there is a growing interest for verification techniques which help to prevent service composition execution failures. In this paper, we propose an event-driven approach to validate the transactional behavior of service compositions. The transactional behavior verification is done either at design time to validate recovery mechanisms consistency, or after runtime to report execution deviations and repair design errors, and therefore, formally ensure service execution reliability. By using the Event Calculus formalism to specify and check the transactional behavior consistency of service composition, our approach provides a logical foundation to ensure service execution reliability.

KW - Monitoring

KW - Reliability

KW - Transactional Web services

KW - Verification

KW - Web services compositions

UR - http://www.scopus.com/inward/record.url?scp=77950689777&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=77950689777&partnerID=8YFLogxK

U2 - 10.1109/TSC.2010.1

DO - 10.1109/TSC.2010.1

M3 - Article

VL - 3

SP - 32

EP - 45

JO - IEEE Transactions on Services Computing

JF - IEEE Transactions on Services Computing

SN - 1939-1374

IS - 1

M1 - 5

ER -