描述邏輯是一種基于對象的知識表示的形式化工具,也叫概念表示語言或術(shù)語邏輯。隨著10多年來對描述邏輯的深入研究,描述邏輯已經(jīng)被應用于語義網(wǎng)、配置、自然語言處理、數(shù)字圖書館以及數(shù)據(jù)庫等領域。在對描述邏輯的基本理論、描述邏輯非標準推理以及描述邏輯的已有應用進行了深入學習和研究的基礎上,本文主要研究了描述邏輯在構(gòu)件檢索以及Web服務組合上的應用,并對相關(guān)算法進行了實現(xiàn)。構(gòu)件的描述和檢索是軟件復用和構(gòu)件庫研究的重點。本文在基于刻面描述方法的基礎上引入描述邏輯作為知識表示的形式化工具,來描述用戶復用需求和構(gòu)件,從而使二者能夠在語義層面上進行匹配。提出了一種基于描述邏輯的構(gòu)件檢索匹配算法,該算法計算出一個實數(shù)值penalty來關(guān)聯(lián)用戶復用需求與某一構(gòu)件的匹配程度,penalty的值越小表示匹配程度越好,從而幫助復用者在構(gòu)件庫中選擇合適的構(gòu)件。針對Web服務組合問題,本文研究了如何基于描述邏輯來實現(xiàn)服務的動態(tài)組合,在給出了輸出分解匹配度、服務關(guān)聯(lián)圖等相關(guān)概念的基礎上,提出了一種基于描述邏輯的Web服務動態(tài)組合算法,該算法綜合考慮了服務的語義、服務組合的質(zhì)量和服務組合的效率等因素,可以自動地根據(jù)用戶的服... 

【文章來源】：吉林大學吉林省 211工程院校 985工程院校 教育部直屬院校

【文章頁數(shù)】：58 頁

【學位級別】：碩士

【部分圖文】：

SearchTree示例

【參考文獻】：
期刊論文
[1]基于目標距離評估的啟發(fā)式Web Services組合算法[J]. 溫嘉佳,陳俊亮,彭泳.  軟件學報. 2007(01)
[2]基于空間編碼的刻面分類構(gòu)件檢索方法研究[J]. 張聚廣,張維石,張秀國,史金余.  計算機工程與應用. 2006(17)
[3]基于領域本體的Web服務動態(tài)組合[J]. 李曼,王大治,杜小勇,王珊.  計算機學報. 2005(04)
[4]基于刻面描述的構(gòu)件查詢匹配模型及算法研究[J]. 賈曉輝,陳德華,嚴梅,樂嘉錦,丁曉東.  計算機研究與發(fā)展. 2004(10)
[5]基于描述邏輯的主體服務匹配[J]. 史忠植,蔣運承,張�？�,董明楷.  計算機學報. 2004(05)
[6]刻面分類構(gòu)件的匹配模型[J]. 王淵峰,薛云皎,張涌,朱三元,錢樂秋.  軟件學報. 2003(03)
[7]基于刻面描述的構(gòu)件檢索[J]. 王淵峰,張涌,任洪敏,朱三元,錢樂秋.  軟件學報. 2002(08)
[8]青鳥系統(tǒng)中可復用軟件構(gòu)件的表示與查詢[J]. 常繼傳,李克勤,郭立峰,梅宏,楊芙清.  電子學報. 2000(08)
[9]可復用軟件構(gòu)件的表示和檢索[J]. 常繼傳,郭立峰,馬黎.  計算機科學. 1999(05)



本文編號：3538349