An Execution Semantic Analysis Method for Composition Transaction

MEI Xiao-yong,LI Shi-xian,HUANG Chang-qin,ZHENG Xiao-lin
DOI: https://doi.org/10.3969/j.issn.0372-2112.2012.07.017
2012-01-01
Abstract:To assure application requirements of composition transaction,it is inevitable fact for appropriate failure recovery mechanisms that can provide reliable execution semantics.An execution semantic analysis method based on comprehensive transaction recovery mechanism including forward recovery,backward recovery and alternative recovery is proposed,by means of dynamic execution reasoning and data flow analysis of extended Petri nets,which constructs seamlessly Add/Remove recovery behavior for composition transaction.Finally,an application case with recovery capacity is implemented and shows the proposed semantic analysis method is feasible.
What problem does this paper attempt to address?