Formal Model of Business Processes Integrated with Business Rules

Abstract

Business Processes describe the ways in which operations are carried out in order to accomplish the intended objectives of organizations. A process can be depicted using a modeling notation, such as Business Process Model and Notation. Process model can also describe operational aspects of every task; but in a properly designed model, the detailed aspects of low-level logic should be delegated to external services, especially to a Business Rule Engine. Business Rules support the specification of knowledge in a declarative manner and can be successfully used for specification of details for process tasks and events. However, there is no unified model of process integrated with rules that ensures data types consistency. Thus, the paper presents a formal description of the integration of Business Processes with Business Rules. We provide a general model for such integration as well as the model applied to a specific rule representation from the Semantic Knowledge Engineering approach.

On the declarative paradigm in hybrid business process representations: A conceptual framework and a systematic literature study

“…(2) The execution aspect of the integrated model by providing an execution environment implementing a rule engine. Kluza and Nalepa [79] extend this work by introducing a formal semantics for integrating business rules in a process model.…”

“…In the context of our SLR, Google Scholar 4 was used to conduct the forward search on the publications selected from the main literature search. As a result, 4 new publications were retrieved and appended to the results of the main literature search: [76,77,78,79].…”

“…Regarding RL2, BPMN was the only language used to represent the structured parts of business processes, while several other declarative languages were used to represent the unstructured parts (i.e., [68], [78], [73], [79], [65], [59], [60], [46]). The proposed HBPRs in this case were represented using the combination of two static artifacts (i.e., a process model and a textual description).…”

Modeling Business Rule Parallelism by Introducing Inclusive and Complex Gateways in Semantics of Business Vocabulary and Rules

“…The case study did not give a detailed explanation of the stages of mapping SBVR to XSD to the XML generated results. No explanation was given for the Keyword "it is obligatory that" set of gateway attributes K. Kluza and G. J. Nalepa [21] compared previous research on formalizing business processes. In general, the primary purpose of formalization is to enable soundness checking by defining semantic execution.…”

“…Flow objects are activities, events, and gateways. K. Kluza and G. J. Nalepa [21] show a formal model of the process model that is integrated with business rules; the process model used BPMN 2.0. Based on this research, the authors formulated a formal model of the process model with the XTT2 method approach.…”