| 提要 | 第1-8页 |
| 第1章 绪论 | 第8-22页 |
| ·研究背景 | 第8-13页 |
| ·Web 服务概述 | 第8-11页 |
| ·Web 服务组合概述 | 第11-13页 |
| ·服务组合的关键技术 | 第13-17页 |
| ·基于工作流的Web 服务组合 | 第14页 |
| ·基于AI 规划的Web 服务组合 | 第14-16页 |
| ·基于形式化的Web 服务组合 | 第16-17页 |
| ·WEB 服务组合的研究现状 | 第17-19页 |
| ·本文工作与组织形式 | 第19-22页 |
| 第2章 基于CPN 的WEB 服务组合模型 | 第22-34页 |
| ·PETRI 网基本理论 | 第22-26页 |
| ·Petri 网 | 第22-24页 |
| ·有色Petri 网(CPN) | 第24-26页 |
| ·基于CPN 的WEB 服务组合建模 | 第26-28页 |
| ·组合模型定义 | 第26-27页 |
| ·编排规则定义 | 第27-28页 |
| ·服务组合定义 | 第28页 |
| ·编排规则生成算法 | 第28-31页 |
| ·创建WEB 服务组合的过程 | 第31-32页 |
| ·小结 | 第32-34页 |
| 第3章 BPEL4WS 到CPN 模型的转换 | 第34-40页 |
| ·顺序(SEQUENCE) | 第35页 |
| ·并行分支(PARALLEL SPLIT)和同步(SYNCHRONIZATION) | 第35-36页 |
| ·单项选择(EXCLUSIVE CHOICE)和简单合并(SIMPLE MERGE) | 第36页 |
| ·延迟选择(DEFERRED CHOICE) | 第36-37页 |
| ·循环(ITERATION) | 第37页 |
| ·转折点(MILESTONE) | 第37-38页 |
| ·取消活动(CANCEL ACTIVITY)和取消实例(CANCEL CASE) | 第38-39页 |
| ·小结 | 第39-40页 |
| 第4章 WEB 服务组合模型的分析与验证 | 第40-50页 |
| ·分析与验证方法 | 第40-41页 |
| ·分析与验证工具的设计 | 第41-46页 |
| ·JCPN 概述 | 第41-42页 |
| ·CPN 的数据结构 | 第42-44页 |
| ·CPN 的完全发生图 | 第44-46页 |
| ·分析与验证工具的测试 | 第46-48页 |
| ·算术加法器(Arithmetic Adder) | 第47页 |
| ·哲学家就餐(Dining Philosophers) | 第47-48页 |
| ·资源分配(Resources Allocation) | 第48页 |
| ·小结 | 第48-50页 |
| 第5章 PI-演算概述 | 第50-62页 |
| ·进程代数概述 | 第50页 |
| ·PI-演算的发展背景 | 第50-52页 |
| ·PI-演算的基本概念 | 第52-56页 |
| ·PI-演算语法定义及操作语义 | 第52-56页 |
| ·PI-演算结构等价规则与化简规则[67] | 第56页 |
| ·PI-演算与WEB SERVICE | 第56-59页 |
| ·PI-演算与WEB SERVICE 组合 | 第59-60页 |
| ·小结 | 第60-62页 |
| 第6章 基于PI-演算的移动通信服务建模 | 第62-74页 |
| ·建模移动通信连接初始化过程 | 第62-65页 |
| ·建模移动通信过程 | 第65-69页 |
| ·建模移动通信基站转换过程 | 第69-70页 |
| ·建模呼叫重建的基本流程 | 第70-73页 |
| ·小结 | 第73-74页 |
| 第7章 PI-演算互模拟定义框架 | 第74-88页 |
| ·WEB SERVICE 的可替换性 | 第74-76页 |
| ·Web Service 可替换的充分条件 | 第74-75页 |
| ·用PI-演算描述Web Service 兼容性 | 第75页 |
| ·异步Web Service 可替换性 | 第75-76页 |
| ·互模拟框架概述 | 第76-77页 |
| ·互模拟定义 | 第77-83页 |
| ·强互模拟等价 | 第77-81页 |
| ·弱互模拟等价 | 第81-83页 |
| ·PI-演算模型的验证 | 第83-87页 |
| ·验证的背景概述 | 第83-84页 |
| ·MWB 概述 | 第84-85页 |
| ·建模与验证 | 第85-87页 |
| ·小结 | 第87-88页 |
| 第8章 PI-演算的 PETRI 网转换 | 第88-102页 |
| ·PI-演算到PETRI 网的映射 | 第88-94页 |
| ·代数网的定义 | 第88-90页 |
| ·PI-演算递归结构的Petri 网语义 | 第90-91页 |
| ·PI-演算顺序结构的Petri 网语义 | 第91-92页 |
| ·PI-演算并发结构的Petri 网语义 | 第92-93页 |
| ·PI-演算选择结构的Petri 网语义 | 第93-94页 |
| ·PI-演算的PETRI 网语义有效性评价 | 第94-95页 |
| ·通讯系统的CPN 模型 | 第95-97页 |
| ·利用CPN 模型对服务进行分析和验证 | 第97-101页 |
| ·小结 | 第101-102页 |
| 第9章 总结与展望 | 第102-104页 |
| 参考文献 | 第104-111页 |
| 攻读博士学位期间发表的论文及其他成果 | 第111-114页 |
| 致谢 | 第114-115页 |
| 中文摘要 | 第115-118页 |
| ABSTRACT | 第118-121页 |
