首页--工业技术论文--自动化技术、计算机技术论文--计算技术、计算机技术论文--计算机软件论文--程序设计、软件工程论文--软件工程论文

基于类型论的ESB智能路由及服务组合

摘要第1-4页
Abstract第4-10页
第1章 绪论第10-19页
   ·引言第10-13页
     ·研究的背景第10-12页
     ·研究的意义第12-13页
   ·国内外的研究现状第13-16页
     ·ESB功能列表(研究点)第13-15页
     ·ESB当前研究的热点第15-16页
   ·本文的研究内容第16-17页
   ·本文的章节组织第17-18页
   ·本章小结第18-19页
第2章 智能路由机制第19-28页
   ·一般消息路由机制(JTangSynergy中)第19-21页
     ·体系架构第19-20页
     ·一般消息路由模块第20-21页
   ·智能服务路由机制第21-27页
     ·智能服务路由机制概述第21-24页
     ·智能服务路由定义及细节第24-25页
     ·智能路由引擎第25-27页
   ·本章小结第27-28页
第3章 基于类型论的Mapping及Selecting机制第28-51页
   ·Martin-Lof类型理论第28-33页
     ·类型理论基本概念第28-29页
     ·类型理论的一般规则第29页
     ·类型理论的相关类型第29-32页
     ·类型理论的程序式推导第32-33页
   ·类型论对Web Service的形式化第33-36页
     ·WSDL相关元素介绍第33页
     ·类型论对WSDL服务接口元素的构造第33-36页
     ·类型论对WSDL服务实现元素的构造第36页
   ·基于类型论的Mapping及Selecting机制第36-50页
     ·服务Mapping描述第36-46页
     ·服务Selecting描述第46-50页
   ·本章小结第50-51页
第4章 服务的粗粒度组合第51-62页
   ·ESB中针对业务流程的服务组合第51-52页
   ·顺序服务流的消息传递第52-53页
   ·SynergyBPEL引擎第53-61页
     ·SynergyBPEL引擎模块描述第53-54页
     ·SynergyBPEL引擎关键过程描述第54-56页
     ·BPEL引擎的设计第56-58页
     ·部署描述文件的构造第58-61页
   ·本章小结第61-62页
第5章 原型系统及其实现第62-78页
   ·路由引擎的设计实现第62-68页
     ·模块关键过程描述第62-63页
     ·引擎的设计第63-65页
     ·引擎的实现第65-68页
   ·服务注册库的设计实现第68-72页
   ·匹配引擎的设计与实现第72-77页
     ·模块关键过程描述第72-73页
     ·匹配引擎的设计第73-77页
   ·本章小结第77-78页
第6章 总结与展望第78-80页
   ·论文主要工作概述第78页
   ·未来工作展望第78-80页
参考文献第80-82页
攻读硕士学位期间主要的研究成果第82-83页
致谢第83-84页
作者简历第84页

论文共84页,点击 下载论文
上一篇:大规模城市场景的高效建模及其实时绘制研究
下一篇:基于公共几何服务接口的CAD/CAE系统集成技术的研究和实现