一种基于扩展有限自动机验证组合Web服务的方法

为简化并自动化组合Web服务验证,提出一种基于扩展有限自动机(extended deterministic finite automata,简称EDFA)验证组合Web服务的方法.使用EDFA可以准确地描述Web服务:EDFA的状态表达Web服务在与用户交互的过程中维护的状态;EDFA的状态转移及其标注描述Web服务与用户间的消息交换.EDFA给出Web服务交互过程的所有消息交换序列,刻画出Web服务的动态行为.使用基于EDFA的组合Web服务验证方法不但可以验证组合Web服务是否满足系统需求,还可以验证组合Web服务运行过程是否有逻辑错误.与其他方法相比,该方法更适于验证开放式环境下的组合Web服务.     

一种基于语义消息的Web服务组合方法

在重用现有Web服务的基础上,通过服务组合形成新的、功能增值的服务是语义Web服务领域的一个重要研究内容.本文在Web服务语义描述框架的基础上,提出一种基于语义消息的Web服务组合方法,该方法定义了能够描述不同服务输出、输入消息之间对应关系的语义消息,能够业务逻辑上紧密关联的Web服务有机的组合在一起,从而为Web服务组合者以及面向服务的应用开发人员提供一种简单、直观的组合方法.     

语义Web服务组合中的服务建模及规划算法

Web服务的语义建模是指对Web服务的属性、功能和结构等进行语义描述,使用户能够对服务自动地定位、选择、使用和组合.本文以动作理论和描述逻辑为基础对服务的逻辑层信息(控制流和数据流)进行语义建模,用带前提和结果的原子动作描述简单服务,复杂动作描述组合服务的控制流,服务间的依赖关系描述数据流,并提出一个基本的Web服务自动组合框架.在该框架中,Web服务自动组合被划分为逻辑层和实现层2部分,于是服务的自动组合问题在逻辑上归结为一个动作规划问题,在实现上归结为一个根据动作选择具体服务的服务选择问题.最后给出一种新的自动组合规划算法,该算法充分考虑了语义推理和智能规划的结合,在对问题的描述能力和运行效率上做了较好的平衡.     

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

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

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

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

一种基于体系结构的Web服务组合描述方法

Web服务组合能够快速开发复杂的Web服务,以促进Web服务的增值。在分析并比较现有的Web服务组合方法的基础上,提出了一种形式化和工业化方法相结合的Web服务组合描述方法。针对Web服务及其组合的特点,研究了基于体系结构的Web服务组合描述方法,采用扩展的XYZ／ADL定义Web服务及描述其交互的连接件,最后结合一个实例描述Web服务组合的工作方式。     

一种基于服务过程行为的Web服务发现方法

现有的web服务发现方法主要是基于集中式拓扑,并且使用的服务描述仅仅是描述服务接口功能而忽略了过程相关信息。这无法保证服务组合的相容性,也无法满足组合事务无死锁的要求。同时,这些方法都无法避免高维护代价、单点失效和可扩展性差等问题。本文提出一种基于结构化对等网络的Web服务发现方法,引入确定性有限状态机DFSA,将服务过程行为描述用于服务匹配,从而避免了潜在的Web服务组合不相客和有利于服务组合的自动化。     

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

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

基于聚类Web服务的组合服务模式规约*

Web服务组合是提高服务质量的实用方法,但如何实施有效的服务组合一直是研究的难点。基于此,提出了一种通过建立组合服务模式规约来验证服务组合有效性的方法。依据经过聚类后各个类别服务间的关联性关系分析,首先提出组合服务模式的概念和确定其方法、原则;然后给出Web服务中组合服务模式规约;最后通过使用组合服务模式规约,应用飞机订票的实验验证了Web服务组合的有效性。     

基于有向层次图的Web服务自动组合方法

为解决多输入/输出的Web服务自动组合问题,提出了基于有向层次图的Web服务自动组合方法,主要步骤如下：1）根据用户请求的输入/输出参数集生成有向层次图;2）在有向层次图中构造完全规约图;3）在完全规约图中计算每一顶点的所有可达路径;4）为用户请求选择最优路径,并转化为Web服务组合序列。该方法能够求得最短步数内的所有Web服务组合序列,根据Web服务的服务质量(QoS)获得最优的组合序列,从而满足多输入/输出的用户请求。与基于图的Web服务组合方法相比,减少了搜索空间,适用于大规模的Web服务库。     

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

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

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

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

