改进的工作流合理性验证方法

计算机工程与应用 ›› 2011, Vol. 47 ›› Issue (33): 43-45.

改进的工作流合理性验证方法

王霞1，王刚2，周立东1

1.淮海工学院计算机工程学院，江苏连云港 222005
2.四川大学计算机学院，成都 610065

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2011-11-21 发布日期:2011-11-21

Improved verification method for rationality of workflow

WANG Xia1，WANG Gang2，ZHOU Lidong1

1.School of Computer Engineering，Huaihai Institute of Technology，Lianyungang，Jiangsu 222005，China
2.College of Computer Science，Sichuan University，Chengdu 610065，China

Received:1900-01-01 Revised:1900-01-01 Online:2011-11-21 Published:2011-11-21

摘要/Abstract

摘要： 工作流建模过程中存在的结构冲突很有可能导致整个系统无法正常运行，因此验证工作流中的结构合理性是非常重要的。目前尚无一种简单的算法能够验证循环结构及交叉结构的合理性，为此提出了一种改进的工作流合理性验证方法。该方法基于Petri网模型，将逻辑推导和真值表相结合，能够简单而有效地检测出工作流中的各种结构冲突。应用示例表明了该方法的有效性。

关键词: 工作流, 合理性, Petri, 逻辑推导, 真值表

Abstract: The structure of conflict in the workflow modeling is likely to cause the entire system can not function properly，so verifying rationality of the workflow structure is very important.Up to now，there is no simple algorithm to verify the rationality of the loop structure and the overlapping structure.An improved verification method for rationality of the workflow is presented.The method is based on Petri net model，combination of logical deduction and truth table.It can detect a variety of workflow structure conflicts simply and effectively.Application example shows the effectiveness of the method.

Key words: workflow, rationality, Petri, logical deduction, truth table

王霞1，王刚2，周立东1. 改进的工作流合理性验证方法[J]. 计算机工程与应用, 2011, 47(33): 43-45.

WANG Xia1，WANG Gang2，ZHOU Lidong1. Improved verification method for rationality of workflow[J]. Computer Engineering and Applications, 2011, 47(33): 43-45.

[1]	倪明，钱思源，杨善林. 废旧智能手机回收再利用业务流程仿真与优化[J]. 计算机工程与应用, 2021, 57(5): 258-263.
[2]	张驰，王宇新，冯振，郭禾. 双层虚拟化云架构下任务调度能耗优化算法[J]. 计算机工程与应用, 2021, 57(3): 103-111.
[3]	田倬璟，黄震春，张益农. 云计算环境任务调度方法研究综述[J]. 计算机工程与应用, 2021, 57(2): 1-11.
[4]	陆文星，王琥珀，王彬有. 基于赋时Petri网的景区游客分流研究[J]. 计算机工程与应用, 2020, 56(8): 241-248.
[5]	高玮军，张春霞，杨杰，师阳. 考虑负载平衡的科学工作流容错聚类算法研究[J]. 计算机工程与应用, 2020, 56(23): 53-60.
[6]	冯复剑. 延迟时间Petri网的验证分析[J]. 计算机工程与应用, 2019, 55(4): 72-78.
[7]	邓丽平1，段利国2，杨丽凤2. 面向行为的可信Web服务选择方法[J]. 计算机工程与应用, 2019, 55(4): 112-118.
[8]	翟治年，王中鹏，叶绿，向坚，王富忠，庞海云. 可满足（≠，=）工作流的静态k弹性否决条件[J]. 计算机工程与应用, 2019, 55(23): 35-39.
[9]	宋健，方贤文，王丽丽，刘祥伟. 业务流程隐变迁的拟间接依赖挖掘方法[J]. 计算机工程与应用, 2019, 55(22): 265-270.
[10]	董浩1，张海平2，李忠金1，刘辉1. 移动边缘计算环境下服务工作流的计算卸载[J]. 计算机工程与应用, 2019, 55(2): 36-43.
[11]	罗玲. 采用随机Petri网的嵌入式机载软件可靠性检测[J]. 计算机工程与应用, 2019, 55(1): 233-240.
[12]	曹蕊，方贤文，王丽丽. 基于拟间接依赖的流程挖掘优化分析[J]. 计算机工程与应用, 2018, 54(9): 37-41.
[13]	李海燕1，王艳萍1，周建勇2，刘久富2. 部分可控Petri网分布式死锁监控器设计[J]. 计算机工程与应用, 2018, 54(8): 48-54.
[14]	吴林健，苟秉宸，汶晨光. 基于工作流和知识点驱动的知识推送研究[J]. 计算机工程与应用, 2018, 54(4): 231-236.
[15]	贺朝阳，杜玉越，王路. 特殊循环结构的过程挖掘算法[J]. 计算机工程与应用, 2018, 54(22): 42-50.