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

有效

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

1.一種軟件自適應決策驗證系統，其特征在于：

所述系統包括模型轉換模塊和模型驗證模塊，兩模塊之間協調工作；

所述的模型轉換模塊，用于將經過自適應決策策略作用演變的多種異構的層次化多agent系統模型由模型轉換器轉換成統一的中間模型，并將所述中間模型輸出作為模型驗證模塊的輸入；所述模型轉換模塊基于EMF框架實現，所述模型轉換模塊集成完備的層次化多agent系統模型到中間模型的轉換規則，具備自檢查功能，通過語義互模擬技術檢查轉換前后模型間的語義等價性；所述中間模型是層次化狀態遷移系統，所述層次化狀態遷移系統在狀態遷移系統的基礎上進行擴展，將狀態遷移系統擴展為多層次的結構，各層之間緊密聯系，共同構成一個完整的狀態遷移系統；

所述的模型驗證模塊，將模型轉換模塊輸出的中間模型作為輸入，在中間模型上進行分析、驗證，判斷中間模型是否滿足目標性質，從而完成自適應決策策略的驗證，同時，還可以實現多個中間模型的對比，進而實現多種異構的層次化多agent系統模型的對比，從中挑選出符合目標性質的優良模型，最終篩選出優良的自適應決策策略，對于不符合目標性質的策略給出改進建議。

2.如權利要求1所述的軟件自適應決策驗證系統，其特征在于，所述多種異構的層次化多agent系統模型由層次化MAS模型經過自適應決策策略作用演變而成。

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

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

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

6.如權利要求4所述的軟件自適應決策驗證系統，其特征在于，所述狀態空間等價類劃分技術，用于將無限狀態集合以狀態等價類的方式分解為有限的狀態等價類集合，可以提高驗證算法的有效性和執行性能。