基于交互学习的柔性工作流形式化验证方法研究

摘要：

工作流过程建模是一个复杂且易错的过程,在建模阶段进行有效的过程验证是十分必要的.目前,柔性工作流验证领域的研究还比较欠缺,该文在这方面作了一些探索.把过程合理化验证和化简验证技术应用于基于交互学习的柔性工作流建模的形式化验证中,叙述了需要验证的问题和复杂度.利用Petri网的形式化基础特性对过程进行合理性验证和规约验证.根据规约粒度的不同,分别对基于交互学习的柔性工作流模型进行原子级和组件级规约.规约使用的基本技术有库所融合、变迁融合和子网融合.在特性保持的前提下,将过程模型缩小到适当规模.结果表明,基于交互学习的柔性工作流过程建模中的形式化验证方法具有一定的实用性和可操作性.

关键词：工作流、过程建模、验证、Petri网、柔性

所属期刊栏目：33

分类号：TP393.02(计算技术、计算机技术)

资助基金：时力科技联合实验室科学研究基金

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

页数：共3页

页码：36-37,49