Business process compliance checking - applying and evaluating a generic pattern matching approach for conceptual models in the financial sector

被引:24
作者
Becker, Joerg [1 ]
Delfmann, Patrick [1 ]
Dietrich, Hanns-Alexander [1 ]
Steinhorst, Matthias [1 ]
Eggert, Mathias [1 ]
机构
[1] Univ Munster, European Res Ctr Informat Syst, Leonardo Campus 3, D-48149 Munster, Germany
关键词
Conceptual modeling; Business process modeling; Business process compliance management; Model checking; Model querying; Pattern matching; Compliance checking; INFORMATION-SYSTEMS RESEARCH; SEMANTIC CONSTRAINTS; DESIGN SCIENCE; MANAGEMENT; VERIFICATION; TECHNOLOGY; ACCEPTANCE; FRAMEWORK;
D O I
10.1007/s10796-014-9529-y
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Given the strong increase in regulatory requirements for business processes the management of business process compliance becomes a more and more regarded field in IS research. Several methods have been developed to support compliance checking of conceptual models. However, their focus on distinct modeling languages and mostly linear (i.e., predecessor-successor related) compliance rules may hinder widespread adoption and application in practice. Furthermore, hardly any of them has been evaluated in a real-world setting. We address this issue by applying a generic pattern matching approach for conceptual models to business process compliance checking in the financial sector. It consists of a model query language, a search algorithm and a corresponding modelling tool prototype. It is (1) applicable for all graph-based conceptual modeling languages and (2) for different kinds of compliance rules. Furthermore, based on an applicability check, we (3) evaluate the approach in a financial industry project setting against its relevance for decision support of audit and compliance management tasks.
引用
收藏
页码:359 / 405
页数:47
相关论文
共 86 条
[41]   A formal analysis of a business contract language [J].
Governatori, Guido ;
Milosevic, Zoran .
INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS, 2006, 15 (04) :659-685
[42]  
Governatori G, 2010, CONCEPTUAL MODELLING 2010, P3
[43]   Design science in Information Systems research [J].
Hevner, AR ;
March, ST ;
Park, J ;
Ram, S .
MIS QUARTERLY, 2004, 28 (01) :75-105
[44]  
Hofferer Peter., 2007, 15 EUROPEAN C INFORM, P1620
[45]   On compliance checking for clausal constraints in annotated process models [J].
Hoffmann, Joerg ;
Weber, Ingo ;
Governatori, Guido .
INFORMATION SYSTEMS FRONTIERS, 2012, 14 (02) :155-177
[46]  
Knuplesch D, 2010, LECT NOTES COMPUT SC, V6412, P332, DOI 10.1007/978-3-642-16373-9_24
[47]  
Kokash N, 2009, LECT NOTES COMPUT SC, V5751, P21
[48]  
Kotonya G., 1998, REQUIREMENTS ENG PRO
[49]  
Kuester JM, 2007, LECT NOTES COMPUT SC, V4714, P165
[50]  
Kumar A, 2008, LECT NOTES COMPUT SC, V5321, P58, DOI 10.1007/978-3-540-88808-6_9