Ensuring consistency of Web services transactions
Xiaojun Wang · China-Ireland International Conference on Information and Communications Technologies (CIICT 2008) · 2008
Cross-organizational Web service transactions generally require longer processing time and manipulate financially critical data.For efficiently managing these Web services transactions,isolation is commonly relaxed. But the inconsistency problem will be caused by concurrently executing isolation-relaxing transactions.In this paper, we propose an extension to the WS-Business Activity Protocol in order to ensure the consistent executions of isolation relaxing web service transactions. Our extension is based on a notion of an ended-state dependency .And the proof of its correctness is provided.