基于多Agent的Web服务动态合成的研究

现有基于传统工作流的Web服务合成的研究,不能很好满足Web服务合成动态、分布 式的要求。将Web服务动态合成技术和多Agent技术结合,着重于合成服务流程执行阶段的监控和 异常处理,给出了基于多Agent技术的Web服务动态合成系统的框架MAS WS,描述了其中的关键技 术,包括Agent联邦动态组建、主动协作、服务流程分层管理、流程规划与执行交叉进行等,并分析了 MAS WS的优势。     

面向跨企业多方协同应用的Web服务安全模型

现有的Web服务安全工具仅提供单个服务的安全策略配置功能,忽略了业务流程层面的安全需求。为此,提出一种面向跨企业多方协同应用的Web服务安全模型,将Web服务安全建模、部署与监控过程,融合到企业业务流程管理过程中。在此基础上构造基于Secure-WSCDL的建模工具、转换工具和监控工具,实现SOA架构下业务模型与安全建模在软件工程生命周期中的同步。通过简化的国际贸易进出口流程实例,验证了该模型与相应工具的有效性。     

基于CPN模型的REST服务架构标准特征验证方法研究

当前REST服务架构广泛应用于大规模、可扩展的分布式Web系统中,若应用REST服务架构时不遵循其标准特征,则可能导致基于REST服务架构的Web系统出现性能下降、可扩展性低等问题。因此,实现基于REST服务架构的Web系统前,需要对该系统设计是否满足REST服务架构标准特征进行验证,以提升基于REST服务架构的Web系统的研发质量。提出一种基于CPN模型的REST服务架构标准特征验证方法,即对REST服务架构的五个标准特征约束进行CPN建模,并使用模型状态空间执行路径同步匹配的验证方法,以应用系统的CPN模型和标准特征约束的CPN模型为基础,对模型状态空间中的各自执行路径进行同步匹配,若路径可同步执行完毕,则说明该应用系统满足该REST标准特征约束。以基于REST服务架构的课程管理Web系统为例,验证上述方法的可用性和有效性。实验结果表明,本文所提验证方法可以有效确认基于REST服务架构的Web应用系统设计是否符合REST服务架构的标准特征约束,并在不符合标准特征约束时提供直观、可行的执行数据,便于后续完成应用系统设计缺陷定位及修正。     

基于SOA架构的Web服务组合系统

应用SOA架构是构建松散耦合Web服务组合系统的一个有效途径.本文在深入研究Web服务组合系统一般工作流程的基础上,提出了一种基于SOA架构和分层协议栈机制构建Web服务组合系统的方法,给出了服务分层模型和分层协议栈,设计并实现了一个基于SOA架构的松耦合原型系统来实现Web服务组合,可为Web服务组合的研究和企业应用提供灵活的实验及应用开发平台.     

基于AOP和Web服务的多层分布式系统

把面向方面编程的思想引入到Web服务中,将其横切关注点(日志、事务、权限认证等)实现为方面服务,在系统执行时用编织器在SOAP消息层编织Web服务和方面服务来构建最终系统,并结合面向服务软件体系结构和J2EE的多层架构提出一个基于方面服务和Web服务的软件架构。给出一个应用该软件架构的实例。     

基于工作流的Web服务组合系统的设计与实现

单个Web服务难以满足实际应用的需求,为了解决互联网应用的集成和协作问题,需要把独立的Web服务组合起来以实现复杂的业务逻辑功能.通过分析工作流与Web服务流程执行的相同点,设计并实现了一个基于工作流的Web服务组合系统(WSCS).该系统能在自治的、异构的、动态的环境下灵活、高效地组合Web服务.整个系统主要包括三个模块:组合流程建模模块、服务选取模块、流程执行模块.     

面向Web Services的工作流管理系统设计

文章通过Web Services技术与工作流技术的结合,提供了Web Services对工作流系统建模和执行阶段的支持,设计了一个面向Web Services的工作流管理系统。利用以Web Services为基础的WS-BPEL工作流技术解决了当前工作流技术在不同企业间协作的互操作问题,从而实现了基于Internet的业务流程管理,为跨企业间的流程协作提出了一种新的解决方案。     

Web服务合成平台研究

Web服务之间的交互是面向服务的架构（SOA）中的关键问题。该文分析了Web服务合成的研究现状并提出了服务合成平台WSCP的设计方案。给出了WSCP的总体结构，描述了其中的关键技术，包括流程模板库定义，服务发现，流程设计、分析、执行和监控等。     

基于MDA的Web服务合成技术研究

Web服务合成越来越引起人们的广泛关注。对基于MDA的Web服务合成技术进行了研究:描述了Web服务合成开发方法;提出利用UML类图对Web服务合成进行结构建模,对UML活动图进行行为建模,并给出UML类图和活动图到接口描述语言(WSDL)和业务流程执行语言(BPEL4WS)的转换规则;给出一个订单管理案例证明该方法的可行性。     

ALBC4WS:一种基于软件体系结构生命周期的动态服务合成框架

从软件体系结构的角度出发,对Web服务组件与服务合成等概念以及性质进行了形式化定义与分析,提出了一种基于体系结构生命周期的Web服务动态合成模型：ALBCAWS模型．该模型是在服务的发布管理算法和服务的自动合成查询与恢复管理算法的基础上为服务组件的合成提供了一个动态的、可管理的服务合成支撑框架．在OPEN—WEB原型系统的开发实践表明,该模型提高了服务组件的合成能力、保证了合成系统的健壮性和自适应性,同时也为Web服务的合成过程提供了有效的动态管理机制．     

基于BPEL4WS的网格服务组合体系结构及其分析

