scholarly journals Formal Model of Business Processes Integrated with Business Rules

2018 ◽  
Vol 21 (5) ◽  
pp. 1167-1185 ◽  
Author(s):  
Krzysztof Kluza ◽  
Grzegorz J. Nalepa
Keyword(s):  
Business Processes ◽  
Formal Model ◽  
Business Rules

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

2021 ◽  
Vol 14 (1) ◽  
pp. 281-295
Author(s):  
Irene Tangkawarow ◽  
◽  
Riyanarto Sarno ◽  
Daniel Siahaan ◽  
◽  
...  
Keyword(s):  
Business Process ◽  
Free Choice ◽  
Business Processes ◽  
Formal Model ◽  
Formal Description ◽  
Object Management Group ◽  
Business Rules ◽  
Business Rule ◽  
Management Group ◽  
Object Management

The Semantics of Business Vocabulary and Rules (SBVR) standard was developed by the Object Management Group (OMG) for business purposes. SBVR is used for transformation of business vocabulary and business rules into business processes. Gateways are used for regulating the divergence and convergence of flow objects in the business process. The existing business rules in SVBR do not support all gateways in BPMN, whereas there are conditions where branching situations in business rules occur. This article introduces parallelism rules (OR rules) and complex rules to increase 50.6% usage of the existing AND rules and XOR rules in SBVR. The main contribution of this research is to introduce new formal model of inclusive gateway (OR) and complex gateway that allow parallelism and branching to be modeled using SBVR. Thus, this study increases coverage of the usage gateway in SBVR achieved 66.7%. The authors provide branching cases with various levels of complexity, i.e. nested conditions and non-free choice conditions, using the formal description of SBVR.

DEVELOPMENT OF A METHOD FOR DESIGNING INFORMATION SYSTEMS FOR ENERGY COMPANIES

2020 ◽  
Vol 5 (333) ◽  
pp. 53-57
Author(s):  
T.B. Aldongar ◽  
◽  
F.U. Malikova ◽  
G.B. Issayeva ◽  
B.R. Absatarova ◽  
...  
Keyword(s):  
Information Systems ◽  
Business Processes ◽  
Design Research ◽  
Graphical Model ◽  
Formal Model ◽  
Workflow Management ◽  
Research Process ◽  
Information Models ◽  
The Creation ◽  
Concept Of Information

The creation of information models requires the use of known methods and the development of new methods of formalizing the pre-design research process. The modeling process consists of four stages: data collection on the object of management - pre-project research; creation of a graphical model of business processes taking place in the enterprise; development of a formal model of business processes; business research by optimizing the formal model. To support the creation of workflow management services and systems, the complex offers methodologies, standards and specialized software that make up the developer's tools. This can be ensured only by modern automated methods based on information systems. It is important that the information collected is structured to meet the needs of potential users and stored in a form that allows the use of modern access technologies. Before discussing the effectiveness of FIM, it should be noted that the basic concept of information itself is still not the same. In a pragmatic way, it is a set of messages in the form of an important document for the system. Information can be evaluated not only by volume, but also by various parameters, the most important of which are: timeliness, relevance, value, aging, accuracy, etc. in addition, the information may be clear, probable and accurate. The methods of its reception and processing are different in each case.

scholarly journals Adaptive business rules framework for workflow management

2019 ◽  
Vol 25 (5) ◽  
pp. 948-971
Author(s):  
Kanana Ezekiel ◽  
Vassil Vassilev ◽  
Karim Ouazzane ◽  
Yogesh Patel
Keyword(s):  
Real Time ◽  
Business Process ◽  
Business Processes ◽  
Object Oriented ◽  
Process Modelling ◽  
Semantic Indexing ◽  
Business Rules ◽  
Business Process Modelling ◽  
Bottom Up ◽  
Content Type

Purpose Changing scattered and dynamic business rules in business workflow systems has become a growing problem that hinders the use and configuration of workflow-based applications. There is a gap in the existing research studies which currently focus on solutions that are application specific, without accounting for the universal logical dependencies between the business rules and, as a result, do not support adaptation of the business rules in real time. The paper aims to discuss this issue. Design/methodology/approach To tackle the above problems, this paper adopts a bottom-up approach, which puts forward a component model of the business process workflows and then adds business rules which have clear logical semantics. This allows incremental development of the workflows and semantic indexing of the rules which govern them during the initial acquisition. Findings The paper introduces an event-driven model for development of business workflows which is purely logic-based and can be easily implemented using an object-oriented technology, together with a model of the business rules dependencies which supports incremental semantic indexing. It also proposes a two-level inference mechanism as a vehicle for controlling the business process execution and the process of adaptation of the business rules at real time based on propagating the dependencies. Research limitations/implications The framework is strictly logical and completely domain-independent. It allows to account both synchronous and asynchronous triggering events as well as both qualitative and quantitative description of the conditions of the rules. Although our primary interest is to apply the framework to the business processes typical in the construction industry we believe our approach has much wider potential due to its strictly logical formalization and domain independence. In fact it can be used to control any business processes where the execution is governed by rules. Practical implications The framework could be applied to both large business process modelling tasks and small but very dynamic business processes like the typical digital business processes found in online banking or e-Commerce. For example, it can be used for adjusting security policies by adding the capability to adapt automatically the access rights to account for additional resources and new channels of operation which can be very interesting ion both B2C and B2B applications. Social implications The potential scope of the impact of the research reported here is linked to the wide applicability of rule-based systems in business. Our approach makes it possible not only to control the execution of the processes, but also to identify problems in the control policies themselves from the point of view of their logical properties – consistency, redundancies and potential gaps in the logics. In addition to this, our approach not only increases the efficiency, but also provides flexibility for adaptation of the policies in real time and increases the security of the overall control which improves the overall quality of the automation. Originality/value The major achievement reported in this paper is the construction of a universal, strictly logic-based event-driven framework for business process modelling and control, which allows purely logical analysis and adaptation of the business rules governing the business workflows through accounting their dependencies. An added value is the support for object-oriented implementation and the incremental indexing which has been possible thanks to the bottom-up approach adopted in the construction of the framework.

