[發明專利]純狀態的觸發動作編程范式到事件驅動系統的轉換方法

有效

• 申請號: 202110290814.3
• 申請日: 2021-03-18
• 公開（公告）號: CN113010158B
• 公開（公告）日: 2022-09-06
• 發明（設計）人: 張昱;王博;耿佳寧;李向陽
• 申請（專利權）人: 中國科學技術大學
• 主分類號: G06F8/30
• 分類號: G06F8/30;G06F8/41
• 代理公司: 北京科迪生專利代理有限責任公司 11251
• 代理人: 張乾楨

1.一種純狀態的觸發動作編程范式到事件驅動系統的轉換方法，其特征在于，包括如下步驟：

步驟1：輸入實體-能力抽象信息W和SS規則集合SS規則集解析器首先解析用戶輸入的并將解析結果傳給動作序列信息生成模塊，所述SS是指狀態-狀態；

步驟2：動作序列信息生成模塊將同一動作實體的SS規則序列按照EXPECT子句作用的期望狀態組分類，期望狀態組相同的SS規則組中的多條規則會放在一起處理；根據實體期望狀態組實體能力抽象W計算實體要到達指定狀態時所有可能的動作序列和每種動作序列的執行前提C_j，得到二元組集合求出與規則組不兼容的條件n為所有可能動作序列的數量；

步驟3：事件篩選模塊首先根據實體-能力抽象信息W對條件做關鍵值分析，尋找對條件成立與否有影響的能力以及對條件而言等價的所有取值集合，并根據這些能力和取值集合生成一組候選事件然后對中的每個事件E，根據W以及缺省的事件篩選策略判斷該事件是否要排除掉，即若E發生后不成立則需將E排除；

步驟4：EE中間表示生成模塊接受篩選后的事件集與作為輸入，對二元組集合中的每個元組產生動作序列為的EE規則集，所述EE是指事件-事件；

步驟5：再經過規則合并、可讀性化簡后，這些EE規則集再由EE規則集生成器匯總并輸出,最終實現從SS規則得到對應的EE規則，輸出與輸入SS規則集對應的EE規則集

2.根據權利要求1所述的一種純狀態的觸發動作編程范式到事件驅動系統的轉換方法，其特征在于，包括如下步驟：

所述步驟1中，使用json或yaml數據格式交換解析后的規則。

3.根據權利要求1所述的一種純狀態的觸發動作編程范式到事件驅動系統的轉換方法，所述步驟2中，根據實體期望狀態組實體能力抽象W計算實體要到達指定狀態時所有可能的動作序列和每種動作序列的執行前提C_j，得到二元組集合具體包括：

基于實體的狀態機，尋找到達目標狀態的所有轉移邊、及可能的動作序列，并計算執行前提，該前提與后續步驟生成規則的安全性和正確性有關。

4.根據權利要求1所述的一種純狀態的觸發動作編程范式到事件驅動系統的轉換方法，所述步驟3中，事件篩選模塊首先根據實體-能力抽象信息W對條件做關鍵值分析，通過關鍵值分析減少候選事件，降低了算法的運算成本，且通過可改變的事件篩選策略能夠在規則假陽性率和規則轉換效率之間做出調整。

5.根據權利要求1所述的一種純狀態的觸發動作編程范式到事件驅動系統的轉換方法，所述步驟4中，通過按照動作序列和規則執行條件分組輸出，便于后續合并以提高執行速度。

6.根據權利要求1所述的一種純狀態的觸發動作編程范式到事件驅動系統的轉換方法，所述步驟5中，規則合并包括：使用約束求解器Z3判斷等價條件進行合并，合并后的條件使用約束求解器Z3化簡后再變換到不含邏輯非的簡化易讀的形式。