在web服务业务流程建模和实现过程中,web服务编排从全局角度描述了web服务参与者之间的协作和交互过程;web服务编制描述了单个web服务参与者与其他参与者的交互,两者的结合能有效提高服务流程建模和实现的效率以及准确性,但必须解决web服务编排和服务编制的一致性验证问题。提出了一种基于CSP(communication sequence process)的web服务编排语言WS-CDL(web service choreography description lan-guage)和web服务编制规范WS-BPEL(web service business process execution language)间的一致性验证方法。该方法将WS-CDL和WS-BPEL均转换为CSP语言;然后基于CSP的模型检测工具PAT(process analysis toolkit)进行两者的一致性检查;最后通过一个完备的案例对该方法进行了验证,结果表明了该方法的有效性。
随着互联网技术的迅速发展,互联网的应用模式也从最初的页面web、应用web,发展到web服务。然而单个的web服务已难以满足实际应用的需求,如何组合已有的服务,形成新的服务,已成为此领域的研究热点。
所谓web服务组合,指的是从互联网中选取相对简单可用的web服务并将它们组合成新服务的技术,能很好地利用现有的信息资源。研究表明,web服务组合过程中存在许多关键性问题,诸如动态服务发现、复合服务执行和复合服务事务处理,而采用具有丰富语义信息的服务描述语言是解决这些web服务组合关键问题的重要环节。然而,现有的研究大都从如何组合服务来考虑,却没有考虑组合中的安全问题。在web服务组合过程中,安全问题不容忽视。基于此,本文分析了web服务所存在的安全问题及web服务组合中所存在的问题,并结合web服务安全规范提出了一个安全的web服务组合方法,构造了一个web服务安全组合框架。该web服务组合方法建立在BPEL4WS(Business Process Execution Language for web Services)的基础上。通过形成抽象的业务流程定位web服务,在组合的过程中进行服务质量、安全性能和安全约束的检查,并进行兼容性匹配,选择满足用户需求的最合适的服务。最后形成一棵带权组合树,并按照整体安全性评估值或服务费用等其它参数进行优化,选择出一条最满足用户需求的路径作为服务组合结果返回。该方法适用于多个服务联合起来构成其它服务并且具有很多安全约束的情形。同时将web服务的质量评价标准引入到服务组合方法中来,以此来保证系统的服务质量,从而满足用户的性能需求。本文所做的具体工作如下:(1)对web服务描述(WSDL文档)进行安全扩展;(2)对安全信息进行表示;(3)构造了一个安全信息验证模块(SVP);(4)构造了一个兼容性匹配模块;(5)设计了带权组合树的建立和搜索算法。
最后对于本文构造的web服务安全组合方法,我们给出了一个实例进行仿真,详细说明了该方法的工作过程。
为了快速地实现分布式协作开发环境,将现有的工具和组件包装成web服务并将这些服务集成起来是一种切实有效的方法。web服务业务流程执行语言(webService Business Process Execution Language, WS-BPEL,简称BPEL)以web服务为基础,按照...
详细信息
为了快速地实现分布式协作开发环境,将现有的工具和组件包装成web服务并将这些服务集成起来是一种切实有效的方法。web服务业务流程执行语言(webService Business Process Execution Language, WS-BPEL,简称BPEL)以web服务为基础,按照标准的规则整合基础服务形成BPEL流程,可以满足分布式协作应用的需求。目前已有一些BPEL引擎,但在性能、可靠性和资源消耗方面还不能满足项目的需要。
本文在研究了BPEL相关规范的基础上,设计并实现了一个能够高效执行的BPEL引擎-CBPEL。通过用例、逻辑和进程三种视图模式分析了RCBPEL的设计架构,详细描述了引擎核心组件的设计与实现方法。同时,由于BPEL规范没有提供有效的机制应对服务调用过程中产生的系统异常,本文在相关技术研究的基础上,提出了一种基于动态代理的流程恢复机制并给出了详细的设计方案。
实验表明,RCBPEL能够高效地执行,且占用的资源较少,能够满足项目的需求。实验结果还表明,动态代理对BPEL引擎造成的性能影响小,能够有效保证流程执行的可靠性,是一种可行的方案。
暂无评论