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

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

基于Pi演算的OWl-s的Web服务的自动组合

Web服务组合研究领域的一个重要的问题是如何形式化描述Web服务组合,如何验证服务组合的正确性。Web服务组合的形式化模型可以用来检查、验证Web服务组合以保证组合的正确性。针对目前最主要的一种语义Web服务组合的规范WEB本体论语言(Ontology Web Langage-Semantic,简称OWL-S),给出基于Pi演算的形式化描述,定义了Pi演算和OWl-S之间的概念映射,并给出了OWl-S的基于Pi演算的形式化模型,最后通过一个案例给出了模型验证的方法。     

基于情景演算的Web服务语义描述

Web服务是WWW发展的一个重要的趋势,Web服务的相关问题得到了广泛的研究和应用,Web服务的自动组合是其中一个热点。要实现Web服务的自动组合,必须对Web服务的语义进行形式化的描述。情景演算是一种形式化的建模和规划方法,利用情景演算对Web服务进行描述,能使自动组合结果更加快速和准确。在分析情景演算特点的基础上,使用情景演算对一个基于Web服务的会议行程安排系统进行了Web服务语义描述。     

Web服务组合综述

Web服务技术的快速发展使得利用Web服务组合来满足应用的需求成为可能。首先介绍了Web服务体系结构和两种有代表性的Web服务描述方式,接着着重介绍了当前主流的三大类Web服务组合方法并分析了各自的优缺点,最后指出Web服务组合研究面临的挑战。     

一种基于OWL-S的语义Web服务自动组合方法*

提出了一种基于OWL-S的语义Web服务自动组合的方法。该方法充分利用OWL-S的顶层本体结构,基于最小满意度阈值,从网络上获取满足要求的Web原子服务并将其存储在两个DAG图中;然后基于该图生成Web服务组合候选集;最后从该候选集中随机选取最终的Web服务组合。该方法在保证Web服务组合质量的前提下,实现了根据服务请求对Web服务的自动化组合。     

基于Pi-演算的信任Web服务组合建模

为了提高Web服务组合的可信性,利用Pi-演算刻画信任Web服务组合的结构及信任实体间的交互.首先,给出信任Web服务组合的抽象定义;然后,建立信任实体与Pi-演算的对应关系.借助Pi-演算的支持工具MWB对信任Web服务组合系统进行分析和推演,旨在Web服务组合信任认证实施之前发现并改正错误,以有效满足用户在信任方面的服务质量需求.     

基于OWL共享本体的动态Web服务组合

在自动的动态Web服务组合中,如何提高匹配成功率是个很重要的课题。本文认为,通过结合语义Web服务本体语言OWL-S和Web本体语言OWL,将语义引入Web服务组合,可以提高服务发现和匹配的效率,并可以方便地实现Web服务组合的自动化。本文给出了一个基于Java的实现平台,并在服务匹配过程中实现了基于OWL共享本体的服务匹配。     

Web服务的Pi演算描述

如何从已有的 Web 服务构造新的增值性的正确的 Web 服务,已成为研究 Web 服务的群体关注的一个焦点。因此,为了得到可靠的、高质量的服务,必须找到一种建模方法和工具,在 Web 服务投入使用之前,对其进行分析和验证。本文主要从过程代数的角度出发,用 Pi 演算来描述 Web 服务以及 Web 服务的组合。     

基于Pi演算的Web服务组合过程框架

文章从Web服务的编排、验证、部署角度提出了基于Pi演算的Web服务组合过程框架,说明了这个框架中每一步骤涉及的理论和工具应用。并在现有研究的基础上,针对框架中人工参与较多形式化验证环节提出了其向自动化、可视化方向发展的改进方法。     

基于图规划的语义Web服务自动组合方法

由于单个的Web服务功能有限,难以满足日益增长和不断变化的用户需求.如何根据服务请求者的特定需求进行服务的自动组合来满足用户的需要,就成为了一个迫切需要解决的问题.提出了一种基于图规划的语义Web服务自动组合方法,该方法在建立前驱与后继执行关系知识库的基础上,利用图规划的前向扩张思想和图规划解搜索思想,可实现从服务库中自动地找到满足用户需求的服务组合方案.该方法综合考虑了服务语义和服务组合的效率等因素,在保证Web服务组合质量的前提下,可根据服务请求实现服务的自动组合.最后用仿真实验从服务组合的成功率、效率和组合解质量三方面验证了该方法的有效性和可行性.     

图在自动Web服务组合中的应用研究

