Verifying composite service transactional behavior with EVENT-B
ECSA'11 Proceedings of the 5th European conference on Software architecture
Measures and mechanisms for process monitoring in evolving business networks
Data & Knowledge Engineering
Service-oriented system evolution taxonomy and metrics derived from complex adaptive systems theory
International Journal of Web Engineering and Technology
Service-oriented system evolution taxonomy and metrics derived from complex adaptive systems theory
International Journal of Web Engineering and Technology
A transactional-qos driven approach for web service composition
RED'10 Proceedings of the Third international conference on Resource Discovery
An agent-based service composition framework
Proceedings of the 2011 Grand Challenges on Modeling and Simulation Conference
Petri net based techniques for constructing reliable service composition
Journal of Systems and Software
Transactional and QoS-aware dynamic service composition based on ant colony optimization
Future Generation Computer Systems
Specification of Transactional Requirements for Web Services using Recoverability
International Journal of Information Technology and Web Engineering
Information and Software Technology
Hi-index | 0.00 |
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.