A conformance checker tool CSPConCheck We describe a tool on conformance checking which verifies if the event logs (observed) match/fit the reference (arbitrary) business process, we call this tool “CSPConCheck”. We use concepts from Communicating Sequential Processes (CSP), which facilitates automated analysis using PAT toolkit for conformance checking. Our tool takes process diagram and process logs as input and uses PAT tool to check for conformance.

This software is also peer reviewed by journal TOMS.

References in zbMATH (referenced in 1 article , 1 standard article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Roy, Suman; Bihary, Sidharth; Laos, Jose Alfonso Corso: A conformance checker tool CSPConCheck (2012)