Applying SBVR Business Vocabulary and Business Rules for Creating BPMN Process Models

2014 ◽  
pp. 105-116 ◽  
Author(s):  
Egle Mickeviciute ◽  
Lina Nemuraite ◽  
Rimantas Butleris
Keyword(s):  
Process Models ◽  
Business Rules

A Framework-Driven Comparison of Automata-Based Tools for Identifying Business Rule Conflicts

2019 ◽  
Vol 29 (03) ◽  
pp. 433-455
Author(s):  
Vitus S. W. Lam
Keyword(s):  
Temporal Logic ◽  
Linear Temporal Logic ◽  
Process Models ◽  
Business Rules ◽  
Business Rule ◽  
Business Process Models ◽  
Formal Framework ◽  
Automated Tools ◽  
Büchi Automaton

Drawing on business rules for constructing business process models by a constraint-driven methodology is a distinct characteristic of declarative process modeling. Given the intricacies of business rules, there is a pragmatic need to conduct conflict-free assessments for business rules in an automatic manner. In this paper, business rules are stated in terms of restricted English by harnessing a group of predefined business rule templates. With linear temporal logic that serves as a semantic foundation for the business rule templates, a pair of business rules represented as a linear temporal logic specification is translated into an associated Büchi automaton via LTL2BA, LTL3BA and ltl2tgba. A Büchi automaton that accepts the empty language signifies that the two business rules are in conflict with each other. The suitability of the formal framework and the three automated tools is evaluated by an industry-level case study.

A Rule-Based Approach to Model Business Process

2013 ◽  
pp. 424-441
Author(s):  
Gang Xue ◽  
Zhongwei Wu ◽  
Kun Zhang ◽  
Shaowen Yao
Keyword(s):  
Flow Control ◽  
Business Process ◽  
Process Modeling ◽  
Business Process Modeling ◽  
Process Models ◽  
Business Rules ◽  
Rule Based ◽  
Plain Text ◽  
Business Process Models ◽  
Rule Based Approach

Up to the present, the modeling of business process manly focuses on the flow-control perspective, regardless of the logic relationships between models. Although the value of business rules in business process modeling has been recognized by many organizations, it is not fully clear how business rules can be used to model business process models. Business rules are powerful representation forms that can potentially define the semantics of business process models and business vocabulary. This chapter is committed to model the business process based on SBVR, then use the method mentioned below to transform a plain text rule statement into BPMN files.

Detecting violation of business constraints in declarative process execution: a case study

2017 ◽  
Vol 23 (5) ◽  
pp. 1043-1063 ◽  
Author(s):  
Vitus S.W. Lam
Keyword(s):  
Business Process ◽  
Process Modelling ◽  
Process Models ◽  
Business Rules ◽  
Business Rule ◽  
Efficient Manner ◽  
Content Type ◽  
Process Execution ◽  
Business Process Execution

Purpose Declarative process modelling is a constraint-centric approach that treats business rules as first-class citizens in business process models. Augmenting the declarative process modelling technique with capability to detect the constraint violations during business process execution is of crucial importance. The purpose of this paper is to contribute to the modelling of business rules through a repository of pattern-oriented templates. Design/methodology/approach The semantics of the business rule templates is underpinned by linear temporal logic (LTL). Automated temporal reasoning is then conducted for determining whether process executions adhere to the business rules through the utilisation of the Logics Workbench (LWB). An application of the methodological framework is illustrated by a realistic case study on degree requirements verification. Findings To access the practicality of the approach, the case study of this paper is based on the verification of degree requirements, which is different from the domain area of the case study in the author’s prior work. The findings indicated that the temporal framework could be applied to the declarative process modelling in a consistent and efficient manner. Originality/value This paper is an extended version of the author’s earlier study. More details on the LTL and LWB are provided in the current study. The author introduces 17 new business rule templates and illustrates the utilisation of the new templates via a case study that belongs to a different domain area.

Composition of executable business process models by combining business rules and process flows

2007 ◽  
Vol 33 (1) ◽  
pp. 221-229 ◽  
Author(s):  
Sunjae Lee ◽  
Tae-Young Kim ◽  
Dongwoo Kang ◽  
Kwangsoo Kim ◽  
Jae Yeol Lee
Keyword(s):  
Business Process ◽  
Process Models ◽  
Business Rules ◽  
Business Process Models

