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 引言
起源于本世紀(jì)初的業(yè)務(wù)流程管理(Business Process Management，BPM)已成為組織實(shí)施挖掘信息系統(tǒng)的重要使能技術(shù)[1],。BPM是一種以規(guī)范化地構(gòu)造端到端的卓越業(yè)務(wù)流程為中心,、以持續(xù)地提高組織業(yè)務(wù)效績?yōu)槟康牡南到y(tǒng)化方法。一般而言,，BPM能為企業(yè)帶來如下好處：(1)固化企業(yè)的業(yè)務(wù)流程,，以規(guī)范化管理；(2)實(shí)現(xiàn)業(yè)務(wù)流程的自動(dòng)化,，以提高業(yè)務(wù)效率,；(3)實(shí)現(xiàn)業(yè)務(wù)流程的優(yōu)化，以達(dá)到流程持續(xù)優(yōu)化的目的,。
