Verifying composite service transactional behavior using event calculus

Walid Gaaloul*, Mohsen Rouached, Claude Godart, Manfred Hauswirth

*Corresponding author for this work

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
PublisherSpringer Verlag
Pages353-370
Number of pages18
EditionPART 1
ISBN (Print)9783540768463
DOIs
Publication statusPublished - 2007
Externally publishedYes
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
Country/TerritoryPortugal
CityVilamoura
Period11/25/0711/30/07

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

Fingerprint

Dive into the research topics of 'Verifying composite service transactional behavior using event calculus'. Together they form a unique fingerprint.

Cite this