Binary Information Press
Contemporary process management systems (e.g., workflow management systems) are driven by explicit process models, i.e., a completely specified workflow design is required in order to enact a given workflow process. Constructing process models is a complicated and time-consuming task that often requires high expertise. And there are discrepancies between the actual workflow processes and the processes as perceived by the management. Therefore, techniques for discovering process models have been developed. The process model is typically a directed graph annotated with activity names. In this paper, the authors extend the execution of an activity as a time interval, and present a new method for synthesizing process models from sets of systems' audit log.