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

Semantic verification based visualization process modeler for BPR

作　　者：韩强[1,2,3] 

机构地区：[1]北方民族大学计算机科学与工程学院,宁夏银川750021 [2]北京邮电大学计算机学院,北京100876 [3]可信分布式计算与服务教育部重点实验室(北京邮电大学),北京100876

出　　处：《现代电子技术》2012年第24期24-28,共5页Modern Electronics Technique

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

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

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

分 类 号：TN919-34[电子电信—通信与信息系统]