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

• 作者: 李志蜀 李清 邢建川
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 工作流 过程建模 验证 Petri网 柔性
• 年，卷（期）: 2007,（7）
• 所属期刊栏目: 博士论文
• 页码范围: 36-37,49
• 页数: 3页
• 分类号: TP393.02
• 字数: 2849字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2007.07.013

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李志蜀	四川大学计算机学院	215	2961	28.0	46.0
2	李清	四川大学计算机学院	18	150	4.0	12.0
3	邢建川	四川大学计算机学院	3	10	2.0	3.0