語(yǔ)義Web服務(wù)論文語(yǔ)義Web服務(wù) Petri網(wǎng) 轉(zhuǎn)移矩陣 組合驗(yàn)證

1、語(yǔ)義Web服務(wù)論文：基于Petri網(wǎng)的Web服務(wù)組合驗(yàn)證技術(shù)【中文摘要】隨著因特網(wǎng)的快速發(fā)展,各種文檔信息及應(yīng)用程序等都可以從網(wǎng)上輕松獲取。Web服務(wù)就是各種分布在網(wǎng)絡(luò)上,以網(wǎng)絡(luò)技術(shù)為基礎(chǔ),用于完成某種特定功能的應(yīng)用程序。Web服務(wù)的生命周期一般包括服務(wù)發(fā)布、服務(wù)發(fā)現(xiàn)、服務(wù)選擇、服務(wù)組合和服務(wù)調(diào)用這五個(gè)流程,其中服務(wù)組合是Web服務(wù)技術(shù)研究及應(yīng)用的重點(diǎn)和難點(diǎn)。Web服務(wù)組合主要是通過(guò)合成技術(shù),將若干個(gè)功能單一的Web服務(wù),組合成可以滿足服務(wù)請(qǐng)求者復(fù)雜功能需求的過(guò)程。Web服務(wù)組合驗(yàn)證是Web服務(wù)組合的一個(gè)重要組成部分,它在實(shí)現(xiàn)Web服務(wù)組合、確保組合后Web服務(wù)正常執(zhí)行過(guò)程中起著關(guān)鍵作用。Pe

2、tri網(wǎng)是系統(tǒng)建模和分析的一種有效工具,它對(duì)分布式系統(tǒng)和結(jié)構(gòu)中的進(jìn)程或組成部分之間的各種關(guān)系有較強(qiáng)的描述能力。本文采用Petri網(wǎng)作為分析工具,對(duì)基于服務(wù)行為Model的Web服務(wù)組合的有效性進(jìn)行驗(yàn)證,通過(guò)分析組合Web服務(wù)可以判斷其是否存在死鎖以及能否正常結(jié)束。本文首先介紹語(yǔ)義Web服務(wù)的基礎(chǔ)理論,然后介紹Petri網(wǎng)的相關(guān)基礎(chǔ)知識(shí),隨后給出從語(yǔ)義Web服務(wù)中OWL描述的行為Model信息轉(zhuǎn)換為Petri網(wǎng)模型的過(guò)程,在此基礎(chǔ)上,利用Petri網(wǎng)的性質(zhì),實(shí)施Web服務(wù)的Petri網(wǎng).【英文摘要】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.【關(guān)鍵詞】語(yǔ)義Web服務(wù) Petri網(wǎng) 轉(zhuǎn)移矩陣 組合驗(yàn)證【英文關(guān)鍵詞】Semantic Web Services Petri net transitive matrix the verification of composition【索購(gòu)全文】聯(lián)系Q1：13811372

5、1 Q2：139938848【目錄】基于Petri網(wǎng)的Web服務(wù)組合驗(yàn)證技術(shù)提要4-5摘要5-7Abstract7-8第1章 緒論11-151.1 研究背景和意義11-13 SOA與Web服務(wù)11-12 Web服務(wù)與語(yǔ)義Web服務(wù)12 語(yǔ)義Web服務(wù)的特點(diǎn)12-131.2 本文的主要工作131.3 論文的組織結(jié)構(gòu)13-15第2章 相關(guān)基礎(chǔ)知識(shí)介紹15-232.1 語(yǔ)義Web服務(wù)體系結(jié)構(gòu)15-19 語(yǔ)義Web服務(wù)發(fā)布16 語(yǔ)義Web服務(wù)發(fā)現(xiàn)16-17 語(yǔ)義Web服務(wù)組合17 語(yǔ)義Web服務(wù)組合驗(yàn)證17-18 語(yǔ)義Web服務(wù)描述語(yǔ)言O(shè)WL-S18-192.2 Petri網(wǎng)相關(guān)知識(shí)介紹19-22et

6、ri網(wǎng)的概念19-20etri網(wǎng)的性質(zhì)20-21etri網(wǎng)的分析方法21-222.3 本文所采用的Web服務(wù)發(fā)現(xiàn)框架22-23第3章 基于行為的Web服務(wù)組合驗(yàn)證23-413.1 相關(guān)工作介紹233.2 語(yǔ)義Web服務(wù)的OWL-S表示23-25 原子過(guò)程的OWL-S表示23-24 組合過(guò)程的OWL-S表示24-253.3 從語(yǔ)義Web服務(wù)OWL-S表示到Petri網(wǎng)的轉(zhuǎn)換25-29 原子過(guò)程到Petri網(wǎng)的轉(zhuǎn)換25-26 組合過(guò)程到Petri網(wǎng)的轉(zhuǎn)換26-293.4 語(yǔ)義Web服務(wù)Petri網(wǎng)表示的組合29-323.5 利用轉(zhuǎn)移矩陣驗(yàn)證Petri網(wǎng)的組合32-36 轉(zhuǎn)移矩陣的概念和性質(zhì)32-35 轉(zhuǎn)移矩陣檢測(cè)死鎖方法35-363.6 組合驗(yàn)證實(shí)例分析36-41 Web服務(wù)的服務(wù)Model表示36-37 Web服務(wù)的Petri網(wǎng)表示37-38 組合Petri網(wǎng)的死鎖檢測(cè)實(shí)例分析38-41第4章 實(shí)現(xiàn)技術(shù)41-514.1 Petri網(wǎng)的存儲(chǔ)結(jié)構(gòu)41-434.2 OWL-S到Petri網(wǎng)存儲(chǔ)結(jié)構(gòu)的轉(zhuǎn)換43-454.3 轉(zhuǎn)移矩陣的運(yùn)算45-514.3.1 L_(DP