基于XYZ/SE的C/S体系结构风格研究
| 摘要 | 第5-6页 |
| Abstract | 第6页 |
| 插图索引 | 第9-10页 |
| 第1章 绪论 | 第10-18页 |
| 1.1 研究背景与意义 | 第10-13页 |
| 1.2 国外内研究现状 | 第13-16页 |
| 1.3 本文研究内容 | 第16-17页 |
| 1.4 本文章节安排 | 第17-18页 |
| 第2章 XYZ 系统 | 第18-24页 |
| 2.1 XYZ系统 | 第18-19页 |
| 2.1.1 产生背景 | 第18-19页 |
| 2.1.2 系统概述 | 第19页 |
| 2.2 时序逻辑语言XYZ/E | 第19-22页 |
| 2.2.1 状态转换与单元 | 第20页 |
| 2.2.2 通信 | 第20-21页 |
| 2.2.3 控制结构 | 第21-22页 |
| 2.3 结构化XYZ/E（XYZ/SE） | 第22-23页 |
| 2.4 小结 | 第23-24页 |
| 第3章 基于 XYZ/SE 的体系风格描述 | 第24-38页 |
| 3.1 软件体系结构风格 | 第24-26页 |
| 3.1.1 体系风格形式化 | 第24-26页 |
| 3.1.1.1 组件 | 第24-26页 |
| 3.1.1.2 连接件 | 第26页 |
| 3.1.2 C/S体系结构风格形式化 | 第26页 |
| 3.2 求精技术 | 第26-28页 |
| 3.2.1 求精技术概述 | 第26-28页 |
| 3.2.2 软件体系结构求精 | 第28页 |
| 3.3 财税库银系统的软件风格 | 第28-32页 |
| 3.3.1 财税库银系统 | 第28-30页 |
| 3.3.2 财税库银系统业务处理流程 | 第30页 |
| 3.3.3 财税库银系统的C/S体系风格架构 | 第30-32页 |
| 3.4 基于XYZ/SE的TIPS风格描述 | 第32-37页 |
| 3.4.1 整体描述 | 第32-33页 |
| 3.4.2 组件描述 | 第33-37页 |
| 3.4.2.1 BRClient组件描述 | 第33-34页 |
| 3.4.2.2 连接件MP描述 | 第34-35页 |
| 3.4.2.3 GNServer组件描述 | 第35-36页 |
| 3.4.2.4 Computation组件描述 | 第36-37页 |
| 3.5 小结 | 第37-38页 |
| 第4章 基于 XYZ/SE 的部分正确性验证 | 第38-50页 |
| 4.1 部分正确性验证 | 第38-39页 |
| 4.2 基于XYZ/SE的部分正确性验证思想 | 第39-41页 |
| 4.2.1 验证规则 | 第39-41页 |
| 4.2.2 验证步骤 | 第41页 |
| 4.3 基于XYZ/SE的TIPS风格验证 | 第41-49页 |
| 4.3.1 整体验证 | 第41-43页 |
| 4.3.2 组件验证 | 第43-49页 |
| 4.3.2.1 BRClient组件验证 | 第43-44页 |
| 4.3.2.2 MP连接件验证 | 第44-46页 |
| 4.3.2.3 GNServer组件验证 | 第46-47页 |
| 4.3.2.4 Computation组件验证 | 第47-49页 |
| 4.4 小结 | 第49-50页 |
| 结论与展望 | 第50-52页 |
| 参考文献 | 第52-57页 |
| 致谢 | 第57-58页 |
| 附录 A 攻读硕士学位期间发表的论文 | 第58-59页 |
| 附录 B 攻读学位期间所参与的主要项目 | 第59页 |
