| 摘要 | 第1-7页 |
| ABSTRACT | 第7-13页 |
| 第一章 绪论和相关研究 | 第13-31页 |
| ·研究背景 | 第13-15页 |
| ·服务组合的研究概要 | 第15-23页 |
| ·服务组合的定义及研究内容 | 第15-16页 |
| ·服务组合形式化方法的相关研究 | 第16-21页 |
| ·模型验证 | 第17页 |
| ·数理逻辑 | 第17页 |
| ·自动机 | 第17-18页 |
| ·Petri网 | 第18页 |
| ·进程代数 | 第18-21页 |
| ·主要的形式化方法比较 | 第21-23页 |
| ·本研究的意义 | 第23-24页 |
| ·本文研究内容 | 第24-25页 |
| ·本文组织结构 | 第25页 |
| ·本章参考文献 | 第25-31页 |
| 第二章 扩展的PI演算:P1-BEAM | 第31-61页 |
| ·语言 | 第31-44页 |
| ·语法 | 第31-38页 |
| ·带约束的通道束 | 第33-36页 |
| ·逻辑并行链接和逻辑选择 | 第36-38页 |
| ·规约语义 | 第38-42页 |
| ·结构化同余 | 第39-40页 |
| ·化简语义 | 第40-41页 |
| ·LTS | 第41-42页 |
| ·类型系统 | 第42-44页 |
| ·类型化 | 第42-44页 |
| ·运行错误 | 第44页 |
| ·合理性 | 第44-48页 |
| ·类型系统的合理性 | 第45-47页 |
| ·束通道的有界合理性 | 第47页 |
| ·进程的束通道平衡合理性 | 第47-48页 |
| ·等价性 | 第48-50页 |
| ·图形化表示 | 第50-54页 |
| ·相关图形化表示 | 第50-52页 |
| ·标注连接进程图 | 第52-54页 |
| ·PI演算的实验环境 | 第54-58页 |
| ·实验环境整体结构 | 第54-55页 |
| ·Pi演算编译执行环境 | 第55-58页 |
| ·包结构图 | 第55-56页 |
| ·编译器前端 | 第56-57页 |
| ·编译器后端 | 第57-58页 |
| ·小结 | 第58页 |
| ·本章参考文献 | 第58-61页 |
| 第三章 基于PI-BEAM的服务组合验证 | 第61-95页 |
| ·服务组合验证的研究内容 | 第61-62页 |
| ·服务和服务组合表示 | 第62-66页 |
| ·流程正确性 | 第66-70页 |
| ·算法:基于流程正确性保证自动组合算法 | 第67-70页 |
| ·类型相容验证 | 第70-71页 |
| ·可达正确性验证 | 第71-74页 |
| ·算法:接受可达性判定与求不可达节点集合的算法 | 第72-74页 |
| ·活锁和活锁自由的验证 | 第74-75页 |
| ·死锁和死锁自由的验证与避免 | 第75-86页 |
| ·利用范式来判断死锁 | 第75-76页 |
| ·利用进程的序类型来判断死锁 | 第76-78页 |
| ·算法:利用进程的序类型来判断死锁的算法 | 第78-83页 |
| ·利用进程的序类型来避免死锁 | 第83-86页 |
| ·资源有序 | 第83-84页 |
| ·打破wait-for圈 | 第84-85页 |
| ·引入定时器控制 | 第85-86页 |
| ·互模拟等价性验证 | 第86-91页 |
| ·互模拟等价性检查在服务组合中的应用 | 第86-87页 |
| ·算法:检测互模拟等价的算法 | 第87-91页 |
| ·实验 | 第91-92页 |
| ·小结 | 第92-93页 |
| ·本章参考文献 | 第93-95页 |
| 第四章 QOS感知WEB服务组合的PI-BEAM-COST演算建模与模拟 | 第95-129页 |
| ·问题描述 | 第95-102页 |
| ·服务的QoS | 第95-96页 |
| ·QoS感知的服务组合问题 | 第96-98页 |
| ·QoS感知的服务组合方法 | 第98-99页 |
| ·基于进程代数的智能系统的形式化方法 | 第99-102页 |
| ·语言 | 第102-110页 |
| ·语法 | 第102页 |
| ·语义 | 第102-110页 |
| ·结构化同余 | 第103页 |
| ·LTS | 第103-105页 |
| ·Cost测度操作符 | 第105-107页 |
| ·等价服务的Cost测度 | 第107-108页 |
| ·PSO的元控制过程 | 第108-110页 |
| ·使用PSO的QoS感知WEB服务选择的建模与设计 | 第110-123页 |
| ·场景 | 第110-111页 |
| ·Pi-beam-cost来进行QoS感知的Web服务组合的原理 | 第111-116页 |
| ·PSO的优化过程 | 第116-117页 |
| ·DPSO模式的设计 | 第117-123页 |
| ·DPSO介绍 | 第117-118页 |
| ·解的表示 | 第118-119页 |
| ·粒子的物理表示 | 第119页 |
| ·粒子动力定义 | 第119-121页 |
| ·Fitness函数的设计和计算 | 第121页 |
| ·DPSO的主要过程 | 第121-123页 |
| ·仿真模拟 | 第123-126页 |
| ·仿真平台的建立 | 第123-124页 |
| ·实验结果 | 第124-126页 |
| ·小结 | 第126页 |
| ·本章参考文献 | 第126-129页 |
| 第五章 高阶分布式PI演算的服务组合 | 第129-163页 |
| ·研究背景 | 第129-131页 |
| ·PI-BEAM演算的扩展:HOPI-BEAM | 第131-136页 |
| ·高阶扩展 | 第131-133页 |
| ·分布式扩展 | 第133-136页 |
| ·域 | 第133-134页 |
| ·抽象进程的迁移应用 | 第134-135页 |
| ·名字的复合表示 | 第135-136页 |
| ·语言 | 第136-140页 |
| ·语法 | 第136-137页 |
| ·类型 | 第137页 |
| ·语义 | 第137-140页 |
| ·结构化同余 | 第137-138页 |
| ·化简语义 | 第138-140页 |
| ·高阶WEB服务和高阶WEB服务组合 | 第140-152页 |
| ·高阶Web服务 | 第140页 |
| ·高阶Web服务服务组合 | 第140-144页 |
| ·高阶Web服务组件的WSDL表示 | 第144-152页 |
| ·高阶Web服务组件 | 第144-145页 |
| ·WSDL的高阶服务扩展 | 第145-152页 |
| ·MAPREDUCE的框架的高阶服务视角研究 | 第152-155页 |
| ·MapReduce简介 | 第152页 |
| ·用高阶分布式Pi-beam演算来描述MapReduce框架 | 第152-154页 |
| ·MapReduce作为高阶Web服务组合 | 第154-155页 |
| ·MAPREDUCE服务模拟环境及实验 | 第155-160页 |
| ·系统架构 | 第155页 |
| ·WSDL的扩展与解析实现 | 第155-156页 |
| ·代码的移动性 | 第156-157页 |
| ·并发线程库的设计 | 第157-158页 |
| ·模拟实验 | 第158-160页 |
| ·小结 | 第160页 |
| ·本章参考文献 | 第160-163页 |
| 第六章 总结和展望 | 第163-165页 |
| 符号表 | 第165-167页 |
| 缩略词表 | 第167-169页 |
| 致谢 | 第169-170页 |
| 攻读博士学位发表的论文 | 第170-172页 |
| 攻读学位期间参与的科研工作 | 第172页 |
