微流程的建模与分析
2022年电子技术应用第1期
徐 彬1，2，周 洋1，和淑芬1，洪灿梅1，周智勋3
1.云南电网有限责任公司 迪庆供电局，云南 迪庆674400； 2.西南林业大学 大数据与智能工程学院，云南 昆明650224；3.云南云电同方科技有限公司，云南 昆明650217
摘要：业务流程管理技术是组织实施信息系统的重要使能技术。为确保微流程能正常运行，提出了一种建模与分析微流程的方法。首先，该方法以Petri网为形式化基础，对微流程以及微流程间的同步组合和异步组合进行建模。其次，基于Petri网的分析技术，该方法对组合微流程进行了合理性分析。实验结果表明，该方法能建模微流程，并检测出组合微流程中因同步交互或异步交互错误引起的死锁。
中图分类号：TN711.1；TP311
文献标识码：A
DOI：10.16157/j.issn.0258-7998.211273
中文引用格式：徐彬，周洋，和淑芬，等. 微流程的建模与分析[J].电子技术应用，2022，48(1)：119-123，128.
英文引用格式：Xu Bin，Zhou Yang，He Shufen，et al. Modeling and analysis of micro processes[J]. Application of Electronic Technique，2022，48(1)：119-123，128.
文献标识码：A
DOI：10.16157/j.issn.0258-7998.211273
中文引用格式：徐彬，周洋，和淑芬，等. 微流程的建模与分析[J].电子技术应用，2022，48(1)：119-123，128.
英文引用格式：Xu Bin，Zhou Yang，He Shufen，et al. Modeling and analysis of micro processes[J]. Application of Electronic Technique，2022，48(1)：119-123，128.
Modeling and analysis of micro processes
Xu Bin1，2，Zhou Yang1，He Shufen1，Hong Canmei1，Zhou Zhixun3
1.Diqing Power Supply Bureau，Yunnan Power Grid Co.，Ltd.，Diqing 674400，China； 2.School of Big Data and Intelligent Engineering，Southwest Forestry University，Kunming 650224，China； 3.Yunnan Yundian Tongfang Technology Co.，Ltd.，Kunming 650217，China
Abstract：Business process management is an important enabling technology for organizations to build information systems. To ensure the correctness of micro processes, this paper proposes an approach to modeling and analyzing micro processes. Firstly, micro processes and micro processes composition under synchronous communication and asynchronous communication models are modeling based on Petri nets. Secondly, the soundness of composite micro processes is analyzed based on the Petri net analysis technology. Experimental results show that the proposed method can model microprocesses and detect the deadlocks caused by synchronous or asynchronous interaction errors of the composite micro processes.
Key words :business process management；micro processes；Petri nets；composite micro processes；soundness
0 引言
起源于本世纪初的业务流程管理(Business Process Management，BPM)已成为组织实施挖掘信息系统的重要使能技术[1]。BPM是一种以规范化地构造端到端的卓越业务流程为中心、以持续地提高组织业务效绩为目的的系统化方法。一般而言，BPM能为企业带来如下好处：(1)固化企业的业务流程，以规范化管理；(2)实现业务流程的自动化，以提高业务效率；(3)实现业务流程的优化，以达到流程持续优化的目的。
为了快速响应客户需求、持续演化信息系统，业务流程管理要求业务流程微化[2]。相比传统的业务流程，微流程为特定条件下不可再分解的业务流程。当组织准确实施一个微流程前，要确保微流程能否正常运行，就必须进行流程分析。因此，对微流程进行建模和分析，便成为了业务流程管理领域的关键任务之一[2]。
本文详细内容请下载：http://www.chinaaet.com/resource/share/2000003921。
作者信息：
徐 彬1，2，周 洋1，和淑芬1，洪灿梅1，周智勋3
(1.云南电网有限责任公司 迪庆供电局，云南 迪庆674400；
2.西南林业大学 大数据与智能工程学院，云南 昆明650224；3.云南云电同方科技有限公司，云南 昆明650217)
此内容为AET网站原创，未经授权禁止转载。