面向业务领域基于智能规划的web服务组合

为了提高基于智能规划的web服务组合的效率,提出了一个面向业务领域的web服务组合的智能规划算法.该算法通过所提出的包含资源间关系、资源动作间关系以及动作和动作间关系的业务关联关系模型缩小规划问题的搜索空间,将所提出的目标距离作为启发式规则以提高规划的效率.与其他的基于智能规划的web服务组合算法相比,该算法不仅解决了web服务组合问题向智能规划问题的转换,同时也解决了如何将web服务组合的业务特点应用于智能规划中以提高规划效率的问题.最后,实验证明了所提出算法的有效性.     

基于公共本体的高效语义服务发现(英文)

为解决集中式服务发现结构存在的性能瓶颈问题,基于领域本体语义信息,提出一种能自适应地调整领域划分、分配系统资源的分布式web服务发现体系结构,并分析了该结构的可扩展性、自组织性和自适应性.具体描述了该结构下的语义web服务发现算法的2个阶段:语义注册中心定位和基于输入输出的服务匹配.在注册中心组成的平衡树拓扑结构中,注册代理能够快速将请求转发至目标注册中心,避免产生性能瓶颈.然后,通过引入一种新的基于语义距离的服务匹配算法来进行服务查询效果优化.模拟实验结果表明:提出的服务发现方法具有高可扩展性的优点;与其他服务查询算法相比,服务匹配算法具有更高的查全率和查准率.     

一种基于领域本体的语义Web服务动态组合方法

面对Web环境下日益增加的Web服务,如何自动地根据服务请求进行服务的动态组合,成为目前研究的热点技术。提出了一种基于领域本体的动态组合方法,并且设计了一个框架模型,该模型利用领域本体以及语义技术支持服务的自动发现、调用、组合。该方法综合考虑了服务的语义支持、领域特性、服务的自动组合。     

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

随着信息技术的不断发展和语义web技术的日渐兴起,充分发挥语义web技术用于延伸web服务在语义注解方面的功能,通过多种语义web服务来消除单独语义web服务的局限性,同时为客户提供最佳的语义web服务,是语义web服务的主要研究方向.但是,在目前已有的语义web服务组合方法中,却并未较好的结合主体agent技术.为解决这一问题,应该利用一种基于主体的语义web服务的自动组合方法,通过利用主体之间的相互协作从而实现语义web服务自动组合的目标.本文主要通过分析主体技术及语义web服务的关系来说明两者结合的可行性,从而使计算机在能理解服务的基础上进行准确快速的查找服务及自动组合.     

基于本体推理及语义相似度计算的服务匹配算法

WEB服务匹配在服务自动组合及服务智能化动态组合中具有重要的意义.而服务匹配算法决定高效、快速服务匹配的的关键因素.本文在本体推理匹配算法以及相似度度量算法的基础上提出将两者结合起来的服务匹配思想.并通过实例说明服务匹配的实现过程.实践证明,该匹配算法能有效缩短服务匹配时间,提高服务匹配效率,为语义网环境下的服务匹配实现提供了良好的技术支持.     

面向数字化学习支撑环境构建的Web服务组合方法研究

尽管Web服务技术为异构数字化学习支撑软件集成提供了一种可行的方案,但是目前,尚没有一种有效的服务组合方法.本文提出了一种基于本体的面向数字化学习支撑环境构建的服务组合模型和方法,该方法对服务进行扩展的语义描述,基于本体推理,通过参数合并的方法推导服务的语义关系;同时为服务的语义描述加入服务质量信息,通过均衡考虑服务的功能性和非功能性需求来提高服务组合的质量,有效地解决了服务组合中存在的语义异构问题.此外,本文给出了面向数字化学习环境构建的本体库和服务库的建设方法,该方法参考数字化学习标准与规范中的领域术语,快速地构建适用于数字化学习的本体,为服务组合提供推理依据.最后,给出采用所提出的方法构建教育资源管理服务的应用实例,通过与其他组合方法的对比实验,验证所提出方法进行服务组合时具有更好的性能和效率.在实际应用中,本方法可以快速、准确地组合出用户满意的服务,有效利用现有的服务资源,解决数字化学习支撑软件集成中的资源浪费问题.     

基于语义技术的Web服务组合方法研究

针对近几年在语义web服务自动组合上的研究成果,深入归纳和总结了目前语义web服务组合的定义、组合方法以及正确性验证技术。对语义web服务组合问题进行分类和形式化定义,并归纳出语义Web服务自动组合框架。按照不同问题分析和比较相关的组合方法,同时总结了组合方案正确性验证技术。最后,根据前面的分析和总结,提出了语义Web服务自动组合当前面临的问题和挑战。     

通用本体学习框架研究

提出了一种通用本体学习框架GOLF,通过对网络上各专业领域web文档集进行挖掘来实现本体自动构建,讨论了本体学习中本体概念的抽取、概念之间语义关系的抽取和分类体系的自动构建等关键技术,通过实验对算法进行了测试,并对本体评价方法进行了探讨.由于集成了多种机器学习算法,该方法在概念抽取和语义关系学习方面具有更高的准确性.采用通用本体WordNet和HowNet作为语料库,它可适用于不同的专业领域.同时,通过按需获取web文档,该方法能实时生成本体.     

基于语义相似性的web服务选择

基于语法匹配的服务发现无法适应web的开放性和动态性环境.为了对语法匹配产生的web服务候选集进行二次选择,提出一种基于语义相似性的web服务选择方法.该方法首先定义了包含QoS和上下文的web服务本体.服务本体提供了一个接口描述的通用术语集合,以此作为服务描述的语义支撑.然后,通过相似理论和web服务本体计算web服务接口之间的语义距离.与已有的方法相比,由于提供了概念化的形式语义说明,web服务的接口能在本体下得到准确的解释,同时服务选择的效率和准确性得到了改进.     

