Dynamic business process modeling and verification for inter-organizational collaboration

To achieve an on-demand and dynamic composition model of inter-organizational business processes, a new approach for business process modeling and verification is introduced by using the pi-calculus theory. A new business process model which is multi-role, multi-dimensional, integrated and dynamic is proposed relying on inter-organizational collaboration. Compatible with the traditional linear sequence model, the new model is an M x N multi-dimensional mesh, and provides horizontal and vertical formal descriptions for the collaboration business process model. Finally, the pi-calculus theory is utilized to verify the deadlocks, livelocks and synchronization of the example models. The result shows that the proposed approach is efficient and applicable in inter-organizational business process modeling.

基于HCPN的复杂BPMN协作模型数据流建模与验证

为了保证复杂BPMN协作模型的正确性,不仅要涵盖多实例和子进程等复杂元素,还要在检测控制流错误的同时检测数据流错误。但业务流程建模标注(BPMN 2.0)缺乏形式化语义的描述,这对模型正确性的验证造成了阻碍。因此,给出了一种具有弧权重的层次化着色Petri网(HCPN)的定义,它既可以对数据流进行形式化表示,又可以对多实例和子进程结构进行建模。进一步提出了从BPMN协作模型到HCPN模型的形式化映射方法。然后基于HCPN模型的弧权重给出了缺失、丢失和冗余3种数据流错误的定义,并提出了对应的检测算法。最后,设计了一个自动化建模与验证的框架,通过一个案例研究说明了该方法的有效性。

PERFORMANCE EVALUATION METHOD FOR BUSINESS PROCESS OF MACHINERY MANUFACTURER BASED ON DEA/AHP HYBRID MODEL

A set of indices for performance evaluation for business processes with multiple inputs and multiple outputs is proposed, which are found in machinery manufacturers. Based on the traditional methods of data envelopment analysis （DEA） and analytical hierarchical process （AHP）, a hybrid model called DEA/AHP model is proposed to deal with the evaluation of business process performance. With the proposed method, the DEA is firstly used to develop a pairwise comparison matrix, and then the AHP is applied to evaluate the performance of business process using the pairwise comparison matrix. The significant advantage of this hybrid model is the use of objective data instead of subjective human judgment for performance evaluation. In the case study, a project of business process reengineering （BPR） with a hydraulic machinery manufacturer is used to demonstrate the effectiveness of the DEA/AHP model.

A Process Oriented Integration Model for Smart Health Services

Cities are facing challenges of high rise in population number and con-sequently need to be equipped with latest smart services to provide luxuries of life to its residents.Smart integrated solutions are also a need to deal with the social and environmental challenges,caused by increasing urbanization.Currently,the development of smart services’integrated network,within a city,is facing the bar-riers including;less efficient collection and sharing of data,along with inadequate collaboration of software and hardware.Aiming to resolve these issues,this paper recommended a solution for a synchronous functionality in the smart services’integration process through modeling technique.Using this integration modeling solution,atfirst,the service participants,processes and tasks of smart services are identified and then standard illustrations are developed for the better understand-ing of the integrated service group environment.Business process modeling and notation(BPMN)language based models are developed and discussed for a devised case study,to test and experiment i.e.,for remote healthcare from a smart home.The research is concluded with the integration process model application for the required data sharing among different service groups.The outcomes of the modeling are better understanding and attaining maximum automation that can be referenced and replicated.

Formalization and Verification of Business Process Modeling Based on UML and Petri Nets

In order to provide a quantitative analysis and verification method for activity diagrams based business process modeling, a formal definition of activity diagrams is introduced. And the basic requirements for activity diagrams based business process models are proposed. Furthermore, the standardized transformation technique between business process models and basic Petri nets is presented and the analysis method for the soundness and well-structured properties of business processes is introduced.

基于NLP技术对文本生成BPMN图

参考当今商业和组织环境,流程管理是提效的核心。传统方法容易导致误解和模糊,需求变更时,手动更新和维护也非常困难。因此需要一种更形式化和自动化的方法,来分析和验证需求确保正确性和一致性。本文提出了一种使用文本需求输入生成BPMN图的方法,使用NLP处理文本需求以获取事实类型,然后将事件映射到BPMN元素中,通过基于电子表格的描述创建BPMN图。

Mobile businessprocess modelingusinghigh level Petri nets

