[發明專利]一種軟件自適應決策驗證方法

有效

• 申請號: 201611218766.2
• 申請日: 2016-12-26
• 公開（公告）號: CN106650949B
• 公開（公告）日: 2019-03-26
• 發明（設計）人: 史建琦;胡志成;黃滟鴻;方徽星;李昂;李新;何積豐
• 申請（專利權）人: 華東師范大學
• 主分類號: G06N20/00
• 分類號: G06N20/00;G06F8/20
• 代理公司: 北京辰權知識產權代理有限公司 11619
• 代理人: 郎志濤

1.一種軟件自適應決策驗證方法，其特征在于所述方法包括如下步驟：

步驟一，層次化MAS模型經過自適應決策策略作用演變成多種異構的層次化多agent系統模型；

步驟二，將所述層次化多agent系統模型轉換成統一的中間模型；所述步驟二的模型轉換基于EMF框架實現，集成完備的層次化多agent系統模型到中間模型的轉換規則，具備自檢查功能，通過語義互模擬技術檢查轉換前后模型間的語義等價性；所述中間模型是層次化狀態遷移系統，所述層次化狀態遷移系統在狀態遷移系統的基礎上進行擴展，將狀態遷移系統擴展為多層次的結構，各層之間緊密聯系，共同構成一個完整的狀態遷移系統；

步驟三，在中間模型上進行分析、驗證，判斷中間模型是否滿足目標性質，從而完成自適應決策策略的驗證，同時，還可以實現多個中間模型的對比，進而實現多種異構的層次化多agent系統模型的對比，從中挑選出符合目標性質的優良模型；

步驟四，篩選出優良的自適應決策策略，對于不符合目標性質的策略給出改進建議。

2.如權利要求1所述的軟件自適應決策驗證方法，其特征在于，所述層次化多agent系統模型是對軟件系統進行抽象建模而形成一個以功能目標為單位，將軟件與環境置于統一架構的集分布式與集中式控制于一體的分層式多Agent的系統模型。

3.如權利要求1所述的軟件自適應決策驗證方法，其特征在于，所述步驟三的驗證基于層次化狀態遷移系統驗證算法實現，用于完成層次化狀態遷移系統的分析、驗證，分析所述自適應決策策略對層次化多agent系統各層模型執行行為、功能、性能的影響，驗證所述自適應決策策略的正確性與有效性，并且將分析、驗證結果以及改進意見反饋給用戶；同時，所述驗證結合狀態空間等價類劃分技術。

4.如權利要求3所述的軟件自適應決策驗證方法，其特征在于，所述層次化狀態遷移系統驗證算法基于層次化狀態遷移系統靜態和動態展開技術，將層次化狀態遷移系統展開成傳統的狀態遷移系統，并且合理考慮各層模型之間的依賴，擴展經典的狀態遷移系統驗證算法，在現有工具的基礎上實現層次化多agent系統模型的自適應決策驗證。

5.如權利要求3所述的軟件自適應決策驗證方法，其特征在于，所述狀態空間等價類劃分技術，用于將無限狀態集合以狀態等價類的方式分解為有限的狀態等價類集合。