Verifying composite service transactional behavior using event calculus

Walid Gaaloul, Mohsen Rouached, Claude Godart, Manfred Hauswirth

Research output: Chapter in Book/Report/Conference proceedingConference contribution

13 Citations (Scopus)

Abstract

A key challenge of Web service (WS) composition is how to ensure reliable execution. The lack of techniques that support non-functional features such as execution reliability is widely recognized as a barrier preventing widespread adoption. Therefore, there is a growing interest for verification techniques which help to prevent WS composition execution failures. In this paper, we propose an event driven approach to validate the transactional behavior of WS compositions. Using the Event Calculus to formally specify and check the transactional behavior consistency of WS composition, our approach provides a logical foundation to ensure recovery mechanisms consistency at design time and report execution deviations after runtime.

Original languageEnglish
Title of host publicationOn the Move to Meaningful Internet Systems 2007
Subtitle of host publicationCoopIS, DOA, ODBASE, GADA, and IS - OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007, Proceedings
Pages353-370
Number of pages18
Volume4803 LNCS
EditionPART 1
Publication statusPublished - 2007
EventOTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007 - Vilamoura, Portugal
Duration: Nov 25 2007Nov 30 2007

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
NumberPART 1
Volume4803 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

OtherOTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007
CountryPortugal
CityVilamoura
Period11/25/0711/30/07

Fingerprint

Event Calculus
Web Service Composition
Web services
Composite
Composite materials
Chemical analysis
Event-driven
Deviation
Recovery

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Gaaloul, W., Rouached, M., Godart, C., & Hauswirth, M. (2007). Verifying composite service transactional behavior using event calculus. In On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS - OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007, Proceedings (PART 1 ed., Vol. 4803 LNCS, pp. 353-370). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4803 LNCS, No. PART 1).

Verifying composite service transactional behavior using event calculus. / Gaaloul, Walid; Rouached, Mohsen; Godart, Claude; Hauswirth, Manfred.

On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS - OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007, Proceedings. Vol. 4803 LNCS PART 1. ed. 2007. p. 353-370 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4803 LNCS, No. PART 1).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Gaaloul, W, Rouached, M, Godart, C & Hauswirth, M 2007, Verifying composite service transactional behavior using event calculus. in On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS - OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007, Proceedings. PART 1 edn, vol. 4803 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), no. PART 1, vol. 4803 LNCS, pp. 353-370, OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007, Vilamoura, Portugal, 11/25/07.
Gaaloul W, Rouached M, Godart C, Hauswirth M. Verifying composite service transactional behavior using event calculus. In On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS - OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007, Proceedings. PART 1 ed. Vol. 4803 LNCS. 2007. p. 353-370. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); PART 1).
Gaaloul, Walid ; Rouached, Mohsen ; Godart, Claude ; Hauswirth, Manfred. / Verifying composite service transactional behavior using event calculus. On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS - OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007, Proceedings. Vol. 4803 LNCS PART 1. ed. 2007. pp. 353-370 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); PART 1).
@inproceedings{05ee00cc644b4e7192f73b17bf2df679,
title = "Verifying composite service transactional behavior using event calculus",
abstract = "A key challenge of Web service (WS) composition is how to ensure reliable execution. The lack of techniques that support non-functional features such as execution reliability is widely recognized as a barrier preventing widespread adoption. Therefore, there is a growing interest for verification techniques which help to prevent WS composition execution failures. In this paper, we propose an event driven approach to validate the transactional behavior of WS compositions. Using the Event Calculus to formally specify and check the transactional behavior consistency of WS composition, our approach provides a logical foundation to ensure recovery mechanisms consistency at design time and report execution deviations after runtime.",
author = "Walid Gaaloul and Mohsen Rouached and Claude Godart and Manfred Hauswirth",
year = "2007",
language = "English",
isbn = "9783540768463",
volume = "4803 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
number = "PART 1",
pages = "353--370",
booktitle = "On the Move to Meaningful Internet Systems 2007",
edition = "PART 1",

}

TY - GEN

T1 - Verifying composite service transactional behavior using event calculus

AU - Gaaloul, Walid

AU - Rouached, Mohsen

AU - Godart, Claude

AU - Hauswirth, Manfred

PY - 2007

Y1 - 2007

N2 - A key challenge of Web service (WS) composition is how to ensure reliable execution. The lack of techniques that support non-functional features such as execution reliability is widely recognized as a barrier preventing widespread adoption. Therefore, there is a growing interest for verification techniques which help to prevent WS composition execution failures. In this paper, we propose an event driven approach to validate the transactional behavior of WS compositions. Using the Event Calculus to formally specify and check the transactional behavior consistency of WS composition, our approach provides a logical foundation to ensure recovery mechanisms consistency at design time and report execution deviations after runtime.

AB - A key challenge of Web service (WS) composition is how to ensure reliable execution. The lack of techniques that support non-functional features such as execution reliability is widely recognized as a barrier preventing widespread adoption. Therefore, there is a growing interest for verification techniques which help to prevent WS composition execution failures. In this paper, we propose an event driven approach to validate the transactional behavior of WS compositions. Using the Event Calculus to formally specify and check the transactional behavior consistency of WS composition, our approach provides a logical foundation to ensure recovery mechanisms consistency at design time and report execution deviations after runtime.

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

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

M3 - Conference contribution

SN - 9783540768463

VL - 4803 LNCS

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 353

EP - 370

BT - On the Move to Meaningful Internet Systems 2007

ER -