University of Mosul
Recently, several approaches have been developed to check process models for compliance with laws and regulations. In this paper a contribution is made with respect to reducing the complexity of compliance checking by partially automating Business Process Compliance (BPC) checking. The authors present a model checking approach that is able to check process models for BPC. In particular, they apply a generic pattern matching approach to the Semantic Business Process Modeling Language (SBPML) allowing for extended model checking not being restricted to predecessor-successor relationships.