Efficient Compliance Checking Using BPMN-Q and Temporal Logic

Awad, Ahmed; Decker, Gero; Weske, Mathias

doi:10.1007/978-3-540-85758-7_24

Cited by 211 publications

(157 citation statements)

References 24 publications

Supporting

Mentioning

157

Contrasting

Order By: Relevance

“…This matter, together with the fact that full compliance checking must consider rules involving the four following aspects of business process: control flow, data, time and resources, makes the full analysis of compliance-aware business process models quite difficult. This is the main reason why most of the existing approaches for compliance checking deal only with control flow issues [1,2,4,9,10,11,12]. However, addressing data aspects is increasingly awaking the interest of researchers [13].…”

Section: Discussionmentioning

confidence: 99%

“…Many organizations are concerned with ensuring compliance between business processes and regulations, and this has awoken the interest of many researchers. There are some well-defined and automatically supported approaches for PostDesign Time Compliance Checking (PDTCC) [1,2], for Run-Time Compliance Checking (RTCC) [3], and for Backward Compliance Checking (BCC) [4,5]. However, most of these approaches focus both on a specific kind of compliance rules (e.g.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Exploring Features of a Full-Coverage Integrated Solution for Business Process Compliance

Cabanillas

Resinas

Ruiz–Cortés

2011

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications

View full text Add to dashboard Cite

Abstract. The last few years have seen the introduction of several techniques for automatically tackling some aspects of compliance checking between business processes and business rules. Some of them are quite robust and mature and are provided with software support that partially or fully implement them. However, as far as we know there is not yet a tool that provides for the complete management of business process compliance in the whole lifecycle of business processes. The goal of this paper is to move towards an integrated business process compliance management system (BPCMS) on the basis of current literature and existing support. For this purpose, we present a description of some compliance-related features such a system should have in order to provide full coverage of the business process lifecycle, from compliance aware business process design to the audit process. Hints about what existing approaches can fit in each feature and challenges for future work are also provided.

show abstract

Section: Discussionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Exploring Features of a Full-Coverage Integrated Solution for Business Process Compliance

Cabanillas

Resinas

Ruiz–Cortés

2011

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications

View full text Add to dashboard Cite

show abstract

“…However, the usability questionnaire is not documented within P what violates instance c 23 . 2 The usability walkthrough has to be documented. c2 3 The usability questionnaire has to be documented.…”

Section: Compliance Rule Instantiationmentioning

confidence: 99%

“…So far, existing approaches mainly focus on checking process-specific compliance rules that correspond to certain process models [1][2][3]. One example is rule c 1 (cf.…”

Section: Introductionmentioning

confidence: 99%

Design and Verification of Instantiable Compliance Rule Graphs in Process-Aware Information Systems

Rinderle-Ma

Dadam

2010

Notes on Numerical Fluid Mechanics and Multidisciplinary Design

View full text Add to dashboard Cite

Abstract. For enterprises it has become crucial to check compliance of their business processes with certain rules such as medical guidelines or financial regulations. When automating compliance checks on process models, existing approaches have mainly addressed process-specific compliance rules so far, i.e., rules that correspond to a particular process model. However, in practice, we will rather find process-independent compliance rules that are nevertheless to be checked over process models. Thus, in this paper, we present an approach that enables the instantiation and verification of process-independent compliance rules over process models using domain models. For this, we provide an intuitive visualization of compliance rules and compliance rule instances at user level and show how rules and instances can be formalized and verified at system level. The overall approach is validated by a pattern-based comparison to existing approaches and by means of a prototypical implementation.

show abstract

“…The field of compliance is well researched, especially with respect to control flow compliance [2,9,25]. However, some works considered data for correctness as well.…”

mentioning

confidence: 99%

Weak Conformance between Process Models and Synchronized Object Life Cycles

Meyer

Weske

2014

Service-Oriented Computing

Self Cite

View full text Add to dashboard Cite

Bibliografische Information der Deutschen NationalbibliothekDie Deutsche Nationalbibliothek verzeichnet diese Publikation in der Deutschen Nationalbibliografie; detaillierte bibliografische Daten sind im Internet über http://dnb.dnb.de/ abrufbar. Process models specify behavioral execution constraints between activities as well as between activities and data objects. A data object is characterized by its states and state transitions represented as object life cycle. For process execution, all behavioral execution constraints must be correct. Correctness can be verified via soundness checking which currently only considers control flow information. For data correctness, conformance between a process model and its object life cycles is checked. Current approaches abstract from dependencies between multiple data objects and require fully specified process models although, in real-world process repositories, often underspecified models are found. Coping with these issues, we introduce the concept of synchronized object life cycles and we define a mapping of data constraints of a process model to Petri nets extending an existing mapping. Further, we apply the notion of weak conformance to process models to tell whether each time an activity needs to access a data object in a particular state, it is guaranteed that the data object is in or can reach the expected state. Then, we introduce an algorithm for an integrated verification of control flow correctness and weak data conformance using soundness checking. Universitätsverlag 5

show abstract

Efficient Compliance Checking Using BPMN-Q and Temporal Logic

Cited by 211 publications

References 24 publications

Exploring Features of a Full-Coverage Integrated Solution for Business Process Compliance

Exploring Features of a Full-Coverage Integrated Solution for Business Process Compliance

Design and Verification of Instantiable Compliance Rule Graphs in Process-Aware Information Systems

Weak Conformance between Process Models and Synchronized Object Life Cycles

Contact Info

Product

Resources

About