首页--工业技术论文--自动化技术、计算机技术论文--计算技术、计算机技术论文--计算机的应用论文--计算机网络论文--一般性问题论文

基于函数式编程的Web服务组合技术研究

摘要第1-5页
ABSTRACT第5-11页
第一章 绪论第11-17页
   ·研究背景与意义第11-13页
   ·项目背景与XDWSC 结构第13-14页
   ·论文的主要工作与组织结构第14-17页
第二章 基本概念与相关研究工作第17-33页
   ·分布式计算技术第17-19页
   ·面向服务的计算第19-21页
   ·服务组合技术第21-22页
   ·服务组合技术研究现状第22-30页
     ·服务组合方法第23-27页
     ·著名研究项目第27-30页
   ·本章小结第30-33页
第三章 服务组合参考模型第33-43页
   ·引言第33页
   ·面向服务的计算环境第33-36页
   ·服务组合参考模型第36-42页
     ·服务组合生命周期第36-38页
     ·组合服务系统的软件层次第38页
     ·服务组合参考模型第38-42页
   ·本章小结第42-43页
第四章 基于函数式风格的服务组合方法第43-81页
   ·引言第43页
   ·相关数学基础和注记方式第43-49页
     ·λ演算第43-44页
     ·范畴(Category)第44-45页
     ·函数子(Functor)第45-47页
     ·自然变换(Natural Transfromation)第47页
     ·Monad第47-49页
     ·注记方式定义第49页
   ·基于函数式风格的服务组合方法第49-52页
   ·函数式服务组合模型第52-57页
   ·服务描述建模第57-63页
   ·服务组合建模第63-79页
     ·外部接口调用第63-65页
     ·IO 操作第65-71页
     ·控制结构第71页
     ·并发结构第71-75页
     ·异常处理第75-79页
   ·本章小结第79-81页
第五章 函数式服务组合的设计与实现第81-123页
   ·引言第81-82页
   ·函数式服务组合实现框架第82-83页
   ·WSDL 预处理第83-92页
     ·WSDL 介绍第83-85页
     ·WSDL 信息抽取第85-91页
     ·服务定义生成第91-92页
   ·函数式服务组合语言FSCL第92-97页
     ·FSCL 文法定义第92-94页
     ·FSCL 编译与C++代码生成第94-97页
   ·函数的定义与实现第97-98页
   ·MONAD 结构的实现第98-102页
     ·基本Monad 结构的实现第98-100页
     ·Maybe Monad 的实现第100-102页
   ·控制结构的实现第102-110页
     ·顺序控制结构的实现第102-108页
     ·循环结构的实现第108-110页
   ·并发结构的实现第110-113页
     ·进程创建与初始化第110-111页
     ·进程间通信第111-113页
   ·异常处理的实现第113-117页
     ·同步异常处理第113-116页
     ·异步异常处理第116-117页
   ·组合服务部署与运行第117-122页
     ·C++模块化系统XDComposer第117-118页
     ·Web 服务容器第118-120页
     ·组合服务的部署与运行第120-122页
   ·本章小结第122-123页
第六章 组合服务的分布式执行模式第123-145页
   ·引言第123页
   ·组合服务执行模式分析第123-128页
     ·组合服务执行模式第124-125页
     ·执行模式的比较与分析第125-128页
   ·组合服务的建模与执行第128页
   ·组合服务分布式执行策略第128-136页
     ·基本思想第128-129页
     ·问题定义第129-132页
     ·rRCP 算法第132-136页
   ·算法分析与比较第136-141页
     ·模拟实验及结果第136-140页
     ·实际实验及结果第140-141页
   ·相关工作比较第141-144页
   ·本章小结第144-145页
第七章 实验研究第145-161页
   ·引言第145页
   ·组合服务描述能力测试第145-152页
     ·实验策略与过程第145-149页
     ·实验结果分析第149-152页
   ·组合服务性能测试第152-157页
     ·实验策略与过程第152-154页
     ·实验结果与分析第154-157页
   ·组合服务分布式执行测试第157-159页
   ·本章小结第159-161页
第八章 工作总结与进一步的研究第161-165页
   ·工作总结第161-162页
   ·进一步的研究第162-165页
致谢第165-167页
参考文献第167-181页
攻读博士学位期间完成的论文第181-183页
攻读博士学位期间参加的科研第183-184页

论文共184页,点击 下载论文
上一篇:几类安全协议的研究与设计
下一篇:红外序列图像中运动弱小目标时域检测方法