Efficient Semantics-Based Compliance Checking Using LTL Formulae and Unfolding

Figure 12

A comparison between ASBPQL and BPMN-Q.