@inproceedings{0664185aec7d48ea80737cff90216f39,
title = "Translating BPMN to business rules",
abstract = "Business Process Model and Notation (BPMN) is a standard graphical notation that is widely used for modeling Business Processes (BP) in Business Process Management (BPM) systems. A key application of such systems is continuous analysis of BP execution for checking compliance of execution logs with process models. In this paper we introduce a simple, human-readable rule language based on a fragment of First-Order Logic (FOL) and show how compliance rules can be generated directly from BPMN models. We focus on control flow aspects of BPMN models by (1) transforming the model to obtain a uniform representation of task activation (2) dividing the model into sets of components and (3) using our proposed language to generate compliance rules for each component. We show that these rules can be used in the analysis of the business process execution log using British Telecom{\textquoteright}s Aperture business process analysis tool.",
keywords = "BPM, BPMN, Conformance checking, FOL, Process mining",
author = "Hamda Al-Ali and Ernesto Damiani and Mahmoud Al-Qutayri and Mohammad Abu-Matar and Rabeb Mizouni",
note = "Publisher Copyright: {\textcopyright} IFIP International Federation for Information Processing 2018 Published by Springer International Publishing AG 2018. All Rights Reserved.; 6th IFIP WG 2.6 International Symposium on Data-Driven Process Discovery and Analysis, SIMPDA 2016 ; Conference date: 15-12-2016 Through 16-12-2016",
year = "2018",
doi = "10.1007/978-3-319-74161-1_2",
language = "British English",
isbn = "9783319741604",
series = "Lecture Notes in Business Information Processing",
publisher = "Springer Verlag",
pages = "22--36",
editor = "Paolo Ceravolo and Christian Guetl and Stefanie Rinderle-Ma",
booktitle = "Data-Driven Process Discovery and Analysis - 6th IFIP WG 2.6 International Symposium, SIMPDA 2016, Revised Selected Papers",
address = "Germany",
}