| 中文摘要 | 第1-4页 |
| ABSTRACT | 第4-8页 |
| 第一章 绪论 | 第8-11页 |
| ·背景 | 第8页 |
| ·研究内容 | 第8-9页 |
| ·研究思路 | 第9-10页 |
| ·论文章节结构 | 第10-11页 |
| 第二章 相关研究 | 第11-21页 |
| ·城市基础设施 | 第11页 |
| ·软件体系结构 | 第11-14页 |
| ·软件体系结构定义 | 第11-13页 |
| ·软件体系结构研究及应用现状 | 第13页 |
| ·软件体系结构描述语言 ADL | 第13-14页 |
| ·软件体系结构风格 | 第14页 |
| ·软件复用技术 | 第14-17页 |
| ·软件复用的重要性 | 第14-15页 |
| ·领域工程 | 第15-17页 |
| ·本体及其在领域分析中的应用 | 第17-18页 |
| ·形式化方法在软件体系结构中的应用 | 第18-20页 |
| ·形式化的定义及作用 | 第18-19页 |
| ·一种形式化语言——z 语言 | 第19页 |
| ·本文引入形式化方法的意义 | 第19-20页 |
| ·本章小结 | 第20-21页 |
| 第三章 云模式下城市基础设施管理平台领域分析 | 第21-38页 |
| ·城市基础设施管理平台领域边界分析 | 第21-22页 |
| ·云模式下城市基础设施管理平台领域分析 | 第22-37页 |
| ·平台角色模型 | 第22-26页 |
| ·领域本体模型 | 第26-29页 |
| ·平台场景模型 | 第29-30页 |
| ·平台信息模型 | 第30-32页 |
| ·平台特征模型 | 第32-33页 |
| ·平台业务模型 | 第33-35页 |
| ·领域字典 | 第35-37页 |
| ·小结 | 第37-38页 |
| 第四章 云模式下城市基础设施管理平台领域设计 | 第38-85页 |
| ·平台 4+1 视图模型 | 第38-43页 |
| ·逻辑视图 | 第38-41页 |
| ·进程视图 | 第41页 |
| ·物理视图 | 第41-42页 |
| ·开发视图 | 第42页 |
| ·场景视图 | 第42-43页 |
| ·平台软件体系结构风格 | 第43页 |
| ·基础设施管理平台软件体系结构 | 第43-44页 |
| ·平台构件 | 第44-82页 |
| ·实体构件 | 第45-52页 |
| ·业务基础构件 | 第52-63页 |
| ·功能构件 | 第63-66页 |
| ·业务构件 | 第66-82页 |
| ·连接件 | 第82-83页 |
| ·配置 | 第83-84页 |
| ·小结 | 第84-85页 |
| 第五章 云模式下城市基础设施管理平台领域实现及应用 | 第85-87页 |
| ·云模式下城市基础设施管理平台领域实现 | 第85页 |
| ·城市基础设施管理平台应用 | 第85-86页 |
| ·本章小结 | 第86-87页 |
| 第六章 总结与期望 | 第87-91页 |
| ·总结 | 第87-88页 |
| ·展望 | 第88页 |
| ·本章小结 | 第88-91页 |
| 参考文献 | 第91-94页 |
| 发表论文和科研情况说明 | 第94-95页 |
| 致谢 | 第95页 |