SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Database transaction models for advanced applications
Database transaction models for advanced applications
Ensuring relaxed atomicity for flexible transactions in multidatabase systems
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Transaction Processing: Concepts and Techniques
Transaction Processing: Concepts and Techniques
Ensuring required failure atomicity of composite Web services
WWW '05 Proceedings of the 14th international conference on World Wide Web
Service-Oriented Architecture: Concepts, Technology, and Design
Service-Oriented Architecture: Concepts, Technology, and Design
Augmenting Web Services Composition with Transactional Requirements
ICWS '06 Proceedings of the IEEE International Conference on Web Services
FACTS: A Framework for Fault-Tolerant Composition of Transactional Web Services
IEEE Transactions on Services Computing
TQoS: Transactional and QoS-Aware Selection Algorithm for Automatic Web Service Composition
IEEE Transactions on Services Computing
| Hi-index | 0.00 |
Reliability is one of the main challenges while composing web services. Due to the inherent heterogeneity of web services, it is important to predict the behaviour of the overall composite service. Existing works that deal with reliable web service composition consider only three basic transactional properties such as pivot, retriable, and compensatable. When a service fails, its results can be ignored if it is pivot; it can be retried until it succeeds if it is retriable; or the previously completed services must be rolled back if they are compensatable, in order to achieve reliable execution. In general, business applications involve long running services. Service execution must be interrupted to adapt to dynamically changing user preferences since execution of the service to completion with the older requirements is no longer meaningful. Hence, service composition requires additional transactional support beyond the three transactional properties. To address this need, we introduce cancelable services and investigate the transactional properties of composite services that involve cancelable component services. The valid compositions, which result in a reliable execution are identified and formally verified.