Thirty Second International Conference on Information Systems, Shanghai 2011 1 Modeling and Checking Business Process Compliance Rules in the Financial Sector Completed Research Paper Jörg Becker University of Münster European Research Center for Information Systems (ERCIS) Leonardo-Campus 3 48149 Münster, Germany becker@ercis.uni-muenster.de Philipp Bergener University of Münster European Research Center for Information Systems (ERCIS) Leonardo-Campus 3 48149 Münster, Germany bergener@ercis.uni-muenster.de Patrick Delfmann University of Münster European Research Center for Information Systems (ERCIS) Leonardo-Campus 3 48149 Münster, Germany delfmann@ercis.uni-muenster.de Burkhard Weiß University of Münster European Research Center for Information Systems (ERCIS) Leonardo-Campus 3 48149 Münster, Germany weiss@ercis.uni-muenster.de Abstract Assuring compliance of business processes with legal and internal regulations is crucial for financial institutions, as non-compliance may lead to severe financial and juridical penalties. To ensure business process compliance, process models have been established as a widely accepted basis for the design, documentation and control of the implementa- tion of business process rules. Accordingly, in this paper, we introduce a semi-automatic business process compliance checking approach based on process models and related models. It relies on graph-based pattern matching, which makes it possible in contrast to existing approaches to define and check any possible type of business rule in any pos- sible type of business process model or even other type of model. The approach is em- bedded in a design science research methodology. Keywords: Business Process Compliance, Business Rules, Conceptual Modeling, Model Checking, Pattern Matching, Financial Sector CORE Metadata, citation and similar papers at core.ac.uk Provided by AIS Electronic Library (AISeL)