A Task Operation Model for Resource Allocation Optimization in Business Process Management | IEEE Journals & Magazine | IEEE Xplore