Using Event Streams to Validate Process Definitions

This paper describes preliminary work on validating process definitions by comparing a process definition to event streams derived from an actual execution of that pro- cess. The goal of this work is to find and remove discrep- ancies in the process definition before using that definition as the basis for various forms of analysis and decision mak- ing. The paper outlines important issues that need to be addressed and suggests possible approaches. The example used in this paper is based on a process from the medical domain.