多Agent Web服务组合系统的设计

设计一种基于Agora系统平台的Web服务自动组合系统框架。使用主体 Agent 代表服务请求者和服务提供者,在论证该组合系统的高层模型的基础上,详细定义了不同类别Agent之间的通信和控制原语,并采用IndiGolog解释器和FaCT逻辑推理器等作为主要部件构建出具有逻辑推理能力的辅助Agora节点。实现了采用状态演算作为主要规划技术的服务组合系统。     

基于移动Agent的Web服务组合执行框架设计

对Web服务组合技术深入分析,从Web服务组合的控制执行层面入手,结合移动Agent的优势,提出一种基于移动Agent的Web服务组合执行框架。对于复杂Web服务组合,框架可将其分解成若干相互依赖的任务片,其中任务片对应一个线性的子Web服务组合,然后分配给多个移动Agent进行分布式执行。     

面向动态工作流的Web服务组合模型研究

把Web服务与工作流相结合,将Web服务作为工作流中的各项任务,通过Web服务的动态组合技术,建立面向动态工作流的服务组合模型。对Web服务描述进行了扩展,提出了一个基于层次结构的服务发现模型,支持Web服务开发与部署的分离,并通过Web服务的动态查找,对符合要求的可用服务器,引入服务评价函数,根据服务器服务份额、价格策略以及信任度等因素对服务器进行综合评定,实现复合服务在运行时的动态部署与绑定。并通过工作流引擎对各项子任务的交互与完成进行相应控制,最终实现Web服务的动态绑定模型的执行框架。     

基于Agent的Web服务集成模型与集成算法

针对现有Web服务集成方法在动态性、灵活性和智能性等方面存在的不足,提出一种基于Agent的Web服务集成模型,对模型中多Agent系统的组织结构和交互方式进行了设计。为实现集成服务整体的QoS目标,以一个通用的Web服务QoS度量模型为基础,将局部最优与全局最优的思想相结合,提出一种基于QoS的Web服务集成路径选择算法,通过实验验证了其有效性。     

基于移动Agent的服务组合的建模

采用形式化描述Web服务组合,从很大程度上推动了Web服务组合技术的实际应用。但现有的Web服务组合形式化建模方法在利用形式化工具时,均未很好地解决建模的层次性问题。为解决上述问题,提出了将Web服务组合问题映射为一个基于移动Agent的层次化服务组合模型,系统模型分为系统服务层和Agent层。模型设计充分体现了移动Agent的移动性、自主性以及系统层(移动Agent运行环境)的控制性。最后给出实例说明该方法。     

基于多Agent的Web服务异常处理模型

为有效解决Web服务中存在的各种异常,结合多Agent的特性,提出了一种基于多Agent系统的异常处理模型。该模型利用了Agent的协作性、推理和自学习的特性,使异常得到有效地捕获和处理。同时,也为用户提供了友好的异常提示信息,并保证了Web服务器信息的安全性。     

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

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

支持动态服务组合的Web服务三层组织模型

面对互联网上大量出现的Web服务，如何在动态异构环境中对它们进行组织和管理以便更轻松地构建出各种应用系统是一个亟待解决的问题．本文针对这一问题展开讨论，提出了支持动态服务组合的Web服务三层组织模型，分层次对Web服务进行组织和管理，从而提高了服务发现的效率，实现了灵活的服务组合和替换机制，更高效地支持动态Web服务组合过程．     

类型化的Web服务组合形式化模型

Web服务组合的正确性包括动态行为的匹配性和数据类型的一致性.本文定义了一个扩充的Pi-演算类型系统,同时利用该系统对BPEL4WS Web服务组合规范建立了一个类型化的形式化模型,通过该模型能够对Web服务组合的正确性进行验证.最后通过一个案例,给出了对Web服务组合动态行为的匹配性和数据类型的一致性的验证方法.     

基于Agent的Web服务研究

提出了一个基于Agent的Web服务,包括Web服务的描述语言,Weh服务的制定,中介Agent和Web服务的匹配。其目的是通过结合Agent和Web各自的优点,推动Web向一个新的方向发展。     

基于资源本体的Web服务发现与组合研究

将语义Web技术引入Web服务研究,提出一种基于资源本体的Web服务发现和组合方法。通过分析资源之间关系,建立了基于上下位资源查找的Web服务发现方法;通过分析资源与服务的输入输出关系,建立了一种逐级查找的Web服务组合方法。与基于关键字和Web服务语义的Web服务发现和组合方法相比,基于资源本体的方法能较好地满足服务查全率和查准率的要求,具有较高的组合质量和效率,非常适合与资源密切相关的Web服务。     

