基于“環(huán)境-行為”本體模型的軟件可信演化研究.pdf

1、近年來，軟件的可信性問題再度引起廣泛關(guān)注，航空、核工業(yè)、電信、金融、電力和交通等國家重要領(lǐng)域的信息化程度日益提高，國家基礎(chǔ)設(shè)施的運(yùn)轉(zhuǎn)越來越依賴于大型分布式軟件系統(tǒng)，這類軟件系統(tǒng)的可信性成為新的焦點(diǎn)。但是，目前軟件演化的研究都局限在構(gòu)件的失效和軟件本身出現(xiàn)的問題上，并且多為靜態(tài)演化，而在涉及軟件可信性的時候并沒有考慮到動態(tài)環(huán)境對其產(chǎn)生的影響。本文考慮到軟件所處的復(fù)雜開放環(huán)境，運(yùn)用本體及其推理技術(shù)，對軟件可信演化展開研究，在此基礎(chǔ)上建立基于

2、“環(huán)境-行為”的語義模型，并根據(jù)動態(tài)環(huán)境來調(diào)整軟件的行為。本文主要研究包括以下內(nèi)容：
　?、贅?gòu)建基于“環(huán)境-行為”的本體。復(fù)雜開放的動態(tài)環(huán)境是大型分布式軟件系統(tǒng)的特點(diǎn)，所以環(huán)境的改變對其行為產(chǎn)生的影響尤為明顯。本文立足于軟件可信性的基礎(chǔ)上，聯(lián)系上下文環(huán)境及其行為，建立一個基于“環(huán)境-行為”的本體，并用這個模型來處理環(huán)境和行為的相關(guān)問題。
　　②構(gòu)建本體推理規(guī)則庫。針對上述已經(jīng)建立的本體模型，構(gòu)建基于本體推理的規(guī)則庫，該規(guī)則庫

3、可以用于多變的邏輯推理，以滿足大型分布式軟件系統(tǒng)進(jìn)一步的動態(tài)可信演化要求。
　?、凼褂肑ena推理，并對軟件進(jìn)行可信演化。通過運(yùn)用Jena中的知識庫及規(guī)則庫，評估軟件可信演化的具體行為，對其可信性進(jìn)行評估，然后再通過軟件可信演化調(diào)整軟件的行為。
　　綜上所述，通過建立的本體讓軟件可信演化研究中的概念等可以語義共享，而本體推理庫對軟件行為可信性和自主調(diào)整的必要性進(jìn)行評估，接著使用本體模型及推理庫，形成一種以信息語義及推理規(guī)則相