Business process modeling for post execution analysis and improvement | IEEE Conference Publication | IEEE Xplore