A formal model for business process decomposition based on resources consumption with security requirement

2016 ◽  
Author(s):  
Mohammed Nassim Lacheheub ◽  
Ramdane Maamri
Keyword(s):  
Business Process ◽  
Formal Model ◽  
Security Requirement ◽  
Process Decomposition

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.

Model-driven business process security requirement specification

2009 ◽  
Vol 55 (4) ◽  
pp. 211-223 ◽  
Author(s):  
Christian Wolter ◽  
Michael Menzel ◽  
Andreas Schaad ◽  
Philip Miseldine ◽  
Christoph Meinel
Keyword(s):  
Business Process ◽  
Security Requirement ◽  
Requirement Specification ◽  
Model Driven

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.

Extracting business process decomposition

2007 ◽  
Vol 13 (2) ◽  
pp. 214-222 ◽  
Author(s):  
Ali Fatolahi ◽  
Shahram Jalalinia ◽  
Zahra Dabestani ◽  
Masoumeh Eskandari
Keyword(s):  
Business Process ◽  
Process Decomposition

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.

Sign in / Sign up

Export Citation Format

Share Document