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

摘要：

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

关键词：业务流程重组、语义验证、可视化建模工具、随机Petri Net

所属期刊栏目：35

分类号：TN919-34

资助基金：国家自然科学基金资助项目91118002,71061001,61162013;宁夏科技攻关计划资助项目宁科计字[2010]168号;宁夏自然科学基金资助项目NZ0955

在线出版日期：2013-01-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：24-28