A Model-based Approach for Diagnosing Fault in Web Service Processes

2013 ◽  
pp. 92-116
Author(s):  
Yuhong Yan ◽  
Philippe Dague ◽  
Yannick Pencolé ◽  
Marie-Odile Cordier
Keyword(s):  
Web Services ◽  
Web Service ◽  
Business Process ◽  
Business Processes ◽  
Formal Model ◽  
Service Orchestration ◽  
Model Based ◽  
Architecture Framework ◽  
Web Service Orchestration ◽  
Business Process Execution

Web services based on a service-oriented architecture framework provide a suitable technical foundation for business process management and integration. A business process can be composed of a set of Web services that belong to different companies and interact with each other by sending messages. Web service orchestration languages are defined by standard organizations to describe business processes composed of Web services. A business process can fail for many reasons, such as faulty Web services or mismatching messages. It is important to find out which Web services are responsible for a failed business process because we could penalize these Web services and exclude them from the business process in the future. In this paper, we propose a model-based approach to diagnose the faults in a Web service-composed business process. We convert a Web service orchestration language, more specifically BPEL4WS, into synchronized automata, so that we have a formal description of the topology and variable dependency of the business process. After an exception is thrown, the diagnoser can calculate the business process execution trajectory based on the formal model and the observed evolution of the business process. The faulty Web services are deduced from the variable dependency on the execution trajectory. We demonstrate our diagnosis technique with an example.

scholarly journals Business rules specification and business processes modeling

2009 ◽  
Vol 55 (No. 1) ◽  
pp. 20-24 ◽  
Author(s):  
I. Rábová
Keyword(s):  
Process Model ◽  
Large Scale ◽  
Business Processes ◽  
System Development ◽  
Entire Body ◽  
Business Rules ◽  
Business Rule ◽  
Policy Document ◽  
Business Policy ◽  
Body Of Knowledge

Up to date business is managed by large-scale different rules that regulate how the business acts and how it is structured. We find the rules in law, regulation, business policy document, procedures manual, system documentation, memoranda etc. These reference resources may provide the specific basis for a rule or offer a background, context or explanation of the business rule. In the recent years, it has been discovered that business rules constitute an entire body of knowledge that has not been adequately addressed in either the analysis or design phases of the information system development. Typically, business rules have been buried in the program code or in the database structures. The article deals with the business rules approach and rule technology and helps to identify the business and technical opportunities they afford to the company. It offers the business process model and its integration with business rules. This approach could provide business analysts with an essential approach to understanding, redesigning and communicating what really happens in the business processes (in agricultural area). It serves to understand the business impact of any change in small and medium-sized organizations. We use the UML notation and its business model extension.

scholarly journals Performance trends for operational intelligence through value chain model

2016 ◽  
Vol 5 (2) ◽  
pp. 34 ◽  
Author(s):  
Rajeev Kaula
Keyword(s):  
Value Chain ◽  
Business Processes ◽  
Chain Model ◽  
Business Rules ◽  
Successful Management ◽  
Business Operations ◽  
A Value ◽  
Performance Trends ◽  
Operational Intelligence ◽  
Business Competitiveness

Value chain is a successful management model for improving business competitiveness. A value chain based analytic approach facilitates meaningful grouping of business processes such that appropriate value from business operations can be derived. As organizations focus on competitive advantage and growth, a value chain derived operational intelligence provides insight to compete successfully in the marketplace. This paper outlines an approach to develop performance based value metrics in the form of analytic business rules for operational intelligence through the value chain model. The paper illustrates the concepts through a University value chain prototype which is implemented in Oracle’s PL/SQL language.

Discovering Business Processes in Legacy Systems Using Business Rules and Log Mining

2013 ◽  
Author(s):  
Gleison S. Do Nascimento ◽  
Cirano Iochpe ◽  
Lucineia Thom ◽  
Andre C. Kalsing ◽  
Gleison S. do Nascimento
Keyword(s):  
Business Processes ◽  
Legacy Systems ◽  
Business Rules ◽  
Log Mining
Sign in / Sign up

Export Citation Format

Share Document