DOUBLE-STATE BASED BUSINESS PROCESS DESCRIPTION MODEL AND ITS OPERATIONAL SEMANTICS

2012 ◽  
Vol 22 (06) ◽  
pp. 801-837
Author(s):  
YUNXIANG ZHENG ◽  
TIANXIANG ZHENG ◽  
YANFEN ZHANG ◽  
HAI WAN
Keyword(s):  
Business Process ◽  
Process Modeling ◽  
Message Passing ◽  
Process Model ◽  
Rapid Development ◽  
Operational Semantics ◽  
Daily Routine ◽  
Business Process Model ◽  
Application Systems ◽  
Business Objects

With the rapid development of economic globalization and informationization, the Chinese e-government is still in its adolescence with a long way ahead. Based on some recent research in Guangdong province, we find that e-government affair systems play important roles therein and represent a certain kind of application called Form-centered Application Systems (FAS). After much investigation and analysis on e-government's background, daily routine and regulations, we summarize some rules and disciplines of its business process modeling, based on which we characterize requirements of FAS. Though currently many process modeling approaches or techniques have been proposed and widely used, they can not fully and easily meet the special needs. In this paper, we introduce a new business process model called Double-State Based Business Process Description Model (DSBPDM), which is composed of Business Process Model (BPM) and Dispatching Model (DM), where BPM enriches Finite State Machine (FSM) Model by three constraint checks, business logic and message passing, whereas DM delineates the dispatching and executing status of the business object in its lifetime. After presenting DSBPDM's formal definition, we discuss the essence of process forwarding by deducing its operational semantics formally. In this way, key issues such as explicit state and operation representation, rigorous constraint expression, complex authorization check, and full picture of the dispatching and executing of business objects are nicely tackled. Our practice shows that building FAS system with DSBPDM and its supporting platform fits the requirements well, provides an open and transparent view of business process, satisfies the needs of the public and officials, and helps to get a comprehensive insight into the meaning of business process forwarding.

scholarly journals Analysis of Using Resources in Business Process Modeling and Simulation

2014 ◽  
Vol 16 (1) ◽  
pp. 19-25 ◽  
Author(s):  
Olegas Vasilecas ◽  
Evaldas Laureckas ◽  
Audrius Rima
Keyword(s):  
Modeling And Simulation ◽  
Business Process ◽  
Process Modeling ◽  
Process Model ◽  
Graphical Representation ◽  
Business Process Modeling ◽  
Business Process Model ◽  
Simulation Tools ◽  
Resource Modeling ◽  
Process Instance

Abstract One of the key purposes of Business Process Model and Notation (BPMN) is to support graphical representation of the process model. However, such models have a lack of support for the graphical representation of resources, whose processes are used during simulation or execution of process instance. The paper analyzes different methods and their extensions for resource modeling. Further, this article presents a selected set of resource properties that are relevant for resource modeling. The paper proposes an approach that explains how to use the selected set of resource properties for extension of process modeling using BPMN and simulation tools. They are based on BPMN, where business process instances use resources in a concurrency manner.

A Method of Business Process Modeling Based on Petri Net

2010 ◽  
Vol 450 ◽  
pp. 413-416
Author(s):  
Yong Ping Hao ◽  
Xiao Lei Xu ◽  
Wei Ping Shao ◽  
Peng Fei Zeng
Keyword(s):  
Business Process ◽  
Petri Net ◽  
Process Modeling ◽  
Process Model ◽  
Business Process Management ◽  
Process Management ◽  
Business Process Modeling ◽  
Parallel Process ◽  
Workflow Modeling ◽  
Business Process Model

Through the analysis of the execution and dispatching principle of the Petri net, the business process management mode based on Petri net is proposed. We merge the place node and the transition node, and reside the token in the node. The only token in process instances and the sub-token in parallel process are introduced, which can avoid conflicts caused by multi-tokens. The business process model for the drawings design and approval is established, and it is verified by the workflow modeling system.

