| 摘要 | 第1-10页 |
| ABSTRACT | 第10-12页 |
| 第一章 绪论 | 第12-24页 |
| ·论文选题的依据 | 第13-16页 |
| ·装备保障信息化发展的迫切需要 | 第14页 |
| ·创新工兵团装备保障项目管理模式的需要 | 第14-15页 |
| ·装备保障辅助决策分析的需要 | 第15-16页 |
| ·国内外研究现状 | 第16-23页 |
| ·工作流建模的研究现状分析 | 第16-19页 |
| ·工作流模型验证的研究现状分析 | 第19-22页 |
| ·UML技术在装备保障中的应用现状分析 | 第22-23页 |
| ·论文研究思路及内容安排 | 第23页 |
| ·论文研究框架 | 第23-24页 |
| 第二章 工兵团装备保障业务分析 | 第24-35页 |
| ·工兵团装备保障业务的分类 | 第24-25页 |
| ·工兵团装备保障业务描述及业务流程分析 | 第25-31页 |
| ·工兵团装备保障业务描述 | 第25-29页 |
| ·工兵团装备保障业务流程分析 | 第29-30页 |
| ·工兵团装备保障核心工作流程一般性描述 | 第30-31页 |
| ·工兵团装备保障业务组织结构 | 第31-33页 |
| ·工兵团装备保障业务逻辑模型 | 第33-34页 |
| ·小结 | 第34-35页 |
| 第三章 基于UML的工兵团装备保障工作流建模 | 第35-63页 |
| ·UML的建模方法 | 第35-38页 |
| ·UML简介 | 第35-36页 |
| ·UML建模中的几个基本概念 | 第36页 |
| ·UML的模型表示形式 | 第36-38页 |
| ·基于UML的工作流建模策略 | 第38-40页 |
| ·传统工作流模型的缺点 | 第38-39页 |
| ·基于UML的工作流建模策略 | 第39-40页 |
| ·基于用例图的功能需求描述 | 第40-46页 |
| ·用例图建模中的几个基本概念 | 第40-41页 |
| ·工兵团装备保障业务用例模型 | 第41-46页 |
| ·基于行为图的状态转换描述 | 第46-55页 |
| ·基于交互图的消息传递机制描述 | 第55-62页 |
| ·小结 | 第62-63页 |
| 第四章 工兵团装备保障工作流模型验证 | 第63-94页 |
| ·UML模型验证的过程 | 第63-69页 |
| ·UML模型验证的提出 | 第63页 |
| ·UML模型验证的一般过程 | 第63-64页 |
| ·模型验证工具SPIN | 第64-69页 |
| ·工兵团装备保障工作流UML模型验证的内容 | 第69-70页 |
| ·工兵团装备保障工作流UML模型一致性验证的规则及过程 | 第70-72页 |
| ·工兵团装备保障工作流UML模型一致性验证的规则 | 第70页 |
| ·工兵团装备保障工作流UML模型一致性验证的过程 | 第70-72页 |
| ·工兵团装备保障UML模型的形式语义定义 | 第72-77页 |
| ·工兵团装备保障UML时序图的形式语义定义 | 第72-74页 |
| ·工兵团装备保障UML状态图的形式语义定义 | 第74-77页 |
| ·工兵团装备保障工作流UML模型到Promela的转化 | 第77-91页 |
| ·工兵团装备保障UML模型的XML文件分析 | 第77-88页 |
| ·时序图到Promela的转化 | 第88-89页 |
| ·状态图到Promela的转化 | 第89-91页 |
| ·工兵团装备保障工作流模型验证的结果 | 第91-93页 |
| ·小结 | 第93-94页 |
| 第五章 结论及进一步工作 | 第94-96页 |
| ·全文总结 | 第94页 |
| ·进一步工作 | 第94-96页 |
| 致谢 | 第96-97页 |
| 参考文献 | 第97-104页 |
| 作者在学期间取得的学术成果 | 第104-105页 |
| 附录A SPIN程序 | 第105-110页 |