中文摘要：

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

英文摘要：

To satisfy the rapid change of domain requirements in business process reengineering （BPR）, the reconfigured business process needs the modeling approaches and corresponding tools which can verify the needed semantic features, so as to provide key echnologies required in the aspect of semantic verification to improve the trustworthiness of the system support platform of application software which is applied to the execution of the reconfigured process. To solve this problem, a visualization modeling tool which can issue verification result in BPR framework is presented. The tool with the basic function of visualization BPR modeling can conduct cooperative computation with stochastic Petri Net performance calculation tool to verify the process attribute and satisfy the legality of needing semanteme. Experimental results show that this modeler can im-prove the correctness and development efficiency of BPR.