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

摘要

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