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.