Artículo de conferencia
A CSP-theoretic Framework of Checking Conformance of Business Processes
Fecha
2012Registro en:
9781467349307
1530-1362
10.1109/APSEC.2012.110
1530-1362
Autor
Roy, S.
Bihary, S.
Corso Laos, José Alfonso
Institución
Resumen
In this paper, we tackle the problem of conformance checking which verifies if the event logs (observed) match/fit the reference (arbitrary) process. We use concepts from Communicating Sequential Processes (CSP), which facilitates automated analysis using PAT toolkit. By this technique one can identify all the logs which cannot be properly replayed on the process. We illustrate our approach with an example. Finally, we introduce some metrics based on conformance checking. They are related to fitness, closeness, and appropriateness of the event logs vis-a-vis reference process models.