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

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

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

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

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