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

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

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

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