Efficient Semantics-Based Compliance Checking Using LTL Formulae and Unfolding

Figure 10

BeehiveZ: architecture of ASBPQL Querier and Process Models Repository.