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

摘 要：為系統化地考慮開放環境對軟件可信性的影響和驅動作用，提出了一種基于本體空間并支持動態演化的框架模型。該模型采用本體空間的方法解決用戶、系統和環境三者之間交互的語義問題，在此基礎上，通過預定義的規則對軟件行為的可信性和自主調整的必要性進行評估，依據評估結果從微觀層次的規約制導和宏觀層次的人機協同在軟件生命周期內對其調整、配置與修正。應用實例及測試結果驗證了該框架模型的有效性與可行性。