Dealing with Ambiguity in Textual Process Descriptions
The importance of automated conformance-checking has resulted in numerous conformance-checking techniques (cf. [12, 29, 59, 264]), including the technique presented in Chap. 4. What these techniques have in common is that they rely on a structured specification of allowed behavior, mostly in the form of a process model.