Process–Oriented Software Development Based on HPN Business Process Model

2011 ◽  
Vol 201-203 ◽  
pp. 763-767
Author(s):  
Guo Xing Yun ◽  
Jie Zhang
Keyword(s):  
Information System ◽  
Business Process ◽  
Petri Net ◽  
Process Modeling ◽  
Process Model ◽  
Hierarchical Decomposition ◽  
Software Components ◽  
Business Process Model ◽  
Component Library ◽  
Process Oriented

In order to develop the process-oriented software, we put forward hierarchical colored Petri net (HCPN) to model business process. This approach consists of hierarchical decomposition graph, detailed process graph. Furthermore, the concept of business process components (BPCs) is proposed to facility the business process modeling. The software components, which are constructs of the information system, can be derived by means of the mapping from the relevant business process components. The development of business process-oriented application will be more convenient and rapid based on component library. Such an application becomes more flexible to the changing environment.

scholarly journals Plug-in for Annotating Semantic Efferct on BPMN Business Process Models

2019 ◽  
Vol 4 (2) ◽  
pp. 116
Author(s):  
Hilman Nuril Hadi ◽  
Tri Astoto Kurniawan ◽  
Ismiarta Aknuranda
Keyword(s):  
Business Process ◽  
Process Modeling ◽  
Process Model ◽  
Business Process Modeling ◽  
Process Models ◽  
Business Process Model ◽  
Activity Type ◽  
Modeling Tools ◽  
Business Process Models ◽  
Design Time

BPMN has become the standard of business process modeling indescribing the existing series of business process. By engaging BPMN, an analystwould possibly able to model the whole business process activities in whichhe/she may analyze business process upon design time. It can be done byanalyzing the structure, behavior, or semantic of process model. In certaincondition one may ask a question what would the effects of the process be if itwere to be executed up to this point?. However, it cannot be solved with onlygraphical notation, but with its semantics. In practice, several modeling tools stilldo not provide a feature for managing information regarding the effects/resultsin the business process model. In fact, analysts should be supported with a toolin order to semantically enrich a process model with its effects. This articledescribes effect annotation semantically towards activity in the BPMN modelincluding the rules in representing its effects. The effect annotation will be suitedtowards activity type (atomic and compound activities). The outcomes of plugin development of eclipse BPMN2 modeler for representing semantic effect arealso described in this paper.

BUSINESS PROCESS MODEL AND NOTATION (BPMN) DONAT MADU CIHANJUANG

2018 ◽  
Vol 1 (1) ◽  
pp. 1-8
Author(s):  
Deni Heryanto ◽  
Vemy Suci Asih
Keyword(s):  
Modeling And Simulation ◽  
Process Improvement ◽  
Business Process ◽  
Process Modeling ◽  
Process Model ◽  
Business Processes ◽  
Problem Analysis ◽  
Business Process Model ◽  
Literature Study ◽  
New Business

This paper discusses the business process modeling at Donat Madu Cihanjuang, the purpose of this research is to model the business process using BPMN to improve in terms of service for consumers, starting from literature study and data collection through interview. Further modeling and simulation of current business processes using BPMN, problem analysis, modeling and simulation of proposed business processes and comparison of results. The method used is Business Process Improvement (BPI) approach. The results obtained are proposed modeling new business processes in improving services to customers (consumers).

QABPEM: Quality-Aware Business Process Engineering Method

2017 ◽  
Vol 26 (01) ◽  
pp. 1650011
Author(s):  
Majid Aboutalebi ◽  
Saeed Parsa
Keyword(s):  
Business Process ◽  
Process Modeling ◽  
Power Distribution ◽  
Process Model ◽  
Business Process Modeling ◽  
Process Engineering ◽  
Process Models ◽  
Engineering Method ◽  
Business Process Model ◽  
Goal Model

