基于语义验证的可视化BPR建模工具

• 作者: 韩强
• 来源期刊: 现代电子技术
• 关键词: 业务流程重组 语义验证 可视化建模工具 随机Petri Net
• 年，卷（期）: 2012,（24）
• 所属期刊栏目: 软件技术
• 页码范围: 24-28
• 页数: 5页
• 分类号: TN919-34
• 语种: 中文

摘要

为满足业务流程重组领域的需求变化,重组业务流程需要可验证需采语义特征的建模方法与工具支持,从而为提高执行重组业务流程应用软件的系统支撑平台可信性奠定需求语义验证方面的关键技术基础.针对该问题,研究并提出一种BPR框架下可出具验证的可视化建模工具.该工具在具备基本的可视化业务流程建模功能基础上,可通过与随机Petri Net性能计算工具协同计算,从可覆盖性等角度验证流程属性满足需求语义的合法性.实验结果证明,该工具可提高重组业务流程的正确性和开发效率.