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