| 摘要 | 第1-5页 |
| Abstract | 第5-8页 |
| 1 绪论 | 第8-15页 |
| ·研究背景及意义 | 第8-10页 |
| ·研究现状与存在的问题 | 第10-14页 |
| ·目前交通系统的研究与开发方法 | 第10-11页 |
| ·当前交通系统开发存在的问题 | 第11-12页 |
| ·Web服务动态组合技术解决城市交通系统困境的可行性 | 第12-14页 |
| ·本文的主要工作 | 第14页 |
| ·本文的组织结构 | 第14-15页 |
| 2 Web服务的动态组合技术 | 第15-21页 |
| ·Web服务及技术背景 | 第15-17页 |
| ·Web服务组合的分类及组合方法 | 第17-20页 |
| ·Web服务组合分类 | 第17-18页 |
| ·Web服务组合方法 | 第18-20页 |
| ·Web服务组合的生命周期 | 第20-21页 |
| 3 交通协同服务系统的体系结构 | 第21-31页 |
| ·交通协同服务系统的软硬件体系结构 | 第21-24页 |
| ·Web服务包装交通领域异构构件的必要性 | 第24-25页 |
| ·Web服务与ITS结合的必要性 | 第24页 |
| ·利用Web服务对构件进行组装的优势 | 第24-25页 |
| ·交通协同Web服务开发 | 第25-26页 |
| ·交通协同服务系统的协同模型 | 第26-30页 |
| ·本章小结 | 第30-31页 |
| 4 基于Pi演算的交通Web服务组合的描述及建模 | 第31-43页 |
| ·Pi演算简介 | 第31-33页 |
| ·语法定义 | 第31-32页 |
| ·结构等价规则 | 第32-33页 |
| ·化简规则 | 第33页 |
| ·Pi演算建模Web服务 | 第33-35页 |
| ·Pi演算与Web服务 | 第33-35页 |
| ·Web服务行为与行为兼容性理论 | 第35-39页 |
| ·Web服务行为 | 第35页 |
| ·Web服务视图 | 第35-38页 |
| ·Web服务行为的兼容性 | 第38-39页 |
| ·交通突发事件应急Web服务动态组合的建模 | 第39-42页 |
| ·本章小结 | 第42-43页 |
| 5 基于Pi演算的交通Web服务组合的兼容性验证 | 第43-54页 |
| ·交通紧急协同Web服务的行为与行为兼容性 | 第43-49页 |
| ·态势评估和决策支持服务模型 | 第43-44页 |
| ·态势评估和决策支持服务视图 | 第44-45页 |
| ·态势评估和决策支持服务与服务请求者的兼容性 | 第45-49页 |
| ·交通紧急协同Web服务间的兼容性验证 | 第49-52页 |
| ·交通突发事件态势评估Web服务动态组合的实现 | 第52-53页 |
| ·本章小结 | 第53-54页 |
| 结论 | 第54-55页 |
| 参考文献 | 第55-57页 |
| 攻读硕士学位期间发表学术论文情况 | 第57-58页 |
| 致谢 | 第58-59页 |