An Execution Semantic Analysis Method for Composition Transaction
Xiaolin Zheng · Dianzi xuebao · 2012
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.