论文部分内容阅读
语义Web服务是将语义Web技术和Web服务技术结合起来,引入本体来增强对Web服务的语义描述,使得Web服务的描述成为机器可读和可理解,并利用语义的推理技术使Web服务的发现、组合和激发等行为高度自动化。当前的语义Web服务描述语言对服务的动态语义信息描述不足,缺乏对复杂Web服务的状态转换和行为约束的刻画,无法提供对服务动态行为和时序特性的推导。复杂的Web服务的行为经常是持续交互的过程,这种复杂的Web服务不是一步就可以完成的,它们要保持与其他Web服务或请求者进行持续交互,不断根据交互过程中的一系列中间状态做出反应,其反应行为常常要依赖执行当中的中间状态,表现出时序特性。当描述这样的(组合)服务或应用系统时,关注点不仅仅是简单地根据输入信息直接计算出输出的信息,而是关注这些(组合)服务是如何交互的,交互过程是如何根据产生的中间状态进行计算的。服务的规约不仅要说明在初始和最终状态中所需要保持的断言,而且也要描述中间状态,这些中间状态对于服务的下一步执行决策非常重要。为了使Web服务的发现、组合和验证等行为高度自动化和准确化,需要一种语义Web服务描述语言,支持丰富的Web服务规约描述,既能精确描述Web服务的相关领域知识的静态语义,同时又能刻画Web服务的状态变化、时序特性等动态语义,深入描述Web服务的各个方面,从而为服务的发现、组合等相关任务提供坚实的语义基础。本文中我们提出了一种描述框架来支持丰富的语义描述,以便更好地支持精确的Web服务的发现和准确的服务组合等任务。1.在Web服务的语义描述框架方面,针对单纯的静态语义信息描述存在的不足,对OWL-S的过程模型进行了动态语义信息描述能力的扩充,提出了Web服务语义描述语言OWL-DS,给出Preconditions和Efffects的明确语法定义,按照传统描述逻辑的语义解释给出了基于状态和状态转换的Web服务的动态语义解释。提出了三种基本推导服务:可执行性(Executability)、可投射性(Projection)和一致性(Consistence)。OWL-DS具有描述Web服务的动态和静态语义知识的描述能力。2.基于OWL-DS的Web服务描述,定义了Web服务之间的语义匹配计算,并根据语义匹配计算定义了丰富的匹配关系,为基于丰富语义的Web服务发现和组合奠定了的基础。同时将OWL-DS的语义匹配计算问题转化为传统描述逻辑的合取查询蕴含问题,以复用成熟的描述逻辑系统来支持语义匹配计算。3.在OWL-DS对动态语义的描述基础上,针对复杂Web服务的时序特性,进一步对过程模型进行了扩充,增加了特征谓词Assumption和Commitment,用于对Web服务的时序特性进行描述,扩充得到描述语言OWL-TDS。OWL-TDS描述中的特征谓词Preconditions、Effects用于刻画web服务的状态转移,Assumption、Commitment用于描述web服务的持续交互特性。4.提出了一种OWL-TDS到逻辑程序的转换方法,定义了相应的转换规则,将OWL-TDS描述转换成逻辑程序,将三个基本推导方法问题转换为逻辑程序的应答集的计算问题,证明了OWL-TDS基本推导方法与应答集之间的对应关系,以便利用现有的逻辑程序系统(如SMODLE、DLV)来支持OWL-TDS的服务描述和推导,从而可以确保我们的方法可以有效地应用于服务发现、组合、规划等的自动化工作中。