开放网格服务基础结构OGSI（Open Grid ServicesInfrastrstructure）把Web服务工作流引入到网格任务描述中,给出了几种Web服务与网格技术相融合机制,但并没有界定如何进行网格服务组合.而BPEL4WS（Business Process Execution Language for Web Services）是描述Web服务业务工作流的工业标准.通过对BPEL4WS和OGSI在生命周期管理、Web服务实例化和状态交互管理等方面异同的深度分析,提出了一种兼容OGIS并使用BPEL4WS来合成网格服务的高层体系结构.介绍了一个电力网电能损耗理论计算的实际应用原型系统,表明该文提出的体系结构可应用于网格服务的建模和构造.     

基于价格进程代数的Web服务组合描述和成本分析

进程代数可有效地用于Web服务组合的描述和验证,然而缺乏对服务组合成本建模和分析的能力.提出一种扩展了价格信息的进程代数PPA, 在CCS基础上为进程动作和状态扩展价格函数, 给进程动作的执行标记价格,给进程的迁移状态标记成本.给出了PPA的语法和语义,定义了PPA成本弱互模拟并分析了其与CCS弱互模拟的关系,证明了PPA在CCS基础上扩展了成本建模能力,给出了成本状态空间构造算法,该算法支持选择成本优化的组合服务.实验分析了PPA用于Web服务组合成本建模和分析的可行性.     

Context-based matching for Web service composition

In this paper, we propose a novel matching framework for Web service composition. The framework combines the concepts of Web service, context, and ontology. We adopt a broad definition of context for Web services, encompassing all information needed for enabling interactions between clients and providers. Context-based matching for Web services requires dealing with three major research thrusts: context categorization, modeling, and matching. We first propose an ontology-based categorization of contextual information in Web service environments. We then define a two-level mechanism for modeling Web service contexts. In the first level, service providers create context specifications using category-specific Web service languages and standards. In the second level, context specifications are enveloped by policies (called context policies) using WS-Policy standard. Finally, we present a peer-to-peer architecture for matching context policies. The architecture relies on a context matching engine, context policy assistants, and context community services. Community services implement rule-based techniques for comparing context policies. Recommended by: Zakaria Maamar     

一种面向服务体系结构的服务组合方案求解方法*

面向服务体系结构的出现为分布式应用集成提供了一种解决方案,如何快速准确地指定具体服务或求解出服务的组合方案的问题尚待解决。根据对抽象服务的输入/输出等功能性属性的描述,完成了抽象服务组合流程建模,为了对抽象层粗粒度服务的求精,提出了一种基于语义Web服务和图规划技术的服务自动组合机制,该方法将Web服务映射为规划动作的形式化描述,形式化推理得出Web服务的组合方案。在具体的服务或方案选择上,利用服务相似度优化服务或服务组合方案的选取。最后通过模拟实验验证了该方法的有效性。     

基于Pi-演算的BPEL4WS Web服务组合形式化模型

Web服务组合研究领域的一个重要的问题是如何形式化描述Web服务组合,如何验证服务组合的正确性。Web服务组合的形式化模型来可以用来检查、验证Web服务组合以保证组合的正确性。Pi-演算是一种适合于Web服务组合建模的进程代数。本文介绍了P-演算的基本语法,针对目前最主要的一种描述和执行基于工作流模式的Web服务组合的规范-Web服务商业流程执行语言（Business Process Execution Language for Web Services,BPEL4WS）,定义了Pi-演算和BPEL4WS之间的概念映射,并给出了BPEL4WS的基于P-演算的形式化模型,最后通过一个案例给出了模型验证的方法。     

动态服务聚合流程定义元模型及其应用

适应Web服务的动态变化性是流程驱动的服务聚合研究的一个重要内容,传统的工作流建模思想必须加以改进以适应这一新的应用需求。本文引入了服务结点和服务群的概念,从服务聚合的过程维和资源维出发定义了服务聚合流程定义元模型。在此基础上,基于扩展的工作流网提出了一种新的服务聚合流程／资源描述模型WSCP／R-net,有效解决了现有的基于基本工作流网的服务聚合建模技术所不能解决的不确定路径选择和服务的动态变化性问题。文章以城市危机应急处理的Web服务流程构建为例说明了WSCP／R-net应用的有效性和可行性。     

支持Web服务组合与验证的形式化模型

针对Web服务的组合与验证问题,在范畴理论描述框架的基础上,引入进程代数描述服务组件的外部行为,为Web服务系统的架构描述建立了一种形式化的语义模型。Web服务作为范畴理论中的对象节点,服务间的交互和组合关系作为态射,从而以范畴图表的形式来描述服务网络。在形式化定义服务接口、Web服务、服务组合等概念的基础上,进一步分析讨论了服务组合和交互过程中的语义特性,给出了Web服务可替代性和服务请求可满足性的形式化定义。实例研究表明,该框架增强了Web服务架构的语义描述能力。     

组合Web服务分层安全模型研究

随着Web服务技术的应用与发展,组合Web服务的安全问题日益突出。已有的Web服务安全规范只是指定实现单独的自治Web服务安全需求应该遵循的协议,尚没有一个被广泛接受的组合Web服务安全体系架构。指出了现有的Web服务组合安全框架研究的不足,分析了组合Web服务的安全模型的要求。针对Web服务应用模式,提出了一种基于Web服务协议栈的组合Web服务分层安全模型(HSM-WSC),并对每个层的安全功能进行了论述。HSM-WSC模型具有灵活性和可扩展性,能够满足Web服务组合的安全需求。最后还给出了HSM-WSC模型的实施机制。