Compliance checking for semantically annotated process model

Compliance checking for business process model is to ensure the process model consistent with various regulations and constraints, the so-called compliance requirement. Such assurance is of great value for enterprises to gain business value and avoid legislations punishment. Existed compliance checking mainly focuses on the constraints of domain-independent (e.g. soundness) or control flow. However in reality the compliance requirement is usually of domain-dependent and data-aware. To address such deficiency, the process model is semantically annotated with data semantics based on domain ontology. Such semantically annotated process model (SPM) paves the way for the compliance checking of data-aware or other hybrid requirements. In our previous work, we have formalized the SPM and also proposed a SAT-based executability checking for the soundness of SPM. In this paper, we make the work further to propose an annotation-based compliance checking for SPM and illustrate its validity through a reality case from the bank domain.