基于工作流网的银行业务库高安全门禁系统  

High security entrance guard system for bank vaults based on workflow net

作　　者：王晓晓[1] 杜勇前[1] 叶剑虹[1,2] 孙世新[3] 

机构地区：[1]华侨大学计算机科学与技术学院,福建厦门361021 [2]新泽西理工学院电子与计算机工程系,美国新泽西州纽瓦克07102 [3]电子科技大学计算机科学与工程学院,成都610054

出　　处：《计算机工程与应用》2016年第8期221-228,共8页Computer Engineering and Applications

基　　金：国家自然科学基金培育计划专项基金(No.JB-ZR1130);国家自然科学基金(No.60473030);华侨大学科技创新团队和领军人才支持计划<网络信息安全>项目(No.2014KJTD13)

摘　　要：银行业务库门禁系统是一种对安全要求极高的出入口控制系统,作为业务库的第一道安全防线,该系统比普通门禁拥有更多的约束条件、更复杂的流程。先对比普通门禁和业务库门禁系统,由此引出定理合理的工作流网中加入约束后仍然是合理的工作流网。然后通过工作流网对普通门禁和业务库门禁系统进行了系统模型的建立,再采用YAWL Editor工具分析了所构建系统的正确性,最后使用软硬件协同设计的方法改进并实现了业务库门禁系统。实验结果验证了定理的正确性,同时表明基于工作流网的方法有效降低了门禁系统的设计难度,并在具体实现之前确保了设计的正确性,提高了系统的开发效率。The entrance guard system for bank vaults is an access control system that requires extremely strict security measures, which is the first secure perimeter in the vaults. The system usage process involves more multiple constraints and complicated procedure than a common one. Compared the two systems, it leads to the theorem that a sound WF-net is still sound after adding constraints. Workflow net is used to model the entrance guard system for the common scene and bank vaults. Then, YAWL Editor is used to analyze the system models. By the end of this paper, the system is implemented by the hardware-software co-design methodology. One application example is presented to illustrate the proposed system.The correctness of the theorem is verified and the use of workflow net effectively decreases the level of the system design complexity, ensures the validity of the design, and improves the efficiency of system development.

关 键 词：PETRI网 工作流网 YAWL EDITOR 门禁系统 软硬件协同设计 

分 类 号：TP302.1[自动化与计算机技术—计算机系统结构]