Web服务组合研究综述

面对激烈竞争并且多变的市场,企业迫切需要企业应用集成和电子商务技术的支持,以便提高自身的竞争力和适应性.Web服务组合是获得上述目标的一个重要途径.对相关基本概念进行了综合定义,概述了该领域的早期研究,从典型研究方向对当前的研究进行了分类介绍并分析指出了各自不足.指出应用对服务组合的具体需求,详细讨论了该领域内的两个关键问题:QoS和语义.最后,对研究进行了总结,并指出了下一步主要的研究方向.     

基于软件代理和上下文的Web服务合成方法

Web服务的诸多特性使得它非常适合于商务应用集成，工业界和学术界都希望能够通过合成多个Web服务从而获得增值的新服务。介绍两个概念以减少Web服务合成的复杂性：软件代理和上下文；并论述了在合成期间，软件代理之间进行会话以同意Web服务参与到合成中。     

基于Agent技术的Web服务研究

Web服务以其平台独立性和语言独立性等特征掀起了一场网络技术架构的革命,随着应用领域的推广,人们对Web服务本身提出了更高的要求。本文提出了三种基于Agent技术的Web服务框架,使得Web服务能够为用户提供更高质量的、更完善的服务。     

基于PDDL的Web服务自动组合的描述

在Web环境下,如何有效地根据用户请求,进行Web服务的自动组合,成为一个迫切需要解决的问题.提出了一种利用人工智能的规划问题,对Web服务及其组合进行形式化描述以实现服务自动组合的方法.说明了基于智能规划实现服务自动组合的思想,讨论了智能规划的标准描述语言PDDL与Web服务的对应关系,最后建立了一个实际的模型.     

基于代理和BPEL4WS的Web服务合成与实现

Web服务的交互和实现被推荐通过软件代理来实现.Web服务目前还不能很好地支持动态、自适应的服务组合和分布式业务流程.软件代理在建模、知识表达和交互等技术上的优势,能够强化Web服务的交互和动态应用能力.基于代理和面向流程建模的BPEL4WS,可以实现Web服务面向业务应用的合成与执行,支持多个协同的业务流程及其动态配置.系统分析了代理、BPEL4WS和Web服务整合的技术与实现方案,利用JADE平台开发了相关的测试模型,并且以网上拍卖为案例,验证了所提方案及实现.     

一个集成的Web Services安全模型

现有Web Services安全技术相对独立,而在一个完整的应用集成方案中,需要全面的安全设计.提出了一个集成的Web Services安全模型,形式化定义了模型并给出了主要实现技术.模型实现了基于证书的统一身份认证、基于角色的访问控制以及安全的SOAP消息传输,具有开放性及动态适应性.基于提出的安全模型开发了一个原型系统,运行结果表明,能够达到上述三种安全目标,使整个系统相对单一的安全技术应用更加安全.     

基于多agent协同的Web服务复合系统研究

主要研究和设计了一种基于多agent协同的Web服务复合系统(CoWEB).通过对"Web服务复合"这种新型分布计算应用模型特点和需求进行分析,提出了使用agent构建CoWEB系统的优势.接着,通过对CoWEB系统三个功能层的主要结构设计,以及系统整体特点的论述,表明该系统能较好地适应Web服务环境,并能较好地解决Web服务特有的异构、自治和动态性问题,得以实现可靠灵活的Web服务复合应用.     

基于服务关系图的Web服务组合算法

在Web服务组合过程中,保证服务质量的组合服务建模成为关键问题,为此,提出一种基于服务关系图的Web服务组合算法。首先根据Web服务的接口描述,将服务集构造成为服务关系图,从而获取Web服务间的输入/输出依赖关系。同时在用户需求基础上,将服务关系图中的服务操作节点与数据节点分别形式化为与节点及或节点,从而将服务关系图形式化为与/或图。最后,对与/或图反复应用搜索算法,直至查找到满足用户需求的最小成本组合服务模板。通过仿真实验评估了服务关系图与用户请求两者在复杂度变化的情况下搜索算法的性能,并验证了算法有效性。     

智能Web服务及其元模型驱动的开发环境

当前的Web服务尚没有充分的语义支持,无法支持动态的面向服务组合与协同.提出了智能Web服务的参考元模型,强化其语义支持的交互与推理能力,并仔细探讨了服务的内部结构及其实现.基于这一模型,开发了一套集成开发环境,并以此来验证模型的可行性.