This paper aims at providing an effective modeling methods for more and more mobile business applications. First a high level Petri nets method-Xml nets is introduced, which combines the advantage of Petri nets and XML. Petri nets have strict mathematics and intuitionistic diagram ex- pression way, rich system describing means and system behavior analytical technology, and the re- lated powerful supporting tools. XML, as an extensible markup language, is already a information description de facto standard. XML nets could be utilized to model both the controlling flow and the data flow of mobile business process effectively, which consequently enables the analysis and optimi- zation of the mobile business processes and could be utilized to simulate the execution of the mobile business process with the Petri nets tools to improve the system execution efficiency. In this paper, to demonstrate the modeling of the controlling flow and data flow of mobile business process, an in- strument repair business case is modeled with XML nets.

BPR Oriented Business Process Model Based on Petri Net

This paper focuses on BPR oriented business process model based on Petri net. First, the necessary features and requirements for BPR oriented model are analyzed. Then a BPR oriented business process model (BPM) based on Petri net is proposed, and two groups of its model mechanisms are discussed. Then, how to use the proposed BPM for modeling, analyzing and optimizing the business process is further explored. At last, an example is illustrated.

Exploring the Characteristics of Business Process Modeling Solutions in the Saudi Market

Business Process Modeling (BPM) is a mechanism that separates all business aspects from the underlying technological and implementation features of a system. The aim is to capture an organization’s processes and achieve its business objectives. Currently, there are many solutions for Business Process Modeling and Design offered by vendors. However, the selection of one solution or another by customers is usually conducted in an ad-hoc manner. Given the underlying environment that a customer might have and their limitations, there is no standard methodology that can help in the selection of the most appropriate solution. This paper therefore highlights the key characteristics of BPM solutions in the market to facilitate an understanding of the compatibility of a given solution with customer’s environments;hence, customers can then make informed decisions regarding their selections.

A Metamodel-Driven Business Process Modeling Methodology and Its Integrated Environment for Reusing Business Processes

Reusing business process models and best practices can improve the productivity, quality and agility in the early development phases of enterprise software systems. To help developers reuse the business process models and best practices, we propose a methodology and an integrated environment for business process modeling driven by the metamodel. Furthermore, we propose a process-template design method to unify the granularity and separate the commonality and variability of business processes so that business process models can be reused across different enterprise software systems. The proposed methodology enables to create reuse-oriented business process templates before the business process modeling. To support the proposed methodology, we developed an integrated environment for creating, reusing and verifying the business process models. As the key techniques, we describe the methodology and its integrated environment, including a metamodel and notations. We applied the methodology and integrated environment to an actual enterprise software development project, and evaluated that the productivity of business process modeling is improved by at least 46%. As the conclusion, this paper contributes to prove the effectiveness of the meta-model driven business process modeling methodology for the reuse of business process models.

Applications of Business Process Management （BPM） in Chinese Firms： A Managerial Accounting Perspective

Based on a questionnaire survey, the aim of this paper is to explore the relationship of business process management （BPM） with managerial accounting system （MAS） and their economic performance consequences in Chinese firms. Statistical data show that more firms accept business process improvement （BPI） other than business process reengineering （BPR） and optimize their activity chains other than supply chains. Through the construction of three elements, i.e., goal-setting, monitoring, and incentive schemes, of MAS, the study finds that when implementing BPM, firms usually use accounting indexes to set goals of the effect of business processes and combine the goals with monitoring and incentive schemes. Statistical data also show that incentive schemes get the lowest usage degree compared with goal-setting and monitoring. In addition, there are differences in their managerial accounting usages for BPM among firms considering ownership, industry, and scale. The main finding of this paper is that BPM empirically brings favorable changes to firms＇ economic performance via managerial accounting in general, and via goal-setting, monitoring, and incentive schemes in particular.

Business Process Modeling Based on Norm

As to the question that the current enterprise information system can not adapt quickly to shifting business, this paper mainly studied business process adaptability according to Norm and SOA and proposed a business process modeling method based on Norm. The purpose is to enable business change in the information systems more flexible and better meet the current market and customer demands.

Value Creation of Business Process Management （BPM） and Managerial Accounting System （MAS）： A Case Study

