一种基于带条件的轨迹的WS-CDL形式化模型研究
| 摘要 | 第1-6页 |
| Abstract | 第6-8页 |
| 第一章 绪论 | 第8-12页 |
| ·研究背景和意义 | 第8-9页 |
| ·研究现状 | 第9-10页 |
| ·论文所做的工作 | 第10页 |
| ·论文内容的安排 | 第10-12页 |
| 第二章 Web服务组合与WS-CDL的基础知识 | 第12-26页 |
| ·引言 | 第12页 |
| ·Web服务 | 第12-14页 |
| ·Web服务的定义 | 第12页 |
| ·Web服务的体系结构 | 第12-14页 |
| ·WSDL、SOAP和UDDI | 第14-15页 |
| ·Web服务组合 | 第15-16页 |
| ·编排和WS-CDL | 第16-25页 |
| ·编制与编排 | 第16-18页 |
| ·WS-CDL概述 | 第18-25页 |
| ·本章小节 | 第25-26页 |
| 第三章 用带条件的轨迹为WS-CDL建模 | 第26-36页 |
| ·引言 | 第26页 |
| ·全局模型的语法 | 第26-29页 |
| ·参与组合的角色、操作、变量和通道 | 第26页 |
| ·参与组合的活动 | 第26-29页 |
| ·全局模型的语义 | 第29-35页 |
| ·可操作的语义——变迁 | 第29-31页 |
| ·带条件的轨迹语义 | 第31-35页 |
| ·本章小节 | 第35-36页 |
| 第四章 局部模型、执行过程与一致性问题 | 第36-45页 |
| ·引言 | 第36页 |
| ·局部模型 | 第36-38页 |
| ·全局模型到局部模型的映射 | 第38-41页 |
| ·执行过程 | 第41-43页 |
| ·一致性 | 第43-44页 |
| ·本章小节 | 第44-45页 |
| 第五章 算法实现 | 第45-53页 |
| ·引言 | 第45页 |
| ·数据结构 | 第45-48页 |
| ·程序片段 | 第48-53页 |
| 第六章 总结与展望 | 第53-55页 |
| ·论文总结 | 第53页 |
| ·未来工作展望 | 第53-55页 |
| 参考文献 | 第55-58页 |
| 致谢 | 第58-59页 |
| 在攻读硕士期间公开发表的论文及参加的课题 | 第59页 |
