Maintaining execution histories for understanding the execution of business processes | IEEE Conference Publication | IEEE Xplore