工作流网WRI WF-net的验证方法研究及实现

摘要：

WF-net是一种工作流模型,合理性是衡量WF-net模型正确性的一个标准,不合理的工作流模型会导致运行错误.但是合理性验证问题是NP-complete问题,妨碍了WF-net的广泛应用.工作流模型WRI WF-net是WF-net的子集,能够直接保证工作流模型的合理性,这样只需确保用户建立的工作流模型符合WRI WF-net的约束,而不需要进行合理性验证.提出一个WRI WF-net的验证方法,能够在结构上验证模型是否满足WRI WF-net的约束,并且阐述了方法的实现.

关键词：WF-net、WRI WF-net、工作流模型、合理性

所属期刊栏目：42

分类号：TP311(计算技术、计算机技术)

资助基金：国家863计划2004AA112090,2005AA113160,2005AA113030;国家973计划2002CB312002;国家自然科学基金60233010

在线出版日期：2008-05-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：519-527