A First Take on Conformance Checking

Abstract

This chapter introduces the three main techniques that exist to relate modeled and recorded behavior: rule checking, token replay, and alignments. For each technique, a gentle introduction is provided so that the reader can understand its main features, as well as the conformance feedback that can be obtained by its application. Running examples are used in the explanations to make the chapter very accessible to the reader.