Constraint-based reasoning on declarative process execution with the logics workbench

2015 ◽  
Vol 21 (3) ◽  
pp. 586-609 ◽  
Author(s):  
Vitus Lam
Keyword(s):  
Practical Reasoning ◽  
Process Modelling ◽  
Process Models ◽  
Theorem Prover ◽  
Business Rules ◽  
Business Rule ◽  
Content Type ◽  
Formal Framework ◽  
Execution Trace ◽  
New Business

Purpose – An integral part of declarative process modelling is to guarantee that the execution of a declarative workflow is compliant with the respective business rules. The purpose of this paper is to establish a formal framework for representing business rules and determining whether any business rules are violated during the executions of declarative process models. Design/methodology/approach – In the approach, a business rule is phrased in terms of restricted English that is related to a constraint template. Linear temporal logic (LTL) is employed as a formalism for defining the set of constraint templates. By exploiting the theorem-proving feature of the Logics Workbench (LWB), business rule violations are then detected in an automatic manner. Findings – This study explored the viability of encoding: first, process executions by means of LTL and second, business rules in terms of restricted English that built upon pattern-oriented templates and LTL. The LWB was used for carrying out temporal reasoning through automated techniques. The applicability of the formal verification approach was exemplified by a case study concerning supply chain management. The findings showed that practical reasoning could be achieved by combining declarative process modelling, restricted English, pattern-oriented templates, LTL and LWB. Originality/value – First, new business rule templates are proposed; second, business rules are expressed in restricted English instead of graphical constructs; third, both finite execution trace and business rules are grounded in LTL. There is no need to deal with the semantic differences between different formalisms; and finally, the theorem prover LWB is used for the conformance checking of a finite execution trace against business rules.

scholarly journals Enfoque para Flexibilizar el Modelo de Proceso de Negocio [More flexible approach to Business Process Model]

2014 ◽  
Author(s):  
Luis Oliverio Chaparro Lemus
Keyword(s):  
Business Process ◽  
Process Model ◽  
Business Process Management ◽  
Process Management ◽  
Business Models ◽  
Process Models ◽  
Business Process Model ◽  
Business Rules ◽  
Process Engine ◽  
Rules Engine

Resumen Los Sistemas de Gestión de Procesos de Negocio (BPMS) tienen por objetivo facilitar la actividad empresarial, permitiendo el control automatizado de los procesos de las organizaciones. Sin embargo, no es deseable que los modelos de proceso de negocio, generados por estos BPMS, incluyan las reglas de negocio dentro de sí. Esto representa un serio problema para la modularidad y flexibilidad del modelo, pues cuando se requiere modificar una regla que se usa en distintos puntos del modelo, es necesario modificar el modelo en todos los puntos donde se utilice la regla. En este artículo se hace una propuesta para separar las reglas de negocio del modelo de proceso y manejarlas de forma independiente mediante un motor de reglas de negocio. Esto implica guardar las reglas de negocio en un repositorio que controla un motor de reglas de negocio y una técnica para invocar la regla desde el modelo. Con este trabajo se hace un aporte al mejoramiento del diseño de los actuales BPMS que se traduciría en modelos de negocios muy flexibles y modulares. Palabras Claves:Regla de negocio, Motor de Reglas de Negocio, Proceso de Negocio, Modelo de Proceso de Negocio, Suite de Gestión de Procesos de Negocio (BPMS).   Abstract Systems Business Process Management (BPMS) are intended to facilitate business, allowing automated control of the processes of organizations. However, it is not desirable that the business process models generated by these BPMS, business rules included within. This presents a serious problem for modularity and flexibility of the model, because when you want to change a rule that is used in different parts of the model, it would be necessary to change the model at all points where the rule is used. In this paper a proposal to separate business from process model and manage it independently using a business rules engine is done. This involves keeping the business rules in a repository that controls a business rules engine and a technique to invoke the rule from the model. This paper is a contribution to improving the design of existing BPMS that would result in highly flexible business models and modular. Keywords: Business Ruler, Business Process Engine, Business Process, Business Process Model, Business Process Management System (BPMS).

Sign in / Sign up

Export Citation Format

Share Document