scholarly journals Generalizability and Applicability of Model-Based Business Process Compliance-Checking Approaches — A State-of-the-Art Analysis and Research Roadmap

2012 ◽  
Vol 5 (2) ◽  
pp. 221-247 ◽  
Author(s):  
Jörg Becker ◽  
Patrick Delfmann ◽  
Mathias Eggert ◽  
Sebastian Schwittay
Keyword(s):  
Business Process ◽  
State Of The Art ◽  
Model Based ◽  
Business Process Compliance ◽  
Compliance Checking ◽  
Process Compliance ◽  
Art Analysis

scholarly journals Are we done with business process compliance: state of the art and challenges ahead

2018 ◽  
Vol 57 (1) ◽  
pp. 79-133 ◽  
Author(s):  
Mustafa Hashmi ◽  
Guido Governatori ◽  
Ho-Pun Lam ◽  
Moe Thandar Wynn
Keyword(s):  
Business Process ◽  
State Of The Art ◽  
Business Process Compliance ◽  
Process Compliance

scholarly journals A Mashup-based Framework for Business Process Compliance Checking

2020 ◽  
pp. 1-1
Author(s):  
Cristina Cabanillas ◽  
Manuel Resinas ◽  
Antonio Ruiz-Cortes
Keyword(s):  
Business Process ◽  
Business Process Compliance ◽  
Compliance Checking ◽  
Process Compliance

scholarly journals Efficient Semantics-Based Compliance Checking Using LTL Formulae and Unfolding

2013 ◽  
Vol 2013 ◽  
pp. 1-24
Author(s):  
Liang Song ◽  
Jianmin Wang ◽  
Lijie Wen ◽  
Hui Kong
Keyword(s):  
State Space ◽  
Business Process ◽  
Process Model ◽  
Query Language ◽  
Process Models ◽  
State Space Explosion ◽  
Business Process Compliance ◽  
Compliance Checking ◽  
Process Compliance ◽  
Retrieval Language

Business process models are required to be in line with frequently changing regulations, policies, and environments. In the field of intelligent modeling, organisations concern automated business process compliance checking as the manual verification is a time-consuming and inefficient work. There exist two key issues for business process compliance checking. One is the definition of a business process retrieval language that can be employed to capture the compliance rules, the other concerns efficient evaluation of these rules. Traditional syntax-based retrieval approaches cannot deal with various important requirements of compliance checking in practice. Although a retrieval language that is based on semantics can overcome the drawback of syntax-based ones, it suffers from the well-known state space explosion. In this paper, we define a semantics-based process model query language through simplifying a property specification pattern system without affecting its expressiveness. We use this language to capture semantics-based compliance rules and constraints. We also propose a feasible approach in such a way that the compliance checking will not suffer from the state space explosion as much as possible. A tool is implemented to evaluate the efficiency. An experiment conducted on three model collections illustrates that our technology is very efficient.

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

2014 ◽  
Vol 18 (2) ◽  
pp. 359-405 ◽  
Author(s):  
Jörg Becker ◽  
Patrick Delfmann ◽  
Hanns-Alexander Dietrich ◽  
Matthias Steinhorst ◽  
Mathias Eggert
Keyword(s):  
Pattern Matching ◽  
Business Process ◽  
Conceptual Models ◽  
Financial Sector ◽  
Business Process Compliance ◽  
Compliance Checking ◽  
Process Compliance

scholarly journals The Journey to Business Process Compliance

2011 ◽  
pp. 426-454 ◽  
Author(s):  
Guido Governatori ◽  
Shazia Sadiq
Keyword(s):  
Business Process ◽  
Business Processes ◽  
Specific Problem ◽  
Business Partners ◽  
Business Process Compliance ◽  
Industry Standards ◽  
Compliance Checking ◽  
Process Compliance ◽  
Contractual Obligations ◽  
Typical Scenario

It is a typical scenario that many organisations have their business processes specified independently of their business obligations (which includes contractual obligations to business partners, as well as obligations a business has to fulfil against regulations and industry standards). This is because of the lack of guidelines and tools that facilitate derivation of processes from contracts but also because of the traditional mindset of treating contracts separately from business processes. This chapter will provide a solution to one specific problem that arises from this situation, namely the lack of mechanisms to check whether business processes are compliant with business contracts. The chapter begins by defining the space for business process compliance and the eco-system for ensuring that process are compliant. The key point is that compliance is a relationship between two sets of specifications: the specifications for executing a business process and the specifications regulating a business. The central part of the chapter focuses on a logic based formalism for describing both the semantics of normative specifications and the semantics of compliance checking procedures.

scholarly journals Multi-party business process compliance monitoring through IoT-enabled artifacts

2018 ◽  
Vol 73 ◽  
pp. 61-78 ◽  
Author(s):  
Giovanni Meroni ◽  
Luciano Baresi ◽  
Marco Montali ◽  
Pierluigi Plebani
Keyword(s):  
Business Process ◽  
Compliance Monitoring ◽  
Business Process Compliance ◽  
Process Compliance
Sign in / Sign up

Export Citation Format

Share Document