工作流过程建模中验证技术的研究

• 作者: 喻斌 武友新
• 来源期刊: 科技与创新
• 关键词: 过程验证 佩特里网 合理性 归约 关联矩阵
• 年，卷（期）: 2008,（3）
• 所属期刊栏目: 软件时空
• 页码范围: 220-222
• 页数: 3页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1008-0570.2008.03.088

摘要

工作流过程模型的验证是确保工作流系统能够正确执行的至关重要的一环.对近年来国内外研究人员在过程验证方面的研究和成果进行了论述,分析说明了形式化验证、图归约法等几种主流方法的优缺点;结合工作流未来的发展趋势,预测了过程验证下一步的研究方向.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	武友新	南昌大学信息工程学院	36	339	11.0	17.0
2	喻斌	南昌大学信息工程学院	2	17	2.0	2.0