TY  - JOUR
A1  - Awad, Ahmed Mahmoud Hany Aly
A1  - Weidlich, Matthias
A1  - Weske, Mathias
T1  - Visually specifying compliance rules and explaining their violations for business processes
JF  - Journal of visual languages and computing
N2  - 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 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.
KW  - Business process modeling
KW  - Compliance checking
KW  - Visual modeling
KW  - Anti-patterns
Y1  - 2011
U6  - https://doi.org/10.1016/j.jvlc.2010.11.002
SN  - 1045-926X
VL  - 22
IS  - 1
SP  - 30
EP  - 55
PB  - Elsevier
CY  - London
ER  - 
TY  - JOUR
A1  - Combi, Carlo
A1  - Oliboni, Barbara
A1  - Weske, Mathias
A1  - Zerbato, Francesca
T1  - Seamless conceptual modeling of processes with transactional and analytical data
JF  - Data & knowledge engineering
N2  - In the field of Business Process Management (BPM), modeling business processes and related data is a critical issue since process activities need to manage data stored in databases. The connection between processes and data is usually handled at the implementation level, even if modeling both processes and data at the conceptual level should help designers in improving business process models and identifying requirements for implementation. Especially in data -and decision-intensive contexts, business process activities need to access data stored both in databases and data warehouses. In this paper, we complete our approach for defining a novel conceptual view that bridges process activities and data. The proposed approach allows the designer to model the connection between business processes and database models and define the operations to perform, providing interesting insights on the overall connected perspective and hints for identifying activities that are crucial for decision support.
KW  - Conceptual modeling
KW  - Business process modeling
KW  - BPMN
KW  - Data modeling
KW  - Data warehouse
KW  - Decision support
Y1  - 2021
U6  - https://doi.org/10.1016/j.datak.2021.101895
SN  - 0169-023X
SN  - 1872-6933
VL  - 134
PB  - Elsevier
CY  - Amsterdam
ER  -