基于本體和規(guī)則推理的軟件可信演化研究.pdf

1、基于本體和規(guī)則推理的軟件可信演化研究重慶大學(xué)碩士學(xué)位論文學(xué)生姓名：劉春梅指導(dǎo)教師：李季博士專業(yè)：計算機應(yīng)用技術(shù)學(xué)科門類：工學(xué)重慶大學(xué)計算機學(xué)院二O一O年九月重慶大學(xué)碩士學(xué)位論文中文摘要I摘要隨著大型分布式軟件系統(tǒng)在各行業(yè)中的廣泛應(yīng)用，軟件的復(fù)雜度不斷增加，系統(tǒng)的安全性、可靠性和可用性等可信問題也日益凸出。然而現(xiàn)有的基于監(jiān)控的軟件演化技術(shù)更多的是針對構(gòu)件失效、軟件故障或軟件缺陷等問題，多以靜態(tài)的、預(yù)設(shè)的容錯為主，在演化機理上并未系統(tǒng)化地考

2、慮復(fù)雜動態(tài)環(huán)境對軟件可信性的影響。本文主要從軟件運行的開放環(huán)境著手，將上下文環(huán)境、本體、規(guī)則推理以及與之相關(guān)的應(yīng)用技術(shù)引入到軟件可信演化研究中，建立了軟件運行環(huán)境與行為之間的語義模型，并通過感知外部環(huán)境的變化來動態(tài)調(diào)整軟件的行為，以保障軟件的可信性能滿足用戶需求。本文的主要研究成果可以歸納為以下四點：①構(gòu)建了基于“環(huán)境行為”的本體空間模型。分布式軟件系統(tǒng)運行于一定的開放環(huán)境，用戶、系統(tǒng)、環(huán)境三者之間需要不間斷的交互，且在互動過程中需要利

3、用第三方實體來提高交互質(zhì)量。通過分析和研究分布式軟件系統(tǒng)的環(huán)境、行為以及可信性三者之間的關(guān)聯(lián)關(guān)系，構(gòu)建了基于“環(huán)境行為”的本體空間模型，用于解決環(huán)境與行為作用關(guān)系的語義問題。②構(gòu)建了軟件可信演化規(guī)則庫。在本體空間中已定義了有關(guān)軟件可信演化的基本概念、屬性和實例，在此基礎(chǔ)之上，為提供較復(fù)雜的邏輯推理以及保障演化操作的一致性與可靠性，提出了基于OWL擴展的規(guī)則庫。規(guī)則庫中通過定義一系列的演化規(guī)則，用于處理復(fù)雜的邏輯推理，從而更好的服務(wù)于軟件

4、可信演化操作。③針對軟件可信演化的實施，本文提出了一個基于本體的軟件可信演化框架。該框架由微觀層次的規(guī)約制導(dǎo)和宏觀層次的人機協(xié)同兩部分組成，以保證軟件演化結(jié)果能與人的預(yù)期相一致，有效預(yù)防軟件衰老、失效等現(xiàn)象。④采用Jena所提供的推理機制，將知識庫和規(guī)則庫有機的結(jié)合并應(yīng)用到軟件可信演化決策過程中。首先以知識庫為依據(jù)，通過對軟件行為的可信性和自主調(diào)整的必要性進(jìn)行評估，然后依據(jù)評估結(jié)果和軟件可信性指標(biāo)對軟件實施動態(tài)調(diào)整、重構(gòu)等操作，以展現(xiàn)其