微流程的建模與分析
2022年電子技術應用第1期
徐 彬1，2，周 洋1，和淑芬1，洪燦梅1，周智勛3
1.云南電網(wǎng)有限責任公司 迪慶供電局，云南 迪慶674400； 2.西南林業(yè)大學 大數(shù)據(jù)與智能工程學院，云南 昆明650224；3.云南云電同方科技有限公司，云南 昆明650217
摘要： 業(yè)務流程管理技術是組織實施信息系統(tǒng)的重要使能技術。為確保微流程能正常運行，提出了一種建模與分析微流程的方法。首先，該方法以Petri網(wǎng)為形式化基礎，對微流程以及微流程間的同步組合和異步組合進行建模。其次，基于Petri網(wǎng)的分析技術，該方法對組合微流程進行了合理性分析。實驗結果表明，該方法能建模微流程，并檢測出組合微流程中因同步交互或異步交互錯誤引起的死鎖。
中圖分類號： 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 引言
起源于本世紀初的業(yè)務流程管理(Business Process Management，BPM)已成為組織實施挖掘信息系統(tǒng)的重要使能技術[1]。BPM是一種以規(guī)范化地構造端到端的卓越業(yè)務流程為中心、以持續(xù)地提高組織業(yè)務效績?yōu)槟康牡南到y(tǒng)化方法。一般而言，BPM能為企業(yè)帶來如下好處：(1)固化企業(yè)的業(yè)務流程，以規(guī)范化管理；(2)實現(xiàn)業(yè)務流程的自動化，以提高業(yè)務效率；(3)實現(xiàn)業(yè)務流程的優(yōu)化，以達到流程持續(xù)優(yōu)化的目的。
為了快速響應客戶需求、持續(xù)演化信息系統(tǒng)，業(yè)務流程管理要求業(yè)務流程微化[2]。相比傳統(tǒng)的業(yè)務流程，微流程為特定條件下不可再分解的業(yè)務流程。當組織準確實施一個微流程前，要確保微流程能否正常運行，就必須進行流程分析。因此，對微流程進行建模和分析，便成為了業(yè)務流程管理領域的關鍵任務之一[2]。
本文詳細內容請下載：http://m.jysgc.com/resource/share/2000003921。
作者信息：
徐 彬1，2，周 洋1，和淑芬1，洪燦梅1，周智勛3
(1.云南電網(wǎng)有限責任公司 迪慶供電局，云南 迪慶674400；
2.西南林業(yè)大學 大數(shù)據(jù)與智能工程學院，云南 昆明650224；3.云南云電同方科技有限公司，云南 昆明650217)
此內容為AET網(wǎng)站原創(chuàng)，未經授權禁止轉載。