Operation record based workflow extracting method for personal information management system | IEEE Conference Publication | IEEE Xplore