| 摘要 | 第5-7页 |
| Abstract | 第7-8页 |
| 1 绪论 | 第12-19页 |
| 1.1 背景介绍 | 第12-13页 |
| 1.2 研究目的及意义 | 第13页 |
| 1.3 相关理论的研究及应用现状 | 第13-17页 |
| 1.3.1 MIS 软件体系架构的发展及现状 | 第13-15页 |
| 1.3.2 有限状态机的国内外研究及应用现状 | 第15-17页 |
| 1.3.2.1 有限状态机理论概述 | 第15-17页 |
| 1.3.2.2 有限状态机的应用现状 | 第17页 |
| 1.4 本文主要工作 | 第17-18页 |
| 1.5 论文的组织结构 | 第18-19页 |
| 2 论文相关技术概述 | 第19-31页 |
| 2.1 MIS 软件体系架构介绍 | 第19-21页 |
| 2.1.1 MIS 系统介绍 | 第19页 |
| 2.1.2 MIS 系统架构 | 第19-21页 |
| 2.2 序列化与反序列化 | 第21-24页 |
| 2.3 NET 反射机制 | 第24-25页 |
| 2.4 Linq to SQL | 第25-27页 |
| 2.5 工厂模式 | 第27-28页 |
| 2.6 Extjs 富客户端交互技术 | 第28-30页 |
| 2.7 本章小结 | 第30-31页 |
| 3 可动态配置的实体状态转换机制 | 第31-62页 |
| 3.1 MIS 软件体系架构研究 | 第31-42页 |
| 3.1.1 测试驱动代码的自动生成 | 第31-35页 |
| 3.1.1.1 使用 XML 描述实体 | 第31-32页 |
| 3.1.1.2 代码的自动生成 | 第32-35页 |
| 3.1.2 实体基类 Entity.cs 的研究 | 第35-39页 |
| 3.1.2.1 属性 | 第36-37页 |
| 3.1.2.2 方法 | 第37-38页 |
| 3.1.2.3 EntityExtension | 第38-39页 |
| 3.1.3 对系统架构的数据访问研究 | 第39-42页 |
| 3.2 可动态配置的实体状态转换机制 | 第42-60页 |
| 3.2.1 自动机及自动机描述文件（automata.xml） | 第43-47页 |
| 3.2.1.1 自动机的提出 | 第43-45页 |
| 3.2.1.2 自动机描述文件的设计 | 第45-47页 |
| 3.2.2 自动机仓库及其初始化算法 | 第47-52页 |
| 3.2.2.1 自动机相关的类 | 第47-50页 |
| 3.2.2.2 自动机仓库 | 第50-52页 |
| 3.2.3 Entity 与自动机的联合 | 第52-57页 |
| 3.2.3.1 对 Entity 类的修改 | 第52-54页 |
| 3.2.3.2 Entity 类新增函数的算法介绍 | 第54-57页 |
| 3.2.3.3 Entity 与自动机类对状态改变的协作关系 | 第57页 |
| 3.2.4 客户端及 WebService | 第57-60页 |
| 3.2.4.1 客户端 | 第59-60页 |
| 3.2.4.2 WebService | 第60页 |
| 3.3 总结本章 | 第60-62页 |
| 4 有限状态自动机在设备管理系统中的实践 | 第62-90页 |
| 4.1 设备管理系统 Ipms 介绍 | 第62-75页 |
| 4.1.1 Ipms 系统分析 | 第62-66页 |
| 4.1.2 系统开发环境 | 第66-67页 |
| 4.1.3 系统结构设计 | 第67-72页 |
| 4.1.4 数据库设计与实现 | 第72-75页 |
| 4.2 Ipms 中自动机的应用过程 | 第75-83页 |
| 4.2.1 自动机配置文件的设计 | 第75-79页 |
| 4.2.2 客户端的调用 | 第79-83页 |
| 4.3 系统测试 | 第83-89页 |
| 4.3.1 系统功能测试 | 第83-87页 |
| 4.3.2 当审核机制发生变化时的测试 | 第87-89页 |
| 4.4 总结本章 | 第89-90页 |
| 5 总结与展望 | 第90-92页 |
| 5.1 工作总结 | 第90-91页 |
| 5.2 下一步工作展望 | 第91-92页 |
| 参考文献 | 第92-95页 |
| 致谢 | 第95-96页 |
| 个人简历 | 第96页 |
| 攻读学位期间的主要成果 | 第96-97页 |
