Modeling workflow using tasks and transactions | IEEE Conference Publication | IEEE Xplore