A Dependence-Based Transaction Model in Workflow | IEEE Conference Publication | IEEE Xplore