基于语义推理的工作流结构验证方法

摘要：

为了验证工作流结构方面的问题,提出和证明了过程结构验证等同定理和无环工作流结构验证定理,并在这两个定理的基础上,给出了基于语义推理的工作流结构验证算法.最后,在运算复杂程度、循环路由、死锁和同步丢失等4个方面,与其他验证方法进行了比较.

关键词：工作流、工作流验证、过程

所属期刊栏目：12

分类号：C931(管理学)

资助基金：国家高技术研究发展计划863计划2002AA413210;国家高技术研究发展计划863计划70572027

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

页数：共6页

页码：893-898