Contemporary organizations have been implementing a wide variety of process-aware information systems in order to streamline their operations. The current organizational environment is often characterized by a multitude of internal and external directives which impose restrictions through business rules on the operations and as such define declarative business process models. We present a twofold methodology which can be applied towards the validation and enhancement of process models which are expressed in a declarative form in order to improve their correctness and completeness. Our approach is based on validation of real-life behavior using rule property checking, and on allowed behavior by the process model which was not encountered in real-life cases by matching rule-generated rejected activity occurrences with absent behavior in the event log. Our methodology retains the ability to correspond retrieved findings to decision-makers in a clear and comprehensible manner (i.e. in the form of a new rule), rather than a formal revision of an implemented procedural model, which is a significant advantage when considering business-IT alignment concerns. © Springer International Publishing Switzerland 2014.
CITATION STYLE
vanden Broucke, S. K. L. M., Caron, F., Vanthienen, J., & Baesens, B. (2014). Validating and enhancing declarative business process models based on allowed and non-occurring past behavior. In Lecture Notes in Business Information Processing (Vol. 171 171 LNBIP, pp. 212–223). Springer Verlag. https://doi.org/10.1007/978-3-319-06257-0_17
Mendeley helps you to discover research relevant for your work.