Lei Wang (2014-01-07)
This work will be presented at the ACM SAC 2014
Processes can synchronize their states by exchanging messages. System crashes and network failures may cause message losses. So that state changes of a process may remain unnoticed by its partner processes, resulting in state inconsistency or deadlocks. Our idea is to transform a business process into recovery enabled counterpart. In this presentation, some process transformation methods with a correctness proof and performance evaluation of our prototype implementation are introduced.