| 摘要 | 第1-6页 |
| Abstract | 第6-10页 |
| 第1章 绪论 | 第10-20页 |
| ·研究背景与研究意义 | 第10-12页 |
| ·国内外研究现状 | 第12-13页 |
| ·Choreography概念模型的比较 | 第13-14页 |
| ·Choreography术语的汉译 | 第14-17页 |
| ·研究内容与论文框架 | 第17-20页 |
| 第2章 WSMO-Choreography概念模型 | 第20-29页 |
| ·理论基础:抽象状态机 | 第20-24页 |
| ·抽象状态机的发展及应用 | 第20-21页 |
| ·抽象状态机模型 | 第21-24页 |
| ·基于抽象状态机的WSMO-Choreography概念模型 | 第24-29页 |
| ·抽象状态机在WSMO-Choreography概念模型中的应用 | 第24-25页 |
| ·状态信号的本体表示 | 第25-27页 |
| ·转换规则的制定以及规范化表示 | 第27-29页 |
| 第3章 WSMO-Choreography的形式化描述方法 | 第29-33页 |
| ·WSML-Flight的逻辑表达 | 第29-30页 |
| ·应用WSML-Flight的WSMO-Choreography的形式化描述 | 第30-33页 |
| 第4章 服务兼容性:WSMO-Choreography和中介器解决方案 | 第33-47页 |
| ·服务兼容性的定义与类型 | 第33-35页 |
| ·WSMO-Choreography和中介器的应用 | 第35-40页 |
| ·不匹配情况的种类 | 第35-36页 |
| ·中介器类型定义 | 第36-39页 |
| ·WSMO-Choreography和中介器的应用 | 第39-40页 |
| ·服务兼容性问题的解决过程 | 第40-47页 |
| ·组件间的交互过程 | 第40-42页 |
| ·WSMO-Choreography引擎及其执行过程 | 第42-47页 |
| 第5章 WSMO-Choreography在B2C电子商务中的应用 | 第47-63页 |
| ·数码产品网上购物系统的设计 | 第47-52页 |
| ·存在的问题 | 第47页 |
| ·系统架构设计 | 第47-51页 |
| ·系统功能模块设计 | 第51-52页 |
| ·数码产品网上购物系统的WSMO-Choreography概念模型 | 第52-57页 |
| ·WSDL文件中抽取状态信号 | 第52-55页 |
| ·转换规则的分析与设计 | 第55-57页 |
| ·数码产品网上购物系统的部署运行 | 第57-63页 |
| ·应用WSMO Studio建模 | 第58-59页 |
| ·应用IRS-III的系统运行 | 第59-63页 |
| 第6章 结论与展望 | 第63-65页 |
| ·研究结论 | 第63-64页 |
| ·进一步展望 | 第64-65页 |
| 参考文献 | 第65-69页 |
| 攻读学位期间公开发表论文 | 第69-70页 |
| 致谢 | 第70-71页 |
| 研究生履历 | 第71页 |
