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

2012年 12月 15日 现代电子技术 · Dec．2012 第 35卷第 24期 ModernElectronicsTechnique Vo1．35No．24 基于语义验证的可视化BPR建模工具 韩 强 (1．北方民族大学计算机科学与工程学院，宁夏 银川 750021；2．北京邮电大学 计算机学院，北京 100876； 3．可信分布式计算与服务教育部重点实验室 (北京邮电大学)，北京 100876) 摘 要 ：为满足业务流程重组领域的需求变化，重组业务流程需要可验证需求语义特征的建模方法与工具支持，从而为 提高执行重组业务流程应用软件 的系统支撑平 台可信性奠定需求语义验证方面的关键技术基础 。针对该 问题 ，研究并提 出 一 种 BPR框架下可 出具验证的可视化建模工具。该工具在具备基本的可视化业务流程建模功