论文研究基于工作流网的银行业务库高安全门禁系统.pdf

银行业务库门禁系统是一种对安全要求极高的出入口控制系统，作为业务库的第一道安全防线，该系统比普通门禁拥有更多的约束条件、更复杂的流程。先对比普通门禁和业务库门禁系统，由此引出定理合理的工作流网中加入约束后仍然是合理的工作流网。然后通过工作流网对普通门禁和业务库门禁系统进行了系统模型的建立，再采用YAWLEditor工具分析了所构建系统的正确性，最后使用软硬件协同设计的方法改进并实现了业务库门禁系统。实验结果验证了定理的正确性，同时表明基于工作流网的方法有效降低了门禁系统的设计难度，并在具体实现之前确保了设计的正确性，提高了系统的开发效率。