基于同步网的模型验证算法设计与工具实现

摘要：

目前,工作流模型验证技术已成为工作流技术中重要的研究课题之一.由于工作流逻辑的复杂性,因而如何构建正确的模型是一个较迫切的问题.首先,对现有的验证技术作一个比较分析,根据工作流逻辑在模型中的决定性作用,研究并提出一个基于同步网(Syn-net)的模型验证算法,然后给出一个用PNML(Petri Net Markup Language)方式存储的业务实例,并根据化简规则进行化简和优化.最后,实现该验证工具.

关键词：模型验证、同步网、化简规则、PNML

所属期刊栏目：41

分类号：TP301.6(计算技术、计算机技术)

资助基金：国家重点基础研究发展规划973资助项目2002CB312006;国家863高技术研究发展计划2002AA113171

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

页数：共6页

页码：24-29