语义Web服务论文语义Web服务 Petri网 转移矩阵 组合验证

1、语义Web服务论文：基于Petri网的Web服务组合验证技术【中文摘要】随着因特网的快速发展,各种文档信息及应用程序等都可以从网上轻松获取。Web服务就是各种分布在网络上,以网络技术为基础,用于完成某种特定功能的应用程序。Web服务的生命周期一般包括服务发布、服务发现、服务选择、服务组合和服务调用这五个流程,其中服务组合是Web服务技术研究及应用的重点和难点。Web服务组合主要是通过合成技术,将若干个功能单一的Web服务,组合成可以满足服务请求者复杂功能需求的过程。Web服务组合验证是Web服务组合的一个重要组成部分,它在实现Web服务组合、确保组合后Web服务正常执行过程中起着关键作用。Pe

2、tri网是系统建模和分析的一种有效工具,它对分布式系统和结构中的进程或组成部分之间的各种关系有较强的描述能力。本文采用Petri网作为分析工具,对基于服务行为Model的Web服务组合的有效性进行验证,通过分析组合Web服务可以判断其是否存在死锁以及能否正常结束。本文首先介绍语义Web服务的基础理论,然后介绍Petri网的相关基础知识,随后给出从语义Web服务中OWL描述的行为Model信息转换为Petri网模型的过程,在此基础上,利用Petri网的性质,实施Web服务的Petri网.【英文摘要】With the development of Internet technology, not

3、only the Web page documents can be accessed by the Internet, a variety of application programs provided by the companies or organizations can be accessed and employed. In the beginning of 21st century, SOA became popular because of its several advantages, such as:measurability, loosely coupled, stan

4、dardization and interoperability. Web Service is the technical support of the majority of SO A. In 2001, Tim Berners-Lee, founder of the Internet advance the conce.【关键词】语义Web服务 Petri网 转移矩阵 组合验证【英文关键词】Semantic Web Services Petri net transitive matrix the verification of composition【索购全文】联系Q1：13811372

5、1 Q2：139938848【目录】基于Petri网的Web服务组合验证技术提要4-5摘要5-7Abstract7-8第1章 绪论11-151.1 研究背景和意义11-13 SOA与Web服务11-12 Web服务与语义Web服务12 语义Web服务的特点12-131.2 本文的主要工作131.3 论文的组织结构13-15第2章 相关基础知识介绍15-232.1 语义Web服务体系结构15-19 语义Web服务发布16 语义Web服务发现16-17 语义Web服务组合17 语义Web服务组合验证17-18 语义Web服务描述语言OWL-S18-192.2 Petri网相关知识介绍19-22et

6、ri网的概念19-20etri网的性质20-21etri网的分析方法21-222.3 本文所采用的Web服务发现框架22-23第3章 基于行为的Web服务组合验证23-413.1 相关工作介绍233.2 语义Web服务的OWL-S表示23-25 原子过程的OWL-S表示23-24 组合过程的OWL-S表示24-253.3 从语义Web服务OWL-S表示到Petri网的转换25-29 原子过程到Petri网的转换25-26 组合过程到Petri网的转换26-293.4 语义Web服务Petri网表示的组合29-323.5 利用转移矩阵验证Petri网的组合32-36 转移矩阵的概念和性质32-35 转移矩阵检测死锁方法35-363.6 组合验证实例分析36-41 Web服务的服务Model表示36-37 Web服务的Petri网表示37-38 组合Petri网的死锁检测实例分析38-41第4章 实现技术41-514.1 Petri网的存储结构41-434.2 OWL-S到Petri网存储结构的转换43-454.3 转移矩阵的运算45-514.3.1 L_(DP