面向用户主导问题求解环境的服务组合方法

为提高服务组合的即时性,适应用户业务需求的变化以及服务资源的动态和异构性,提出一种适应用户主导问题求解环境的服务组合方法。探讨了维护服务交互关系的相对稳定性的策略,提出了基于服务相容性的服务聚类规则,基于聚类服务关联图的组合模板构建方法及其最优性的保障手段和组合模板的具体化方法。实验结果表明,该方法可提高服务组合的即时性和适应性,提高服务组合的时间效率。     

基于工作流模板的Web服务组合模型研究

服务组合是Web服务应用的一个重要研究方向,利用工作流与服务组合的相似性,提出了一种基于工作流模板的Web服务组合模型;该模型利用功能语义在服务匹配上的优点,对流程、服务进行较为准确的查询;并通过Agent技术来执行组合方案;最后结合服务发布算法,将组合后的服务和流程发布在注册库中.     

基于主体的语义Web服务自动组合研究

语义Web服务要解决的一个主要问题就是如何实现服务组合自动化.主体技术因其智能性、自主性等特点在解决语义Web服务组合问题中具有较大优势.通过分析语义Web服务组合研究现状,分析主体、语义Web与Web服务的紧密关系,论证了基于主体的语义Web服务的可行性并描述了基于多主体的Web服务组合平台架构.介绍了基于主体技术的语义Web服务组合技术,将服务组合看成是一个多主体环境下的规划问题,给出语义Web服务作为主体动作子类的形式化定义,并针对服务组合问题增加限定条件,定义服务之间的5种关系,试图从逻辑角度,以描述逻辑为基本工具,突出服务的动态性与交互性.最后利用主体的目标规划以及基于描述逻辑的有效推理,给出了服务的自动组合算法.     

一个基于Petri网的Web服务组合模型

作为企业应用集成的重要手段，Web服务组合需要建立可靠的表达和分析方法。因此，基于Petri网技术定义一个Web服务组合模型，将组合Web服务的要索映射到Petri网结构。利用Petri网提供的分析技术，辅助复杂业务流程的建模，并分析验证其正确性和性能。     

Web服务组合的可靠性动态评估模型*

为了合理、高效、动态地评估Web服务组合的可靠性,为服务请求者提供高质量的组合服务,提出了一个Web服务组合的可靠性动态评估模型。该模型对服务提供者发布至UDDI注册中心的Web服务进行语义预先处理,根据语义Web服务间的逻辑组合关系,基于预推理技术构造Web服务的自动组合框架,提出了Web服务的自动组合算法,建立Web服务组合方案的路径结构;利用随机Petri网对满足服务请求者需求的服务组合路径结构进行可靠性建模,结合在线获取的Web服务可靠性信息,对Web服务组合的可靠性进行动态评估。实验示例结果分析表明,提出的模型能确保Web服务组合方案的有效性和提高服务组合的效率,对Web服务组合的可靠性评估具有较强动态性和灵活适应性。     

基于进程代数的Web服务合成的替换分析

Web服务合成是Web服务研究领域的热点问题,Web服务的替换与Web服务合成密切相关且对于Web服务合成系统的健壮性有重要作用.使用进程代数作为形式化的工具描述Web服务,对合成中的行为特征进行推导,分析由于异步交互对Web服务合成设计与实现产生的影响.在此之上,基于服务合成正确性的定义,提出一种一致性关系,若新服务与将要被替换的参与合成的服务之间存在这种关系,那么替换后的服务合成仍然是正确的,并且替换是上下文无关的.     

基于领域本体的Web服务动态组合

随着Web环境下服务数量的快速增长,如何自动地根据服务请求,进行服务的动态组合成为一个迫切需要解决的问题,该文提出了一种基于领域本体的服务动态组合方法,该方法利用领域本体及其推理能力,生成一个优化的服务组合图,然后基于该图给出了一个高效的服务组合算法．与已有的方法相比,该文的方法综合考虑了服务语义、服务组合的质量和服务组合的效率等因素,可以自动地根据服务请求实现服务的动态组合．同时保证了服务组合的效率和质量．