摘要
业务流程管理技术是组织实施信息系统的重要使能技术。为确保微流程能正常运行,提出了一种建模与分析微流程的方法。首先,该方法以Petri网为形式化基础,对微流程以及微流程间的同步组合和异步组合进行建模。其次,基于Petri网的分析技术,该方法对组合微流程进行了合理性分析。实验结果表明,该方法能建模微流程,并检测出组合微流程中因同步交互或异步交互错误引起的死锁。
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.
作者
徐彬
周洋
和淑芬
洪灿梅
周智勋
Xu Bin;Zhou Yang;He Shufen;Hong Canmei;Zhou Zhixun(Diqing Power Supply Bureau,Yunnan Power Grid Co.,Ltd.,Diqing 674400,China;School of Big Data and Intelligent Engineering,Southwest Forestry University,Kunming 650224,China;Yunnan Yundian Tongfang Technology Co.,Ltd.,Kunming 650217,China)
出处
《电子技术应用》
2022年第1期119-123,128,共6页
Application of Electronic Technique
基金
国家自然科学基金项目(61702442)。
关键词
业务流程管理
微流程
PETRI网
组合微流程
合理性
business process management
micro processes
Petri nets
composite micro processes
soundness