基于Petri网的一卡通清结算系统设计与实现
摘要 | 第3-4页 |
abstract | 第4-5页 |
第1章 引言 | 第9-14页 |
1.1 校园一卡通的国内外现状 | 第9-11页 |
1.1.1 国外研究现状 | 第9-10页 |
1.1.2 国内研究现状 | 第10-11页 |
1.2 研究目的与意义 | 第11-12页 |
1.3 主要研究内容 | 第12页 |
1.4 论文组织结构 | 第12-14页 |
第2章 需求分析 | 第14-23页 |
2.1 系统建设目标 | 第14页 |
2.2 系统建设原则 | 第14-15页 |
2.3 系统主要角色与业务流程 | 第15-17页 |
2.4 系统功能需求 | 第17-21页 |
2.4.1 联机在线业务功能 | 第18-19页 |
2.4.2 清结算业务功能 | 第19-20页 |
2.4.3 后台管理业务功能 | 第20-21页 |
2.4.4 其他关联业务功能 | 第21页 |
2.5 系统非功能需求 | 第21-22页 |
2.5.1 安全性 | 第21-22页 |
2.5.2 扩展性 | 第22页 |
2.5.3 用户体验 | 第22页 |
2.5.4 可靠性及可用性 | 第22页 |
2.6 本章小结 | 第22-23页 |
第3章 基于Petri网的系统建模与分析 | 第23-47页 |
3.1 Petri网理论 | 第23-26页 |
3.1.1 Petri网的基本概念 | 第23-24页 |
3.1.2 Petri网的重要性质 | 第24-25页 |
3.1.3 Petri网建模方法 | 第25-26页 |
3.2 Petri网的建模分析工具 | 第26-27页 |
3.2.1 PIPE简介 | 第26页 |
3.2.2 PIPE使用说明 | 第26-27页 |
3.3 圈存转账充值流程的建模与分析 | 第27-33页 |
3.3.1 传统充值流程及存在问题 | 第27页 |
3.3.2 流程优化与建模 | 第27-30页 |
3.3.3 基于Petri网的流程分析 | 第30-32页 |
3.3.4 仿真与比较分析 | 第32-33页 |
3.4 与银行系统对账流程的建模与分析 | 第33-39页 |
3.4.1 传统对账模式及存在问题 | 第33页 |
3.4.2 流程优化与建模 | 第33-36页 |
3.4.3 基于Petri网的流程分析 | 第36-38页 |
3.4.4 仿真与比较分析 | 第38-39页 |
3.5 消费流程的建模与分析 | 第39-46页 |
3.5.1 传统消费流程及存在问题 | 第39页 |
3.5.2 消费流程优化与建模 | 第39-42页 |
3.5.3 基于Petri网的流程分析 | 第42-45页 |
3.5.4 仿真与比较分析 | 第45-46页 |
3.6 本章小结 | 第46-47页 |
第4章 系统方案设计 | 第47-55页 |
4.1 系统总体架构 | 第47-49页 |
4.1.1 业务接入层 | 第48页 |
4.1.2 核心功能层 | 第48页 |
4.1.3 业务支撑层 | 第48-49页 |
4.2 系统安全设计 | 第49-50页 |
4.3 系统接口设计 | 第50-51页 |
4.4 数据库设计 | 第51-54页 |
4.5 本章小结 | 第54-55页 |
第5章 系统部署实施及测试 | 第55-69页 |
5.1 实现环境 | 第55页 |
5.2 开发环境 | 第55-56页 |
5.3 功能模块实现 | 第56-61页 |
5.3.1 用户管理 | 第56-57页 |
5.3.2 结算周期配置管理 | 第57页 |
5.3.3 应收应付单配置管理 | 第57-58页 |
5.3.4 应付单据管理 | 第58-59页 |
5.3.5 付款单据管理 | 第59页 |
5.3.6 交易查询 | 第59-60页 |
5.3.7 清结算商户报表 | 第60页 |
5.3.8 收付款账户信息查询 | 第60-61页 |
5.3.9 打款状态管理 | 第61页 |
5.4 系统测试 | 第61-67页 |
5.4.1 功能测试 | 第61-63页 |
5.4.2 性能测试 | 第63-67页 |
5.5 本章小结 | 第67-69页 |
第6章 总结与展望 | 第69-71页 |
6.1 研究总结 | 第69-70页 |
6.2 需进一步开展的工作 | 第70-71页 |
参考文献 | 第71-73页 |
致谢 | 第73-74页 |
附录 | 第74-82页 |
个人简历、在学期间发表的学术论文与研究成果 | 第82页 |