基于本體的可信軟件演化框架模型

摘 要：為系統(tǒng)化地考慮開(kāi)放環(huán)境對(duì)軟件可信性的影響和驅(qū)動(dòng)作用，提出了一種基于本體空間并支持動(dòng)態(tài)演化的框架模型。該模型采用本體空間的方法解決用戶、系統(tǒng)和環(huán)境三者之間交互的語(yǔ)義問(wèn)題，在此基礎(chǔ)上，通過(guò)預(yù)定義的規(guī)則對(duì)軟件行為的可信性和自主調(diào)整的必要性進(jìn)行評(píng)估，依據(jù)評(píng)估結(jié)果從微觀層次的規(guī)約制導(dǎo)和宏觀層次的人機(jī)協(xié)同在軟件生命周期內(nèi)對(duì)其調(diào)整、配置與修正。應(yīng)用實(shí)例及測(cè)試結(jié)果驗(yàn)證了該框架模型的有效性與可行性。