类型理论在Web服务描述和验证方面的应用
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-6页 |
| 第一章 绪论 | 第6-13页 |
| ·引言 | 第6页 |
| ·Web服务简介 | 第6-8页 |
| ·Martin-Lof类型理论 | 第8-9页 |
| ·自动Web服务 | 第9页 |
| ·服务组合相关项目和平台 | 第9-12页 |
| ·文章的结构和组织 | 第12-13页 |
| 第二章 MARTIN-LOF类型理论 | 第13-22页 |
| ·引言 | 第13页 |
| ·集合与命题、问题、程序的关系 | 第13-15页 |
| ·一般规则 | 第15-16页 |
| ·程序推导 | 第16-18页 |
| ·类型 | 第18-21页 |
| ·总结 | 第21-22页 |
| 第三章 WEB服务的类型理论描述 | 第22-31页 |
| ·引言 | 第22页 |
| ·类型理论中基本类型定义 | 第22-24页 |
| ·Web服务基本元素描述 | 第24-27页 |
| ·实例演示 | 第27-30页 |
| ·总结 | 第30-31页 |
| 第四章 WEB服务匹配的类型理论推导 | 第31-43页 |
| ·引言 | 第31页 |
| ·Web服务匹配 | 第31-33页 |
| ·验证服务的属性 | 第33-42页 |
| ·总结 | 第42-43页 |
| 第五章 WEB服务描述和验证平台实现 | 第43-56页 |
| ·引言 | 第43页 |
| ·服务流 | 第43-44页 |
| ·DartFlow体系结构 | 第44-45页 |
| ·服务注册与浏览 | 第45-48页 |
| ·服务流设计 | 第48-52页 |
| ·服务执行 | 第52-54页 |
| ·实例演示 | 第54-55页 |
| ·总结 | 第55-56页 |
| 第六章 总结与展望 | 第56-58页 |
| ·论文主要工作概述 | 第56-57页 |
| ·未来工作展望 | 第57-58页 |
| 参考文献 | 第58-60页 |
| 致谢 | 第60页 |
