Enabling effective automated composition compensation with paired net for reliable web services transaction

Xiaoyong Mei,AiJun Jiang,ShiXian Li,Yiyan Fan,Changqin Huang,Xiaolin Zheng
2010-01-01
Journal of Information and Computational Science
Abstract:Due to the existing failure and cancellation of business logic of Web services composition, service compensation is one of the most important issues in the research of Service-Oriented Computing (SOC). After analyzing compensation requirements by a motivation example, a paired-net based composition compensation mechanism is proposed to automatically implement partial or full compensation of the committed activities, where CSCP-Nets can be accurately constructed and agile compensation-triggered approach can be implemented. To ensure the weaker notion of atomicity through performing compensation, the verification on the significant properties of the compensation paired net system, such as the reachability, completeness, liveness and deadlock-freeness, is discussed that the related methods satisfy composition compensation's obligations. Finally a usual application case is illustrated and shows the proposed mechanism is feasible. Copyright © 2010 Binary Information Press.
What problem does this paper attempt to address?