微流程的建模与分析
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://m.tom3567.com/resource/share/2000003921。
作者信息：
徐 彬1，2，周 洋1，和淑芬1，洪燦梅1，周智勛3
(1.云南電網有限責任公司 迪慶供電局，云南 迪慶674400；
2.西南林業大學 大數據與智能工程學院，云南 昆明650224；3.云南云電同方科技有限公司，云南 昆明650217)
此內容為AET網站原創，未經授權禁止轉載。