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

作者：凌鸿; 周江波; 胥正川

来源：计算机集成制造系统, 2006, (6): 893-898.

DOI：10.3969/j.issn.1006-5911.2006.06.016

• 工作流
• 工作流验证
• 过程

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

• 单位
  复旦大学