工作流集成中的語義匹配機(jī)制研究.pdf

1、隨著網(wǎng)絡(luò)技術(shù)的迅猛發(fā)展，信息化程度越來越高，工作流系統(tǒng)間的業(yè)務(wù)協(xié)作也變得很頻繁，如何實(shí)現(xiàn)跨平臺(tái)異型工作流系統(tǒng)間的功能查找、功能匹配及自動(dòng)集成，一直都是學(xué)術(shù)界和產(chǎn)業(yè)界關(guān)注的熱點(diǎn)問題。而功能匹配是工作流系統(tǒng)自動(dòng)集成的基礎(chǔ)，因此，在本文中關(guān)注于基于形式化語義的功能匹配機(jī)制研究。
　　 目前文獻(xiàn)中已有的功能匹配多是基于關(guān)鍵字、本體或兩者相結(jié)合的方式。基
　　 于關(guān)鍵字的查找由于自然詞義理解偏差，會(huì)存在功能查找不全、查找不準(zhǔn)確等問

2、題，因此有許多文章在詞義理解上通過詞義相似度等進(jìn)行修正，以提高查準(zhǔn)和查全率；基于本體的功能查找和匹配方式雖然提高了查準(zhǔn)查全率，但是兩者都不能從理論上證明查找的功能是否完全符合需求，或者是否做了超出需求外的額外操作。而形式化方法對(duì)描述功能內(nèi)容和實(shí)現(xiàn)功能匹配有準(zhǔn)確、可證明等優(yōu)勢(shì)，是實(shí)現(xiàn)功能匹配與查找的更先進(jìn)的方法。軟件自動(dòng)開發(fā)領(lǐng)域中不少文獻(xiàn)對(duì)基于B方法的形式化體系在需求描述、代碼編寫與生成、自動(dòng)測(cè)試、文檔定義等開發(fā)流程上的應(yīng)用進(jìn)行了探討，但

3、未見到以B方法為基礎(chǔ)的功能匹配的研究。
　　 本文提出了一種基于形式化語義B方法的功能匹配機(jī)制。這種功能匹配機(jī)制是在形式化語義描述的基礎(chǔ)上通過形式化方法來實(shí)現(xiàn)功能匹配，能夠從數(shù)學(xué)體系上檢驗(yàn)兩個(gè)功能是否一致，并且不存在詞義理解偏差問題。本文要實(shí)現(xiàn)的功能匹配機(jī)制是兩個(gè)功能的完全匹配，即在形式化語義的基礎(chǔ)上，通過前后條件匹配的判斷來實(shí)現(xiàn)功能完全匹配的判斷。首先討論了以代數(shù)表達(dá)式為基礎(chǔ)實(shí)現(xiàn)功能匹配，包括前條件匹配、表達(dá)式提取、規(guī)范化處理

4、、后條件匹配。其次討論了以抽象機(jī)為基礎(chǔ)實(shí)現(xiàn)功能匹配，這種匹配要使用B方法建立功能語義模型，對(duì)功能進(jìn)行形式化描述，將功能描述為B方法中的抽象機(jī)部件；在抽象機(jī)的基礎(chǔ)上進(jìn)行前后條件匹配，與代數(shù)表達(dá)式的前條件匹配不同，基于B方法的前條件匹配中需要證明集合等價(jià)、后條件匹配時(shí)需要考慮證明函數(shù)/關(guān)系等價(jià)。兩種匹配機(jī)制都給出相應(yīng)的匹配操作算法，并通過實(shí)例來進(jìn)行驗(yàn)證。
　　 基于B方法的功能匹配機(jī)制，是在形式語義的基礎(chǔ)上通過邏輯推導(dǎo)完成的形式化功