基于动态描述逻辑的语义Web服务PE匹配算法

将基于描述逻辑断言构成的PE描述公理的有限集合看作一个本体知识库,因此有关PE的语义匹配问题就转化到两个基于描述逻辑的本体知识库之间的逻辑蕴含判定问题,然后将逻辑蕴含推理问题转化为本体库的可满足性检测问题,并通过可判的扩展算法解决,同时对匹配结果进行有意义的排序及分类.所提方法与现有方法相当的情况下,具有更高的查全率,能够更好地区分匹配结果.     

基于事件本体的Web服务动态组合

提出了一种基于事件本体的Web服务动态组合方法.将服务与事件本体中的事件类进行映射,组合服务即是本体中的复杂事件类,服务请求即是一个事件的实例化.用户输入服务请求以后,可以通过事件本体的推理,找到用户请求对应的事件类;再根据事件本体中的事件间关系进行推理,找到它的组成事件类或者后继事件类,从而得出服务和服务之间的关系和交互;最后根据组合规则执行服务.实例验证该方法是有效的和可行的.     

基于描述逻辑的语义Web服务动态复合推理和验证

描述逻辑具有良好的知识表示能力和强大的推理能力,AI规划具有良好的行为状态变化建模能力。将描述逻辑与AI规划相结合,提出一种基于描述逻辑的语义Web服务动态复合机制,并对其进行逻辑证明。     

基于Agent的语义Web服务框架及其逻辑描述

通过研究Agent技术与语义Web服务技术在应用中结合的方式和Agent在语义Web服务技术体系中需要扮演的角色,以及Agent与语义Web服务结合的具体实现,提出了一种基于Agent的语义Web服务框架。在此框架的原理基础上,利用扩展逻辑C＆L意图理论描述了框架中Agent的工作过程以及语义Web服务的内容。     

基于描述逻辑的语义Web本体研究

语义Web出现的目的就是为了解决机器和人对知识的理解的问题,首先需要解决的问题就是计算机对知识的理解问题,只有计算机理解了所建立的知识,才能在此基础上展开推理服务。首先讨论了传统知识表示方式的缺陷,然后对本体论的逻辑基础———描述逻辑进行了研究。由于OWLDL和描述逻辑的一致关系,因此使用OWLDL来表示本体。介绍了描述逻辑推理系统RACER。最后提出了解决本体层知识表示方法的解决方案。     

基于扩展投影时序逻辑的组合Web服务描述与验证

针对编制方式生成的组合Web服务需要用一个工作流引擎执行这个特征,对投影时序逻辑进行了扩展,并用扩展投影时序逻辑描述和验证组合Web服务.将组合Web服务视为一个基于过程的工作流,将工作流引擎与组合Web服务组成部分的一次不可分割的消息交互抽象为一个原子过程.用扩展投影时序逻辑公式描述原子过程,用扩展投影时序逻辑操作符定义过程组合规则、连接过程描述公式,得到组合Web服务描述公式.通过模拟组合Web执行,可验证组合Web服务满足系统的需求和性质,为提高组合Web服务设计的可靠性提供了依据.     

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

在考虑服务语义匹配和服务质量(Quality of Services,QoS)的基础上,利用子服务间及其内部低耦合高内聚的特性,提出了一种基于语义的Web服务组合算法.该算法定义了用户关注度(Customer Attention,CA)和最优信息组(Optimal Information Group,OIG),充分利用语义本体的特性,从信息和QoS两个方面筛选最优原子服务集,从而提高服务的查准率与查全率,增强与用户的交互能力.     

一种支持用户偏好的语义Web服务组合算法

Web服务组合是Web服务系统架构的重要组成部分,语义Web技术的出现使智能Web服务的实现成为可能。随着服务数量的指数级增长,支持用户偏好的服务质量度量技术在Web服务架构中发挥着越来越重要的作用。本文在现有的语义Web服务组合技术的基础上,提出基于服务质量度量的一种支持用户偏好的语义Web服务组合方法,在完成用户服务请求的同时,能够更好地满足用户的个性化需求。     

基于OWL本体和描述逻辑的Web服务匹配模型研究

在WWW世界中,为了获得更多的优质服务。必须提供一种高效的服务发现机制。而要进行有效的服务发现,需要提供一种合理的服务匹配模型及相应的匹配算法。在总结了传统的UDDI标准所存在缺陷的前提下。重点提出了一种Web服务匹配模型．该模型通过本体来增强服务描述语义,将本体与描述逻辑有机结合起来。克服了传统UDDI标准在语法级基于关键字搜索的缺陷．提高了服务匹配能力。讨论了匹配模型各模块的功能。同时提出了一种基于OWL的本体创建方法。     

