基于进程代数WS-CDL交互模式建模研究

基于WS-CDL的编排是从全局视角描述Web服务交互功能,但其缺乏形式化语义。基于进程代数提出了PA4WS(Process Algebra for WS-CDL)来描述WS-CDL的形式化语法和语义。相比其他相关工作,PA4WS给出了WS-CDL编排的工作单元建模、基于信息对齐交互模式和异步交互建模。最后,通过一个例子给出了PA4WS带来的好处。     

WS-CDL编排到BPEL编制的转换与实现

Web服务编排流程与编制流程之间的转换一直是学术界的研究热点,尤其是W3C提出的标准规范WS-CDL与如今广泛应用的编制规范BPEL流程之间的转换,对SOA实践者来说具有很强的实用性。然而,现有的转换规则都没有考虑全局模型到局部模型的转换过程中可能存在的不可执行问题,并且其转换规则本身也存在一些不合理的地方。提出了新的WS-CDL编排到BPEL编制流程的转换规则,该规则不但给出了转换过程中不可执行问题的检验和排除方法,并且其转换规则相较于现有的规则更加准确合理。     

基于SOAP的网络消息安全策略

SOAP/XML可以自定义标记,能跨越不同的平面,给Web服务增加安全隐患.为了消除这一隐患,通过利用SOAP消息头,提出了SOAP的安全扩充模型,并提出了采用SOAP安全工具包实现安全模型功能的基本方法.针对权限设置等设计了一个Web服务访问控制器,将那些无权限的请求去掉.通过对SOAP消息的安全扩充和访问控制处理,提高了Web服务的健壮性,完善了Web服务协议栈的架构.     

基于Web服务总线的应用集成的研究与实现

企业应用集成(EAI)是利用现有企业信息资源,实现企业信息共享的有效解决方法.本文在分析传统的企业应用集成方法的基础上,针对大型企、事业单位更为有效的利用现有信息资源,设计了一种基于Web服务总线的Web服务集成框架.该框架可集成企业内、外部服务,并通过对服务进行测试与评估,实现服务的动态路由,简化服务的请求流程,提高服务的稳定性、服务总线的利用率以及服务的使用效率.实验证明,本设计方案不仅能有效实现Web服务集成,也能高效地编排和管理Web服务总线应用与集成以应对Web服务的动态路由,并具有良好的实用性和可伸缩性.     

基于Qos编排下Web服务的相对权重组合研究

随着Web服务的发展,用户如何在高度复杂的网络环境下选择满足最大Qos(Quality of service)是研究的难点.提出了一种基于Qos编排下Web服务的可信研究,对目标Web服务之间可信度进行度量,初步确定在不同Qos要求下服务间的相对权重,然后通过权重关系选择一条服务路径.根据不同用户对不同Qos的要求形成不同的服务组合形式,构建了不同的服务相对权重.最终能够为不同用户推荐不同的服务组合,以达到比较好的Qos要求.     

利用安全令牌提高Web服务的安全性

将已有的安全协议和Web服务通信协议绑定,通过发布和获取安全令牌来保证可扩展标记语言文本的安全性,从而提高Web服务的安全性.     

一种基于网格的工作流系统

基于网格的工作流系统采用混合式的体系结构,在工作流引擎上集中管理,在任务处理上进行分布执行.工作流引擎通过解析树实现对过程模型中活动的处理,并给出遍历算法.工作流图形化建模工具支持模型向XML文件的转换,并支持XPDL标准.系统基于开放源码的Globus Toolkit 3.9.1实现,对于过程模型定义工具和工作流引擎,通过Web服务封装技术,把已有工作流系统的相关COM组件实现为网格服务,并把支持工作流的网格资源发布到协同设计环境中.对于工作流过程模型中的XML表示,采用C#实现为Web服务.多个Web服务结合在一起,实现网格环境下的工作流的布置.     

WS-CDL测试路径的生成与排序

为了找出WS-CDL组合流程中存在的错误,减少软件维护产生的开销,提出一种基于控制流图生成测试路径的方法,用于对WS-CDL进行测试.首先解析WS-CDL文档,根据元素特点生成各类节点,并根据流程结构确定节点的源节点和目标节点;然后通过在源节点和目标节点间添加有向边构造成控制流囹;最后通过遍历控制流图生成所有可能的测试路径.测试路径中覆盖的WS-CDL元素越多,则发现的错误数也可能越多.为提高发现错误的效率,提出了2种基于路径中元素数量的排序算法,对路径的执行顺序进行排序.实验结果表明,将测试路径按路径中未被覆盖的元素总数降序排列,可以更快地发现错误.     

航班编排中的并行处理技术研究

在分析影响航班编辑和显示速度主要因素的基础上,研究了多线程技术和面向对象的组件设计等并行处理技术,实现了基于多线程的图形化航班编排管理系统.结果表明在该航班编排系统中采用并行处理技术是非常必要的.     

基于特征模型和Web服务的工程知识库共享

为了实现协同产品开发中的知识共享,在开放式标准的基础上,提出了一种基于特征模型和网络(Web)服务的工程知识库共享机制.以各类工程数据库、专家知识等作为底层资源而建立工程知识库,并将知识库中的知识对外包装成标准的Web服务;同时,提出了基于异构计算机辅助(CAX)系统特征的产品模型数据转换方法,并将其转换为可扩展标记语言(XML)表述而作为平台无关的信息集成方式;将产品模型的XML表述作为输入,利用Web服务的发布、发现与共享机制来选用合适的Web服务而获取相关的领域知识,以对产品模型进行评估与优化.结果表明,所得数据可以在产品模型和Web服务之间进行交互与转换,可实现高效的知识共享.