Using Formal Model for Evaluation of Business Processes Elasticity in the Cloud

2017 ◽  
pp. 33-44 ◽  
Author(s):  
Lydia Yataghene ◽  
Malika Ioualalen ◽  
Mourad Amziani ◽  
Samir Tata
Keyword(s):  
Business Processes ◽  
Formal Model

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 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.

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 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

Formalization of business workflow with typed attributed graph

2018 ◽  
Vol 14 (3) ◽  
pp. 372-398
Author(s):  
Dipty Tripathi ◽  
Shreya Banerjee ◽  
Anirban Sarkar
Keyword(s):  
Business Process ◽  
Business Processes ◽  
Formal Model ◽  
Structural Features ◽  
Exception Handling ◽  
Workflow Model ◽  
Deadlock Detection ◽  
Content Type ◽  
Proposed Model ◽  
Attributed Graph

Purpose Business process workflow is a design conceptualization to automate the sequence of activities to achieve a business goal with involved participants and a predefined set of rules. Regarding this, a formal business workflow model is a prime requisite to implement a consistent and rigorous business process. In this context, majority of the existing research works are formalized structural features and have not focused on functional and behavioral design aspects of business processes. To address this problem, this paper aims to propose a formal model of business process workflow called as business process workflow using typed attributed graph (BPWATG) enriched with structural, functional and behavioral characteristics of business processes. Design/methodology/approach Typed attributed graph (ATG) and first-order logic have been used to formalize proposed BPWATG to provide rigorous syntax and semantics towards business process workflows. This is an effort to execute a business workflow on an automated machine. Further, the proposed BPWATG is illustrated using a case study to show the expressiveness of proposed model. Besides, the proposed graph is initially validated using generic modelling environment (GME) case tool. Moreover, a comparative study is performed with existing formal approaches based on several crucial features to exhibit the effectiveness of proposed BPWATG. Findings The proposed model is capable of facilitating structural, functional and behavioral aspects of business process workflows using several crucial features such as dependency conceptualization, timer concepts, exception handling and deadlock detection. These features are used to handle real-world problems and ensure the consistency and correctness of business workflows. Originality/value BPWATG is proposed to formalize a business workflow that is required to make a model of business process machine-readable. Besides, formalizations of dependency conceptualization, exception handling, deadlock detection and time-out concepts are specified. Moreover, several non-functional properties (reusability, scalability, flexibility, dynamicity, reliability and robustness) are supported by the proposed model.

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

2011 ◽  
pp. 1970-1993 ◽  
Author(s):  
Yuhong Yan ◽  
Philippe Dague ◽  
Yannick Pencolé ◽  
Marie-Odile Cordier
Keyword(s):  
Web Services ◽  
Web Service ◽  
Business Process ◽  
Business Processes ◽  
Formal Model ◽  
Formal Description ◽  
Service Orchestration ◽  
Model Based ◽  
Web Service Orchestration ◽  
Business Process Execution

Web service orchestration languages are defined 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, 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.

scholarly journals A Formal Model for Configurable Business Process with Optimal Cloud Resource Allocation

2021 ◽  
Vol 27 (7) ◽  
pp. 693-713
Author(s):  
Abderrahim Ait Wakrime ◽  
Souha Boubaker ◽  
Slim Kallel ◽  
Emna Guermazi ◽  
Walid Gaaloul
Keyword(s):  
Business Processes ◽  
Formal Model ◽  
Cost Effective ◽  
Process Models ◽  
Resources Allocation ◽  
Single Model ◽  
Business Environments ◽  
Process Configuration ◽  
Cloud Resource ◽  
Cloud Resources

In today’s competitive business environments, organizations increasingly need to model and deploy flexible and cost effective business processes. In this context, configurable process models are used to offer flexibility by representing process variants in a generic manner. Hence, the behavior of similar variants is grouped in a single model holding configurable elements. Such elements are then customized and configured depending on specific needs. However, the decision to configure an element may be incorrect leading to critical behavioral errors. Recently, process configuration has been extended to include Cloud resources allocation, to meet the need of business scalability by allowing access to on-demand IT resources. In this work, we propose a formal model based on propositional satisfiability formula allowing to find correct elements configuration including resources allocation ones. In addition, we propose to select optimal con- figurations based on Cloud resources cost. This approach allows to provide the designers with correct and cost-effective configuration decisions.

A New Framework for Reusing Business Processes Via Mashup

2017 ◽  
Vol 8 (4) ◽  
pp. 52-70
Author(s):  
Zenak Fethia ◽  
Zaoui Lynda
Keyword(s):  
Open Source ◽  
Business Process ◽  
Business Processes ◽  
Formal Model ◽  
New Process ◽  
Central Interest ◽  
Simple Interface ◽  
Temporal Events ◽  
User Friendly ◽  
New Framework

This article describes how in the last decade, business process repositories have grown significantly and the need for new processes to answer increasing market demands, has become a central interest of modern enterprises. However, developing open source business processes (BP) from scratch is one of the most time-consuming and high-cost tasks. Therefore, reusing mechanisms becomes a priority to deal with this issue. In this article, it is proposed that an open source user-friendly framework that mixes parts of existing process components to build a new process, in order to respond to a particular goal. This is known as business process mashup (BP_Mashup). The BP_mashup framework presented in this article allows users to perform a mixture of process fragments using a simple interface with a set of graphical and temporal events operators based on a formal model.

Process mining approach to formal business process modelling and verification: a case study

2020 ◽  
Vol ahead-of-print (ahead-of-print) ◽  
Author(s):  
Sohei Ito ◽  
Dominik Vymětal ◽  
Roman Šperka
Keyword(s):  
Formal Verification ◽  
Business Process ◽  
Business Processes ◽  
Formal Model ◽  
Process Mining ◽  
Content Type ◽  
Process Verification ◽  
Domain Independent ◽  
Formal Business

Purpose The need for assuring correctness of business processes in enterprises is widely recognised in terms of business process re-engineering and improvement. Formal methods are a promising approach to this issue. The challenge in business process verification is to create a formal model that is well-aligned to the reality. Process mining is a well-known technique to discover a model of a process based on facts. However, no studies exist that apply it to formal verification. This study aims to propose a methodology for formal business process verification by means of process mining, and attempts to clarify the challenges and necessary technologies in this approach using a case study. Design/methodology/approach A trading company simulation model is used as a case study. A workflow model is discovered from an event log produced by a simulation tool and manually complemented to a formal model. Correctness requirements of both domain-dependent and domain-independent types of the model are checked by means of model-checking. Findings For business process verification with both domain-dependent and domain-independent correctness requirements, more advanced process mining techniques that discover data-related aspects of processes are desirable. The choice of a formal modelling language is also crucial. It depends on the correctness requirements and the characteristics of the business process. Originality/value Formal verification of business processes starting with creating its formal model is quite new. Furthermore, domain-dependent and domain-independent correctness properties are considered in the same framework, which is also new. This study revealed necessary technologies for this approach with process mining.

Sign in / Sign up

Export Citation Format

Share Document