In this paper, a novel business process engineering method based on quality assessment is proposed. In the proposed method, a goal model is used to estimate the operational costs of business processes. Goals scenarios in the goal model of desired information systems are applied as a basis for estimating the design cost. Qualities of business requirements models and business process models are also estimated. Based on the quality metrics, the process of business process modeling is examined. Then, using XOR operator in the goal model, a simple and direct mapping of the goal model to the business process model is introduced. Common activities in the business process model are further factored and summarized using pre- and post-factoring operations. The proposed business process modeling method is language-independent. An ICT office in Mazandaran Power Distribution Company is used as a case study to exemplify QABPEM. Our evaluation results demonstrates the capability of the proposed method compared with the existing ones.

Process modeling: technological innovation to control the risk for perioperative positioning injury

2021 ◽  
Vol 74 (suppl 6) ◽  
Author(s):  
Ana Luzia Rodrigues ◽  
Fernanda Broering Gomes Torres ◽  
Eduardo Alves Portela Santos ◽  
Marcia Regina Cubas
Keyword(s):  
Decision Making ◽  
Technological Innovation ◽  
Business Process ◽  
Process Modeling ◽  
Process Model ◽  
Knowledge Integration ◽  
Nursing Practice ◽  
Business Process Model ◽  
Clinical Nursing ◽  
Operating Room Nurses

ABSTRACT Objectives: to report the construction of a process model to support the decision making of operating room nurses to control the risk for perioperative positioning injury. Methods: experience report on a process model that helps nurses with decision making regarding clients at risk for perioperative positioning injury. By following the steps, it was possible to identify intrinsic and extrinsic variables of the literature and of the workflows of teams involved in the positioning of the client for surgery. The Business Process Model and Notation, the Bizagi Modeler software and terms from the International Classification for Nursing Practice were used in the model. Results: the experience allowed the observation of the knowledge integration between different areas, which enabled the process modeling and its validation. Conclusions: process modeling is an innovative option for the development of support systems for clinical nursing decisions.

Research on Semantic Business Process Model in Logistics Distribution Field

2012 ◽  
Vol 198-199 ◽  
pp. 899-904 ◽  
Author(s):  
Xiao Li Meng ◽  
Feng He ◽  
Li Li Sun
Keyword(s):  
Business Process ◽  
Process Modeling ◽  
Information Integration ◽  
Process Model ◽  
Domain Ontology ◽  
Business Process Model ◽  
Process Automation ◽  
Logistics Distribution ◽  
Distribution Field

Nowadays, business process has the problem of no unified standard, the lack of machine-understandable semantics and so on. Thus, in order to make the business analysts and IT staff have no communication obstacles to process modeling, we may make use of the standard that both sides can understand to express business process-introducing ontology technology. Therefore, this paper, from the bottleneck of logistics distribution business process, constructs logistics distribution domain ontology, and adds semantics for business process. It helps to achieve business process automation and intelligent, and may reduce the workload of user. At the same time, we also solve the problems of the concept sharing and information integration in logistics distribution field.

scholarly journals Mapping Timer Event from Business Process Model on Windows Workflow Foundation

2012 ◽  
Vol 4 ◽  
pp. 168-171
Author(s):  
Jian Deng ◽  
Bo Chen ◽  
Jia Zhi Zeng
Keyword(s):  
Business Process ◽  
Process Modeling ◽  
Process Model ◽  
Business Process Modeling ◽  
File Format ◽  
Business Process Model ◽  
Process Definition ◽  
Business Process Modeling Notation ◽  
General Business

A method to mapping timer event in business process model into Activity in Windows Workflow Foundation (WF) was proposed. This method can work with general business process because the model is designed in Business Process Modeling Notation (BPMN) 1.1 and it uses XML Process Definition Language (XPDL) 2.1 version as the file format. Experiment result showed that timer event could be directly mapped to flowchart model in Windows Workflow Foundation and the mapped flowchart model satisfied the functionality of timer event.

Sign in / Sign up

Export Citation Format

Share Document