A Precontract-based Transaction Handing Method in Workflow | IEEE Conference Publication | IEEE Xplore