Abstract: A method and apparatus for checking the fit of behavior of a business process and observed behavior of the system in terms of event logs. The method includes generating a behaviorally equivalent CSP description of the business process and trace equivalent CSP description of event logs. Further the generation of CSP processes for a business process includes segregating a business process model into a set of workflow patterns with connectivity between the workflow patterns, generating a CSP process corresponding to each workflow pattern, composing the CSP processes in parallel with connectivity between the CSP processes, and synchronizing the CSP processes on common activities of the CSP processes. Lastly the generation of a CSP description of the event log is performed by constructing a CSP process for each trace in the event log and combining the CSP descriptions using external choice operator.

Abstract: A method and apparatus for checking the fit of behaviour of a business process and observed behaviour of the system in terms of event logs. The method includes generating a behaviorally equivalent CSP description of the business process and trace equivalent CSP description of event logs. Further the generation of CSP processes for a business process includes segregating a business process model into a set of workflow patterns with connectivity between the workflow patterns, generating a CSP process corresponding to each workflow pattern, composing the CSP processes in parallel with connectivity between the CSP processes, and synchronizing the CSP processes on common activities of the CSP processes. Lastly the generation of a CSP description of the event log is performed by constructing a CSP process for each trace in the event log and combining the CSP descriptions using external choice operator.