• search hit 2 of 3
Back to Result List

Visually specifying compliance rules and explaining their violations for business processes

  • A business process is a set of steps designed to be executed in a certain order to achieve a business value. Such processes are often driven by and documented using process models. Nowadays, process models are also applied to drive process execution. Thus, correctness of business process models is a must. Much of the work has been devoted to check general, domain-independent correctness criteria, such as soundness. However, business processes must also adhere to and show compliance with various regulations and constraints, the so-called compliance requirements. These are domain-dependent requirements. In many situations, verifying compliance on a model level is of great value, since violations can be resolved in an early stage prior to execution. However, this calls for using formal verification techniques, e.g., model checking, that are too complex for business experts to apply. In this paper, we utilize a visual language. BPMN-Q to express compliance requirements visually in a way similar to that used by business experts to buildA business process is a set of steps designed to be executed in a certain order to achieve a business value. Such processes are often driven by and documented using process models. Nowadays, process models are also applied to drive process execution. Thus, correctness of business process models is a must. Much of the work has been devoted to check general, domain-independent correctness criteria, such as soundness. However, business processes must also adhere to and show compliance with various regulations and constraints, the so-called compliance requirements. These are domain-dependent requirements. In many situations, verifying compliance on a model level is of great value, since violations can be resolved in an early stage prior to execution. However, this calls for using formal verification techniques, e.g., model checking, that are too complex for business experts to apply. In this paper, we utilize a visual language. BPMN-Q to express compliance requirements visually in a way similar to that used by business experts to build process models. Still, using a pattern based approach, each BPMN-Qgraph has a formal temporal logic expression in computational tree logic (CTL). Moreover, the user is able to express constraints, i.e., compliance rules, regarding control flow and data flow aspects. In order to provide valuable feedback to a user in case of violations, we depend on temporal logic querying approaches as well as BPMN-Q to visually highlight paths in a process model whose execution causes violations.show moreshow less

Export metadata

Additional Services

Search Google Scholar Statistics
Metadaten
Author details:Ahmed Mahmoud Hany Aly AwadGND, Matthias Weidlich, Mathias WeskeORCiDGND
DOI:https://doi.org/10.1016/j.jvlc.2010.11.002
ISSN:1045-926X
Title of parent work (English):Journal of visual languages and computing
Publisher:Elsevier
Place of publishing:London
Publication type:Article
Language:English
Year of first publication:2011
Publication year:2011
Release date:2017/03/26
Tag:Anti-patterns; Business process modeling; Compliance checking; Visual modeling
Volume:22
Issue:1
Number of pages:26
First page:30
Last Page:55
Organizational units:An-Institute / Hasso-Plattner-Institut für Digital Engineering gGmbH
Peer review:Referiert
Accept ✔
This website uses technically necessary session cookies. By continuing to use the website, you agree to this. You can find our privacy policy here.