petri網(wǎng)自動(dòng)共享合成技術(shù)以及在語(yǔ)義web服務(wù)組合中的應(yīng)用研究

1、濟(jì)南大學(xué)碩士學(xué)位論文Petri網(wǎng)自動(dòng)共享合成技術(shù)以及在語(yǔ)義Web服務(wù)組合中的應(yīng)用研究姓名：王夙娟申請(qǐng)學(xué)位級(jí)別：碩士專業(yè)：計(jì)算機(jī)應(yīng)用技術(shù)指導(dǎo)教師：曲守寧20090518Petri網(wǎng)自動(dòng)共享合成技術(shù)及其在語(yǔ)義Web服務(wù)組合中的應(yīng)用研究合并生成組合服務(wù)模型。第二，Petri網(wǎng)自動(dòng)共享合成技術(shù)在語(yǔ)義Web服務(wù)組合中的應(yīng)用。Petri網(wǎng)的語(yǔ)義化操作，即將Petri網(wǎng)中的庫(kù)所元素進(jìn)行語(yǔ)義化，對(duì)Petri網(wǎng)的庫(kù)所元素定義中加入OWL使其具有語(yǔ)義，然后

2、對(duì)語(yǔ)義Web服務(wù)的OWLS進(jìn)程描述進(jìn)行解析，構(gòu)造出進(jìn)程對(duì)應(yīng)的Pe擊網(wǎng)關(guān)聯(lián)矩陣，實(shí)現(xiàn)服務(wù)動(dòng)態(tài)執(zhí)行描述與其對(duì)應(yīng)Pelri網(wǎng)關(guān)聯(lián)矩陣之間的自動(dòng)轉(zhuǎn)換，并最終得到描述語(yǔ)義Web服務(wù)操作語(yǔ)義的PNML文檔。然后使用本體推理的方法來(lái)實(shí)現(xiàn)Petri網(wǎng)的自動(dòng)共享合成，即不同的Pelri網(wǎng)通過(guò)共享的庫(kù)所元素合成為一個(gè)Petri網(wǎng)模型。第三，語(yǔ)義Web服務(wù)Petri網(wǎng)系統(tǒng)原型系統(tǒng)功能的擴(kuò)展。通過(guò)對(duì)已有的Petri網(wǎng)分析工具PNAE功能進(jìn)行完善，初步實(shí)現(xiàn)了Pe