语义Web服务组合综述

语义Web服务的目标是,利用语义Web技术将Web服务的静态描述和动态行为与功能有机地结合起来,解决Web服务的自动发现、组合和执行等问题。语义Web服务组合是服务资源重用的一种重要方式,也是语义Web服务研究领域的一个重要内容,它以现有的语义Web服务资源为基础,通过服务组合为基于Internet的大规模复杂应用提供新的、更多的可用资源。首先对语义Web服务相关的基本概念进行归纳和总结,概述语义Web服务组合的研究内容和目标,然后根据语义Web服务组合中使用的方法学对其进行分类并分析这些方法的实现过程和特点,最后总结全文,指出下一步的研究方向。     

Spark平台下基于上下文信息的影片混合推荐

响应速度较慢和推荐内容与用户上下文信息匹配程度低是当前影片推荐系统迫切需要解决的问题。针对上述挑战,提出Spark平台下基于上下文信息的影片混合推荐方法。它利用分布式并行计算技术Spark进行加速,来提高系统对于海量数据的检索与计算速度,从而减少了系统响应时间。同时该方法将“上下文推荐”和“交替最小二乘的协同过滤（ALS）”融合成一种混合推荐方法,提高了系统的推荐精度。实验结果表明,所提出的混合推荐方法有不错的效果。     

一种DTD一致性的判定方法

DTD作为一种XML文档结构的模式语言得到了广泛的使用，它描述了相似的XML文档的结构。DTD的一致性是指对于一个给定的DTD，判断是否存在至少有一个XML文档满足DTD。在引入DTD一致性的形式化定义的基础上，分析了引起DTD不一致性的各种因素，提出了DTD一致性的判定方法。     

一种基于Agent的语义Web服务编制框架

针对动态、开放网络环境下复杂多变的业务需求,本文在前期语义编程语言SPL研究的基础上,提出一种基于Agent和本体的语义Web服务编制方法,形成一个以语义编程语言SPL为核心的、可适用于将语义Web服务与多A-gent技术无缝集成起来的,进行语义Web服务编制的技术框架。框架实现基于SPL开发和运行支撑平台,该平台为语义Web服务和软件Agent提供必要的运行支持。     

基于规则的语义流程异常处理机制

在语义编程语言SPL的基础上,提出一种基于语义Web服务的语义流程异常处理机制。首先,重点讨论了业务流程运行时调用语义Web服务失败和流程内部逻辑失败的情况,并给出相应的语义流程异常本体。在此基础上,提出了J种异常处理动作,制定了异常处理ECA规则。然后给出了相应的原型系统。最后结合案例讨论了该机制的有效性和可行性。     

基于Petri网的面向方面用况建模研究

将现有的在面向对象领域中的一些比较成熟的技术使用到面向方面领域是一个重要的研究方向.提出在需求分析时通过UML的扩展机制来进行面向方面的用况建模方法,阐述如何应用Petri网来对面向方面用况模型进行形式化,以增加用况模型的语义约束.通过一个在线外汇交易平台系统的建模实例,详细说明基于Petri网的面向方面用况建模方法,最后应用这种方法在需求分析阶段方便、有效地产生测试用例.实践证明,基于Petri网的面向方面用况建模方法取得了良好的效果.     

一种基于Mealy!机的语义程序验证方法

语义验证是束缚语义软件和语义程序设计语言发展的问题之一,针对这一问题,在基于语义Web服务的语义程序设计语言SPL及其知识库业务领域本体(BDO)的基础上,提出了一种基于Mealy!机对SPL所编排的业务过程进行语义验证的方法,结合在线外汇交易平台的案例,详细描述了运用该方法进行语义验证的过程。通过案例证明,本方法有助于编写语义正确的语义程序。     

一种基于多本体体系的语义Web服务访问控制方法

提出一种基于多本体体系的语义W cb服务访问控制方法。首先,基于分布式描述逻辑DDI,刻画了一种基 于桥接本体的跨域多本体体系,它为语义Web服务的访问控制提供了知识库;其次,在基于语义的访问控制方法基础 上,给出了适用于语义Wcb服务的访问控制模型;最后,设计了基于多本体体系的语义W cb服务访问控制方法及其 体系结构,并给出了该方法的案例应用。在语义Web服务的访问控制方法中,基于桥接本体的跨域多本体体系既为 各安全域的语义模型提供了语义关联,又保证了各安全域中语义表示的隐私性。