A Concurrency Control Mechanism for Composite Service Supporting User-Defined Relaxed Atomicity
COMPSAC '08 Proceedings of the 2008 32nd Annual IEEE International Computer Software and Applications Conference
The VLDB Journal — The International Journal on Very Large Data Bases
Tuplespace middleware for Petri net-based workflow execution
International Journal of Web and Grid 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
Decentralized Approach for Execution of Composite Web Services Using the Chemical Paradigm
ICWS '10 Proceedings of the 2010 IEEE International Conference on Web Services
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
CPN-TWS: a coloured petri-net approach for transactional-QoS driven Web Service composition
International Journal of Web and Grid Services
Fault handling and recovery in decentralized services orchestration
Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services
Dynamic recovery decision during composite web services execution
Proceedings of the Fifth International Conference on Management of Emergent Digital EcoSystems
Reliable Composite Web Services Execution: Towards a Dynamic Recovery Decision
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
Web Services (WSs) that provide transactional properties are useful to guarantee reliable Composite WSs (CWSs) execution. In this paper, we propose a framework for efficient, fault tolerant, and correct distributed execution of Transactional CWSs (TCWSs). Our framework relies on WSs replacement and on a compensation protocol to support forward and backward recovery. We represent a TCWS and its corresponding backward recovery process by Colored Petri-Nets (CPNs) and, to ensure correct execution and compensation flows, unfolding processes of the CPNs are followed. We formalize the TCWS execution and recovery processes based on CPN properties. We also present the framework architecture and execution and recovery algorithms.