一种工作流模型正确性验证方法

• 作者: CUI Li-zhen 王海洋
• 来源期刊: 系统仿真学报
• 学科: 工学
• 关键词: 工作流 工作流建模 元图 正确性
• 年，卷（期）: 2008,（8）
• 所属期刊栏目: 建模与仿真理论及方法
• 页码范围: 1950-1952,1968
• 页数: 4页
• 分类号: TP391
• 字数: 3998字
• 语种: 中文

摘要

工作流形式化建模一直是工作流管理研究的重点和热点.目前的一些形式化建模工具都主要注重工作流的过程建模部分,即工作流的路由.但是工作流管理系统是涉及过程、数据、组织资源等多方面的复杂信息系统.引入一种新型的图形结构--元图,提出基于元图的基本活动单元的完整工作流模型,重点给出了这种工作流模型的正确性定义,并进行了正确性校验,校验算法高效简捷,使之成为一套完善的工作流建模形式化体系.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王海洋	山东大学计算机科学与技术学院	83	999	16.0	28.0
2	CUI Li-zhen	山东大学计算机科学与技术学院	1	10	1.0	1.0