Process conformance using CSP

Abstract

One of the frequently occurring problems in process aware information systems is to determine if the observations (in the form of events logs) match/fit the behavior of the reference system (modeled as a business process). This problem is more commonly known as "process conformance checking". In this paper we tackle this problem using concepts from Communicating Sequential Processes (CSP), which facilitates automated analysis using FDR model checker.