| 摘要 | 第1-4页 |
| ABSTRACT | 第4-7页 |
| 第一章 绪论 | 第7-12页 |
| ·选题的意义 | 第7-8页 |
| ·本课题的研究发展现状 | 第8-10页 |
| ·接口自动机的研究现状 | 第8页 |
| ·服务组合的研究现状 | 第8-9页 |
| ·对BPEL进行形式化研究的动态 | 第9-10页 |
| ·论文的组织结构 | 第10-11页 |
| ·本章小结 | 第11-12页 |
| 第二章 接口自动机 | 第12-22页 |
| ·接口自动机的非形式描述和特点 | 第12-14页 |
| ·接口自动机的形式定义 | 第14-15页 |
| ·接口自动机组合 | 第15-17页 |
| ·兼容性检查 | 第17-18页 |
| ·接口自动机描述的行为模型 | 第18-21页 |
| ·本章小结 | 第21-22页 |
| 第三章 基于场景的构件行为过滤 | 第22-33页 |
| ·研究背景 | 第22页 |
| ·场景规约与消息序列图简介 | 第22-24页 |
| ·场景和场景规约 | 第22-23页 |
| ·消息序列图 | 第23-24页 |
| ·基于场景的行为过滤的形式基础 | 第24-28页 |
| ·基于场景的行为过滤的基本方法 | 第28-30页 |
| ·条件排斥环境的构造算法 | 第30-31页 |
| ·算法框架 | 第30页 |
| ·算法内容 | 第30-31页 |
| ·本章小结 | 第31-33页 |
| 第四章 WEB服务语言BPEL到接口自动机的转换 | 第33-45页 |
| ·业务流程执行语言BPEL综述 | 第33-35页 |
| ·BPEL的用途 | 第33页 |
| ·BPEL的核心概念 | 第33-35页 |
| ·BPEL到接口自动机的转换 | 第35-40页 |
| ·基本活动到接口自动机的转换 | 第35-36页 |
| ·结构化活动到接口自动机的转换 | 第36-40页 |
| ·流程的接口自动机转换 | 第40页 |
| ·实例研究 | 第40-43页 |
| ·流程OrderBookingde到接口自动机的转换 | 第41-42页 |
| ·图书订购服务行为过滤分析 | 第42-43页 |
| ·本章小结 | 第43-45页 |
| 第五章 总结与展望 | 第45-47页 |
| ·研究工作总结 | 第45页 |
| ·本论文的不足和下一步研究的方向 | 第45-47页 |
| ·本论文的不足之处 | 第45-46页 |
| ·下一步研究的方向 | 第46-47页 |
| 附录 图书订购服务的BPEL源代码 | 第47-58页 |
| 致谢 | 第58-59页 |
| 参考文献 | 第59-63页 |
| 攻读硕士期间公开发表的论文 | 第63页 |