A long-running transaction model of workflow | IEEE Conference Publication | IEEE Xplore