×

CSPConCheck

swMATH ID: 6412
Software Authors: Roy, Suman; Bihary, Sidharth; Laos, Jose Alfonso Corso
Description: 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.
Homepage: http://dl.acm.org/citation.cfm?id=2402932
Related Software: PAT
Referenced in: 0 Publications

Standard Articles

1 Publication describing the Software Year
A conformance checker tool CSPConCheck
Roy, Suman; Bihary, Sidharth; Laos, Jose Alfonso Corso
2012