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

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).