Web服务组合规范WS-CDL的类型化形式化模型

为了形式化地推理和验证web服务编排规范WS-CDL所描述的web服务组合,提出了一个WS-CDL规范的类型化形式化模型——typed abstract WS-CDL.在typed abstract WS-CDL中,定义了类型和会话的语法、类型判定规则和操作语义;web服务间的协作由会话来描述;利用会话的操作语义能对web服务编排的执行进行推理;利用类型判定规则能检查web服务间交换信息类型一致性并捕获由于类型不一致导致的运行时错误.特别地提出了类型假设集的外延和类型假设集相容性的概念,并定义了类型假设集的合并算法以消除类型假设冲突.在该模型基础上,还定义了从choreography到orchestration的类型化映射规则,通过这组规则,可以从一个给定的web服务choreography得到orchestration桩代码及其类型假设集,因而web服务组合能在choreography和orchestration层被验证.提出的模型被证明具有类型安全性,并且通过一个案例分析说明了所提出的模型是有助于对web服务组合进行推理和验证的.     

基于模拟退火算法的QoS约束web服务组合

针对web服务组合中选择服务需感知服务的QoS属性问题,采用向量表示法描述原子服务及组合服务的QoS属性和用户提出的多项全局约束,把寻求满足多项非功能属性约束的最优服务组合问题转化为在有向图中搜索最优多约束路径问题,采用有向图对组合服务建模.设计了多QoS属性约束的服务组合模拟退火算法,进行组合服务QoS属性的归一化处理和二次寻优.实验结果表明该方法可求得满足各项QoS约束的可行解,模拟过程显示该算法以多项式时间复杂度选出近似最优解.     

基于贝尔曼动态规划的服务恢复决策方法

基于面向服务的架构（SOA）,针对可控分布式信息系统中服务的特点并借鉴服务组合思想,详细分析了信息系统的典型服务过程,提出一种基于贝尔曼动态规划的服务恢复决策算法.通过逻辑层网络自组织和评价标准制定2个步骤,将服务恢复过程中恢复决策问题转化为人工智能领域的规划问题,并对此规划问题使用贝尔曼动态规划算法,解决了确保服务质量（QoS）的前提下,最优服务恢复方案制定与应急响应路径选择问题.仿真实验验证了方法的最优性与合理性,算法复杂性理论分析及与传统方法的性能对比均表明了该方法的高效性.     

Function oriented service composition modeling

Formal models for service composition have been proposed with the variation of the requirements of service developers. Some famous models have provided checking and verification techniques and tools for the behavior of service composition. These models generally focus much on the message flow of web services and neglecting the data contained in the exchanged messages among services, which restrict the application range of these models and also the web service techniques. As new kind of services with different protocols and communication methods have appeared, it is needed to model service composition from a new view which is adapted to the new development in service area. In this paper we offer a function oriented model of service composition which treats the composite service as a software system and specify the function of services which can be directly used to the realization by service providers.     

利用语义约束实现用户个性化的服务组合算法

为了提高服务组合的质量和效率,提出了一种基于语义约束的服务组合算法.算法中,首先利用2层语义匹配算法对用户需求和服务库中的服务进行比较,利用用户约束性个性化需求对符合匹配的服务进行筛选,从而在第一时间缩小了服务组合算法执行过程中服务的搜索空间,然后对候选的服务组合组件进行用户趋向性个性化需求计算,选择其中最符合用户个性化需求的服务构成最终的服务组合.通过仿真实验证明,该算法有效提高了服务组合算法的运行效率,并且保证了用户的个性化需求得到最大满足.     

基于语义的web服务匹配算法研究与实现

随着Internet信息的迅速增长,快速而有效地查找网络信息成为获取网络信息的基础.为了实现高效查找web服务,提出一种基于语义的三阶段匹配算法,首先对web服务进行基于关键字的分类筛选,然后实现web服务基于语义的功能匹配,最后实现web服务的非功能匹配.实践证明,该算法能够提高web服务匹配效率.     

一种基于本体的语义信息集成方法

针对信息集成中的语义异构问题,提出了一个基于本体的语义信息集成模型OSII,并给出了逻辑框架.OSII采用混和本体方式建模,以OWL描述本体,通过局部本体与全局本体之间的映射获得多源统一视图.提出了一种基于树结构的多策略本体映射算法,该算法包含4个步骤,即预处理,名称映射,子树映射和映射矫正.其特点在于:按照数据类型分类进行映射,并采用启发式规则,提高映射效率;同时考虑概念的语言相似性和结构相似性,提高相似度计算的准确性;采用迭代矫正,最终得到正确而完整的映射对.通过一个挑战性的实例说明了算法的有效性.OSII能很好地解决信息集成中的语义异构难点,实现多信息源之间的互操作.     

一种无回溯Web服务动态组合方法

可以把Web服务描述为一个关系,把Web服务的组合过程描述为关系间的运算．据此阐述了Web服务组合的关系模型,给出了相关定义,分析了一种用于消除合成语义冲突的领域级本体,给出了一种输入闭包的优化过程;通过建立服务组合序列,描述了Web服务组合方法,该方法简化Web服务的合成,具有无回溯、易于优化和易于实现的优点．     

Function oriented service composition modeling

Formal models for service composition have been proposed with the variation of the requirements of service developers.Some famous models have provided checking and verification techniques and tools for the behavior of service composition.These models generally focus much on the message flow of web services and neglecting the data contained in the exchanged messages among services,which restrict the application range of these models and also the web service techniques.As new kind of services with different p...