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

• 作者: 叶剑虹 孙世新 杜勇前 王晓晓
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: Petri网 工作流网 YAWL Editor 门禁系统 软硬件协同设计
• 年，卷（期）: 2016,（8）
• 所属期刊栏目: 工程与应用
• 页码范围: 221-228
• 页数: 8页
• 分类号: TP302.1
• 字数: 6169字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1508-0153

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙世新	电子科技大学计算机科学与工程学院	141	955	16.0	22.0
2	杜勇前	华侨大学计算机科学与技术学院	12	41	3.0	6.0
3	王晓晓	华侨大学计算机科学与技术学院	2	4	1.0	2.0