Verifying composite service transactional behavior using event calculus

Authors:
Walid Gaaloul;Mohsen Rouached;Claude Godart;Manfred Hauswirth
Affiliations:
DERI, NUIG, Galway, Ireland;LORIA, INRIA, UMR, Vandœuvre-les-Nancy Cedex, France;LORIA, INRIA, UMR, Vandœuvre-les-Nancy Cedex, France;DERI, NUIG, Galway, Ireland
Venue:
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Year:
2007

Citing 15
Cited 3

A logic-based calculus of events

New Generation Computing
Database transaction models for advanced applications

Database transaction models for advanced applications
A general framework to build contextual cover set

Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction
Advanced Workflow Patterns

CooplS '02 Proceedings of the 7th International Conference on Cooperative Information Systems
Conversation specification: a new approach to design and analysis of e-service composition

WWW '03 Proceedings of the 12th international conference on World Wide Web
Business-to-business interactions: issues and enabling technologies

The VLDB Journal — The International Journal on Very Large Data Bases
A Petri net-based model for web service composition

ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
Ensuring required failure atomicity of composite Web services

WWW '05 Proceedings of the 14th international conference on World Wide Web
Event Calculus Reasoning Through Satisfiability

Journal of Logic and Computation
Transactional patterns for reliable web services compositions

ICWE '06 Proceedings of the 6th international conference on Web engineering
Discovering and Improving Recovery Mechanisms of CompositeWeb Services

ICWS '06 Proceedings of the IEEE International Conference on Web Services
YAWL: yet another workflow language

Information Systems
Mining and re-engineering transactional workflows for reliable executions

ER'07 Proceedings of the 26th international conference on Conceptual modeling
Towards formal verification of web service composition

BPM'06 Proceedings of the 4th international conference on Business Process Management
Web service mining and verification of properties: an approach based on event calculus

ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I

Transactional support of ad-hoc collaborations in mobile environments

Proceedings of the Ninth ACM International Workshop on Data Engineering for Wireless and Mobile Access
Incorporating business logics into RFID-enabled applications

Information Processing and Management: an International Journal
Testing the reliability of web services transactions in cooperative applications

Proceedings of the 27th Annual ACM Symposium on Applied Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

A key challenge ofWeb 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.