一种基于关联匹配度计算的语义Web服务匹配方法

在现有的语义Web服务匹配方法基础上加入服务语义关联匹配度计算,从而提出一种改进的语义服务匹配方法。该方法通过语义关联将一对一匹配淘汰的服务进行组合来实现一对多的服务匹配,在得到的候选服务和候选服务集中进一步计算Web服务的匹配度,经过匹配度的排序,得到最佳匹配度的服务。该方法避免了仅从单一接口参数上进行语义服务匹配,能在一定程度上提高匹配的效率,实现查准率、查全率和查询效率之间的有效平衡。     

基于流演算的语义Web服务组合研究

针对现有语义Web服务组合方法未考虑到互联网环境的动态性及Web服务的随机性问题,提出采用流演算理论对语义Web服务组合进行研究.首先将Web服务的输入、输出、前提和效应映射为基于流演算的动作形式化描述; 然后定义将OWL-S中的原子过程和复合过程向流演算转换的规则; 再根据提供的Web服务组合目标,利用形式化地推理来得出Web服务的组合序列,从而能动态地形成正确有效的Web服务组合方案.最后,通过一个会议安排实例验证上述理论,结果表明该方法是可行的.     

Web服务组合中基于服务质量的服务选择算法

为了提供满足客户服务质量（QoS）需求的组合Web服务，提出了一种支持QoS属性描述的Web服务描述模型．通过在原有的Web服务描述语言的tport元素中添加operationInst属性来描述QoS属性，从而获得了一种可扩展的Web服务描述语言．在此基础上给出了基于多目标决策理论和分形理论的服务选择算法，该算法考虑了QoS属性之间的不可公度性和独立性，同时给出了QoS驱动的服务组合框架（E-WsFrames）和具体实现方法．实验结果分析表明，E-WsFrame可以综合考虑服务组合的功能和QoS的要求，并可根据服务请求自动地实现组合服务．     

基于Agent的Web服务组合研究

提出了一个基于移动Agent的服务组合框架（MAWSCF）。引入计划（P）,用于描述Agent的逻辑行为,同时给出了过程匹配规则,将组合规范转换为P。在运行过程中,行为匹配算法将P解释为Agent的物理行为,从而实现组合服务任务。MAWSCF使用对等计算（P2P）的模式克服了传统服务组合系统中心控制的性能瓶颈,Agent通过克隆能够并行的执行目标组合任务中的多个分支,大大提高了效率,也有效地降低了网络的负荷。     

Efficient Composition of Semantic Web Services with End-to-End QoS Optimization

The efficiency of QoS-aware service composition is important since most service composition problems are known to be NP-hard. With the growing number of web services, service composition is like a decision problem on selecting services or/and execution plans to satisfy the users' end-to-end QoS requirements (e.g. response time, throughput). Composite services with the same functionality may have different execution plans, which may cause different end-to-end QoS. This paper presents a model combining semantic data-links and QoS, which leads to an efficient approach to automatic construction of a composite service with optimal end-to-end QoS. The approach is based on a greedy algorithm to select both services and execution plans for composite services. Empirical and theoretical analyses of the approach show that its time complexity is O(mn²) for a repository with n services and an ontology with m concepts. Moreover, the approach increases linearly in time when using an index to search services in the repository. Tests with a repository with 20 000 services and an ontology with 300 000 concepts show that the algorithm significantly outperforms current existing algorithms in terms of composition efficiency while achieving optimal end-to-end QoS.     

一种支持Web服务合成的行为建模方法

Web服务之间所蕴含的语义依赖关系,是面向自动Web服务合成的行为建模的关键。基于服务调用的历史信息,通过不动点函数演绎推理出Web服务之间依赖关系的方法,并给出了基于图模型构建服务合成的行为模型的方法以及服务合成向导的方法。实验表明,在一定的数据量内,建立服务合成行为模型的性能呈线性变化,给出的方法是可行和有效的,可以作为自动Web服务合成的支撑技术。     

一种费用最廉的Web服务动态组合算法

针对现有组合服务选取的算法因其复杂度太高而难以在实际环境中应用,提出了一种 Web 服务动态组合优化算法.该算法利用最优化原则在服务组合图中求解一组执行费用最廉、满足用户需求的 Web 服务.