随着已有Web服务数量的不断增加,如何自动地根据服务请求组合服务成为当前迫切需要解决的问题.本文对服务组合问题进行规划建模,证明了该问题是NP完全的,提出了一种基于图的自动组合方法ASC-Graph,ASC-Graph分为组合规划图构造阶段和组合解搜索阶段.通过组合规划图构造,可在多项式级时间内判定服务组合问题的可满足性.在组合解搜索阶段,提出了一种启发式搜索策略.最后,通过模拟实验验证了ASC-Graph在解决大规模服务组合问题上的有效性.     

基于PDG图的分布式动态可执行服务组合方法

组合服务是将一系列Web服务协调地组合在一起,从而完成预期目标。组合服务按照其引擎分布可分为:集中式服务组合和分布式服务组合。分布式组合服务可以有效地解决集中式组合服务在系统可伸缩性、消息传输效率、自治性和有效负载均衡等方面的问题,将可执行全局流程等价分解成可执行本地流程,以及将服务组合和负载均衡结合集群概念,研究服务组合的QOS。这些将成为新的挑战,文中通过PDG图进行等价分解,并结合QOS,通过实验测试引擎负载,提出将负载均衡融入服务组合QOS研究思想。     

基于规则映射的Web服务自动组合

针对目前多数Web服务组合流程需要人工设计的问题,提出一种基于输入输出参数与规则关联映射自动构建Web服务组合路径的方法。该方法首先给出产生式规则库,并对输入输出参数本体建模,然后从用户给定的输入出发,建立输入输出参数与规则相关联的映射表,在映射表中由用户期望的输出开始回溯找出所有满足条件的组合路径,最后根据服务质量描述,选取最优的组合方案返回给用户。     

基于Petri网的Web服务自动组合研究

根据Web服务中消息和行为的关系,Web服务被描述为面向消息的基于行为Petri网模型(Moap)．该模型包括消息域和服务过程,前者是服务协同以及和用户通信的通道,后者是基于Petri网的Web服务行为过程描述．Moap支持组合服务的重用,可以很好地描述可用服务的并行调用,另外元消息机制也有利于服务的自动组合．在Moap基础上,定义了服务组合系统和服务的协同;给出了服务自动组合规则,并证明了其有效性和完备性．最后,通过一个实例直观描述了服务组合系统的工作方式．     

基于任务依赖信息的Web服务自动合成

随着Web服务的大量出现,Web服务的合成成为当前的一个研究热点.然而,目前大多数的合成语言规范,例如BPEL4WS和WSCI,都需要人工预先设计一个固定的执行流程,难以充分发挥Web服务自适应的特点.通过形式化描述单一的Web服务,建立了通过任务间依赖规范实施合成的方法,提出了一种具有柔性和自适应能力的工作流模型,实现Web服务的自动合成.同时,设计了合成的正确性验证算法以及动态补偿机制使提出的模型易于实用.     

基于细胞因子网络协同进化的Web服务合成方法

借鉴生物神经内分泌免疫系统的协同进化机制,基于细胞因子网络平台提出了Web服务的合成方法.在细胞因子网络调控下的生物实体代理Web服务,构成为一个带有条件的米兰机单元,Web服务的合成可以转换为米兰机进化过程.生物实体通过消息匹配和条件约束形成细胞因子网络,Web服务的合成通过生物实体细胞因子网络支持.在服务协同进化过程中可以动态调整其合成的服务,完成服务的动态自组织合成和管理等工作.仿真结果表明该方法在环境动态变化时具有适应性.     

非循环Web服务自动组合

针对不包含循环的web服务,提出了一种自动组合的形式化方法。由于web服务行为具有异步性的特点,而状态迁移系统能够恰当地描述这种异步通信,因此利用状态迁移系统来完成对非循环Web服务的自动组合过程。文章中阐述了这一自动组合算法,并通过具体的实例进行了详细解释。该自动组合算法能够解决手动组合非循环Web服务时出现的复杂性,易错性和耗时性等问题。     

基于Web服务的软件复用研究

软件复用技术是提高软件开发效率的重要方法,介绍了软件复用技术和Web Service的开放体系结构,提出了基于Web服务的软件复用方法,并针对如何确定Web服务的功能模块粒度提出了相应的解决方案。通过实际应用,证明了该解决方案能够有效地提高项目开发效率。     

电子商务领域本体下的Web服务自动组合实现

随着Web服务应用的不断发展,如何根据服务需求进行Web服务的动态组合,已经是一个急需解决的问题。本文利用电子商务领域本体建立了Web服务本体模型,提出了基于语义的Web服务动态组合体系结构和解决方法。架构包括服务描述模块、需求解析模块和服务组合模块。最后,给出了该模型在一个购物系统中的实现。