使用前向链接算法实现工作流过程模型的自动验证

摘要：

本文研究了一种自动验证工作流过程模型的方法。首先使用 UML2.0 活动图建立工作流过程模型，然后使用前向链接算法的思想，给出一种简单易行的工作流过程模型的结构验证方法。可验证的问题包括工作流过程模型的冗余迁移、死锁、活锁和非连通等。方法不仅适用于验证常见的工作流模式，还适用于多种特殊模式的验证。

关键词： 工作流活动图 前向链接算法 工作流模式

作者: 金鑫 谭庆平

作者单位: 国防科技大学计算机学院，长沙410073

会议类型: 国内会议

会议名称: 2005中国计算机大会

会议地点: 武汉

会议语种:中文

在线出版日期: 2005-10-13（万方平台首次上网日期，不代表论文的发表时间）