Efficient Semantics-Based Compliance Checking Using LTL Formulae and Unfolding

Figure 1

Three variants of a business process for opening bank accounts.

(a)

(b)

(c)