This paper explores the value creation of business process management （BPM） and managerial accounting system （MAS） using a case study. The findings show that BPM shortens the management chain and increases the connections among functions in the organization by right reassignment. Accounting indicators in MAS provide necessary information about business processes, which assists performance evaluation in BPM, and meanwhile, incentive schemes give enough motives, which guide employees to take actions in accordance with the organizational strategies and processes＇ goals. The information effect and motive effect of MAS increase employees＇ work satisfaction and their cooperation with each other. In the end, the integration of BPM and MAS improves the organizational economic performance, thus creating value for the organization. The results explain the reason why so much BPM fails in practice, because right assignment, performance evaluation system, and incentive schemes constitute organizational architecture, which is critical to organizational value. Additionally, the value creation of BPM and MAS depends on their coordination with the external environment, the internal situation, and the organizational strategy. From the view of managerial accounting perspective, MAS not only changes with the organization development but also facilitates the organization development.

Modeling of Business Processes of Project Financing

Need of transformation of means of support of project financing for commercial banks is proved.The analysis and modeling of business processes of project management by the contextual chart and the chart of decomposition is carried out that allowed to describe the main stages of project financing.With use of tools of programming the business application of project management which will promote operational assessment on selection of introduced drafts is created.

Application of the Business Process Reengineering Model in Steel Enterprises

To satisfy the instancy requirements of resources integration inside and outside the enterprises for resolving the uniformity of information resources for steel enterprises in competing environment, a control model of ISPS-ERP system integration is proposed. The schemes based on regeneration of operation flow are designed here. The well effects are achieved during the implementing course in XG enterprise.

Process model of IT impacts on firm competitiveness based on application capability of information technology

To investigate the process of information technology （IT） impacts on firm competitiveness, an integrated process model of IT impacts on firm competitiveness is brought forward based on the process-oriented view, the resource-based view and the complementary resource view, which is comprised of an IT conversion process, an information system （IS） adoption process, an IS use process and a competition process. The application capability of IT plays the critical role, which determines the efficiency and effectiveness of the aforementioned four processes. The process model of IT impacts on firm competitiveness can also be used to explain why, under what situations and how IT can generate positive organizational outcomes, as well as theoretical bases for further empirical study.

Event-driven process execution model for process virtual machine

Current orchestration and choreography process engines only serve with dedicate process languages.To solve these problems,an Event-driven Process Execution Model(EPEM) was developed.Formalization and mapping principles of the model were presented to guarantee the correctness and efficiency for process transformation.As a case study,the EPEM descriptions of Web Services Business Process Execution Language(WS-BPEL) were represented and a Process Virtual Machine(PVM)-OncePVM was implemented in compliance with the EPEM.

基于BPMN的指挥控制流程建模方法

针对复杂场景下指挥控制流程建模问题,分析比较了几种常见的流程建模方案,提出基于BPMN的指挥控制流程建模方法。指挥员依托BPMN流程建模方法搭建指挥控制流程,实现对指挥员作战意图的灵活表达;开发人员基于云原生相关理论对原子服务进行更新扩充,实现流程任务与原子服务的精准匹配和动态更新,从指挥员和开发人员两个维度上体现了指挥控制流程一体化建模的特点。通过区域防空反导流程案例,验证了基于BPMN指挥控制流程模型具备灵活扩展,动态重组的特点。

Process-oriented evaluation of agile business processes

Agile enterprises are built based on agile business processes. Simultaneously, agile enterprises must be able to utilize agile business processes to rapidly respond market opportunities and maintain enterprises’ competitions. But how to evaluate and choose agile business processes is a key problem about building agile enterprises. The paper proposes a goal driven method and an evaluation architecture for business processes’ agility. Furthermore, a four layer configuring model for agile business processes is developed based on the evaluation architecture and it can evaluate and configure agile business processes among alternatives.

Analyzing and Designing Business Processes Management System Based on Transformation of Instantiated Ontology’s State

The paper discusses efforts of finding a simple and transparent method to analyze business processes and developing its management system architecture. By introducing ontology and its state, the approach tried to find a unified representation and a flexible choreography of business processes. The main idea of the paper is the transformation of ontology＇s states, which are the most important scenarios of enterprises. The business activity composition, that is, case composition based on an AI technique, Case Based Reason （CBR）, which is to solve new problems by retrieving solutions to previous problems, and then store the modified solution. The main interest in CBR relies on that it allows a system to avoid past failures and exploit past successes.