Adding forecast support to workflow management system by classical logic formula computing | IEEE Conference Publication | IEEE Xplore