“…The demand to ensure that runtime process instances comply with modeling-level processes and policies becomes even more pressing with recent laws and regulations such as the Sarbanes-Oxley Act (SOX), the Health Insurance Portability and Accountability Act (HI-PAA), or the Basel II Accord. For example, adequate support for the definition and enforcement of process-related access control policies, including separation of duty constraints, is one important part of SOX compliance [13,18,52]. Moreover, corresponding compliance requirements also arise from security recommendations and standards such as the NIST security handbook [55], the NIST recommended security controls [56], the ISO 27000 standard family [29][30][31] (formerly ISO 17799), legally binding agreements such as business contracts, or company-specific (internal) rules/ regulations.…”