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

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

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

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

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