基于程序切片和服务构件的语义Web服务组合

文中利用程序切片技术,根据用户的请求,将目标细分成一个个单一的需求,利用程序切片对依赖图进行函数抽取,将服务中实际需要使用的功能抽取出来,形成更小型的原子服务,作为服务构件并纳入构件库,进行服务组合.同时通过使用Wordnet词典,对这些关联服务的信息进行语义上的匹配,进行服务的组合,生成可行的组合方案,然后实现组合服务的绑定并执行服务.通过引入服务构件的思想,提高服务组合的复用性、扩展性和针对性,提高了服务的使用效率,并通过Wordnet增强了服务的语义性,使服务组合更加智能化.     

基于生成树的Web服务组合模型

基于接口的服务组合思想并融合P2P技术,提出一种可组合广域范围Web服务的组合模型。根据领域本体及其推理能力,按Web服务的功能关系组织不同的生成树,依据生成树间的组合关系构造Web服务组合网,并给出一种高效的服务组合算法。大量模拟实验表明了该模型的优越性,即支持基于服务质量的Web服务组合,服务组合成功率高,Web服务发布、查找与组合时间快。     

基于WS-BPEL 的Web 服务组合技术

随着Web服务技术的不断发展,越来越多的Web服务已经发布在互联网上。然而独立的Web服务功能通常有限,不能满足用户或企业实际应用的需求。因此,Web服务的组合显得越来越重要。介绍了Web服务组合和WS-BPEL的相关知识,使用最新的业务流程执行语言WS-BPEL描述业务流程,在J2EE集成开发环境下设计并实现了基于业务流程思想的贷款审批应用实例,在Web服务执行引擎Active BPEL上进行部署,对Web服务进行了有效的组合。     

基于语义WEB的动态服务组合技术研究

本文描述了我们对动态服务组合技术的研究成果。本文首先对Web服务组合进行介绍;然后对Web服务组合给出形式化的定义,并对语义Web和OWL-S进行了分析;接着给出了一个基于语义Web的动态服务组合模型;最后讨论了存在的问题。     

基于Web服务组合技术的智能交通信息服务系统

Web服务结合可移动的数字设备、无线网络的应用,使得Web服务组合成为智能交通信息服务的一种有效地解决方案。文章主要介绍了智能交通信息服务系统的架构、Web服务组合和基于Web服务组合的智能交通信息服务系统。     

基于Web服务组合的业务流程集成

从分析现代企业面临的动态业务环境入手,提出了Web服务环境下的业务流程集成模型,阐述了基于Web服务组合进行业务流程集成的优点.在分析了Web服务组合关键技术的基础上,分别从业务流程描述语言、基于工作流的Web服务组合和语义Web服务组合三方面,综述了Web服务组合技术的研究现状,并指出了当前研究工作的不足.     

基于遗传算法的Web服务组合优化

近年来国内外学术界和行业界围绕着Web服务组合开展了大量的研究工作,这些研究都把重点放在Web服务组合功能的实施上,而对组合服务质量的研究甚少.在建立Web服务组合优化模型的基础上,将遗传算法引入到Web服务组合中去,提出了基于遗传算法的Web服务组合的优化方法,给出了构建基于遗传算法的Web服务组合模型和求解方法,从而可以提高组合服务的质量,并能够使Web服务组合满足个性化需求.     

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

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

基于参考网的Web服务组合模型

为了确保组合Web服务执行的可靠性,提出了基于Reference nets的Web服务组合方法。精确描述了Web服务的形式化语义,使用该方法对组合Web服务控制流的八种基本结构建立模型,并给出了建模步骤。结合应用实例使用Renew2.0.1建立组合服务模型并进行仿真,进一步验证了该方法的有效性。     

基于Petri网的Web服务组合建模

针对Web服务组合流程进行建模,可以实现可靠的服务组合。文中首先提出了一种基于Petri网理论的Web服务组合建模方法,对服务组合进行形式化建模,然后通过分析Web服务网的可迭性和活性对Web服务组合进行验证,最后举例说明此方法的应用。     

基于涟波下降规则的设计知识管理系统

自动化服务组合技术是程序生成方法在Semantic Web Services领域的一种应用.该文提取了服务的"输入"、"输出"、"前置条件"、"执行效果"、"执行功能",定义了服务的语义5元组.通过一个转换模版,把服务描述表述成一阶谓词逻辑公式,根据"证明与程序等价"的理论,利用自动化定理证明系统,完成从已有服务到目标服务的逻辑证明,从所记录的证明路径中提取目标服务的实现体,介绍了实现这一技术的原型系统.     

基于相对服务质量的Web服务集成策略

该文提出基于过程定义的Web服务集成模型,给出Web服务在服务群中相对服务质量的计算方法,为Web服务的集成过程提供选择依据。最后把Web服务集成抽象为多段图问题,给出采用动态规划的求解策略。     

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

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

基于Petri网的语义Web服务自动组合方法

Web服务组合使得开发人员可以快速地创建自己的应用程序.但是,随着Internet上可用的Web服务数目的增加,Web服务组合是一项高度复杂的任务.针对语义Web服务的自动组合问题,提出了一种既考虑服务输入/输出又考虑服务行为约束的自动组合方法.首先,注册服务被转化为一组Horn子句形规则,用户的输入和输出请求分别被转化为Horn子句中的事实和目标,从而将寻找满足用户输入/输出请求的合成服务问题转化为Horn子句的逻辑推理问题;然后,用Petri网来为该Horn子句集建模,T-不变量技术被用来判定是否存在满足用户输入/输出请求的合成服务;最后给出了两种算法来获取既满足用户输入/输出请求又满足用户行为约束的合成服务的Petri网模型.     

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

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

面向Web服务自动集成的目标描述语言

提出了目标驱动的Web服务自动集成协议栈来实现过程的自动建模;基于本体描述语言OWL,开发了位于集成协议栈最高一层的目标描述语言,来描述需要实现的目标、目标之间的关系以及实现目标的各种约束,并提出在目标描述中不一致的检测方法。目标描述语言是实现Web服务自动集成的第一步工作。     

基于回溯树的Web服务自动组合

在服务规则库的基础上,介绍了回溯树与完备回溯树的概念,并证明了其重要性质.提出了基于回溯树的Web服务自动组合方法.该方法采用分步分治的思想进行服务的自动组合:1) 针对用户请求的输出对象生成完备回溯树;2) 在完备回溯树中选取最佳生成源(生成路径);3) 将生成路径合成为可执行的流程服务.与已有的基于图搜索的自动Web服务组合方法相比,该方法极大地减小了搜索空间,避免了循环搜索,能够满足单目标和多目标的用户请求.仿真实验结果表明,该方法能够在大规模的服务规则库中进行快速的服务组合,从而满足用户请求.     

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

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

虚拟行业联盟中的自动Web服务组合

在网络经济模式下,为了应对不断变化的市场,企业提出在行业内组建虚拟联盟的思想。Web服务的出现,使得一个行业内部的复杂任务可以通过Web服务的动态组合得以实现。本文提出虚拟行业联盟平台模型和Web服务动态组合的算法,考虑到Web服务组合的执行过程中的异常情况,给出了Web服务操作的语义等价概念。