浅议基于动态语义的web服务描述

《浅议基于动态语义的web服务描述》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、复旦大学博士学位论文基于动态语义的web服务描述姓名：江志雄申请学位级别：博士专业：计算机软件与理论指导教师：钱乐秋20080410摘要语义Web服务是将语义Web技术和Web服务技术结合起来，引入本体来增强对Web服务的语义描述，使得Web服务的描述成为机器可读和可理解，并利用语义的推理技术使Web服务的发现、组合和激发等行为高度自动化。当前的语义Web服务描述语言对服务的动态语义信息描述不足，缺乏对复杂Web服务的状态转换和行为约束的刻画，无法提供对服务动态行为和时序特性的推导。复杂的Web服务的行为经常是持续交

2、互的过程，这种复杂的Web服务不是一步就可以完成的，它们要保持与其他Web服务或请求者进行持续交互，不断根据交互过程中的一系列中间状态做出反应，其反应行为常常要依赖执行当中的中间状态，表现出时序特性。当描述这样的(组合)服务或应用系统时，关注点不仅仅是简单地根据输入信息直接计算出输出的信息，而是关注这些(组合)服务是如何交互的，交互过程是如何根据产生的中间状态进行计算的。服务的规约不仅要说明在初始和最终状态中所需要保持的断言，而且也要描述中间状态，这些中间状态对于服务的下一步执行决策非常重要。为了使Web服务的发现、

3、组合和验证等行为高度自动化和准确化，需要一种语义Web服务描述语言，支持丰富的Web服务规约描述，既能精确描述Web服务的相关领域知识的静态语义，同时又能刻画Web服务的状态变化、时序特性等动态语义，深入描述Web服务的各个方面，从而为服务的发现、组合等相关任务提供坚实的语义基础。本文中我们提出了一种描述框架来支持丰富的语义描述，以便更好地支持精确的Web服务的发现和准确的服务组合等任务。1．在Web服务的语义描述框架方面，针对单纯的静态语义信息描述存在的不足，对OWL．S的过程模型进行了动态语义信息描述能力的扩充，

4、提出了Web服务语义描述语言OWL．DS，给出Preconditions和Efffects的明确语法定义，按照传统描述逻辑的语义解释给出了基于状态和状态转换的Web服务的动态语义解释。提出了三种基本推导服务：可执行性(Executability)、可投射性(Projection)和一致性(Consistence)。OWL．DS具有描述W曲服务的动态和静态语义知识的描述能力。2．基于OWL．DS的Web服务描述，定义了Web服务之间的语义匹配计算，。并根据语义匹配计算定义了丰富的匹配关系，为基于丰富语义的Web服务发现

5、和组合奠定了的基础。同时将OWL．DS的语义匹配计算问题转化为传统描述逻辑的合取查询蕴含问题，以复用成熟的描述逻辑系统来支持语义匹配计算。3．在OWL．DS对动态语义的描述基础上，针对复杂Web服务的时序特性，第1页摘要进一步对过程模型进行了扩充，增加了特征谓词Assumption和Commitment，用于对Web服务的时序特性进行描述，扩充得到描述语言OWL·TDS。OWL-TDS描述中的特征谓词Preconditions、Effects用于刻画web服务的状态转移，Assumption、Commitment用于

6、描述web服务的持续交互特性。4．提出了一种OWL．TDS到逻辑程序的转换方法，定义了相应的转换规则，将OWL．TDS描述转换成逻辑程序，将三个基本推导方法问题转换为逻辑程序的应答集的计算问题，证明了OWL．TDS基本推导方法与应答集之间的对应关系，以便利用现有的逻辑程序系统(如SMODLE、DLV)来支持OWL．TDS的服务描述和推导，从而可以确保我们的方法可以有效地应用于服务发现、组合、规划等的自动化工作中。关键词：语义Web服务，服务描述，动态语义，语义匹配，时序特性，推理服务，逻辑程序分类号：TP31第1l页

7、AbstractCurrentlythesemanticwebiScombinedwiththewebservicestechnologiestodescribeservicesinanunambiguousandmachineinterpretableway．Thus，semanticreasoningtechniquesCanbeusedtosupportautomatedWebservicediscovery,invocationandcompositionofwebservices．However,thecu

8、rrentwebservicedescriptionlanguagesproposedbyacademicandindustrialresearchersforspecificationofWebserviceallsufferfromthelackoftheirabilitytoprovideconstructsandconceptsthat