[發(fā)明專利]一種擴(kuò)展?fàn)顟B(tài)機(jī)邏輯的方法、裝置、存儲(chǔ)介質(zhì)和電子裝置

在審

• 申請(qǐng)?zhí)枺?/td>: 202010001955.4
• 申請(qǐng)日: 2020-01-02
• 公開(kāi)（公告）號(hào): CN113064674A
• 公開(kāi)（公告）日: 2021-07-02
• 發(fā)明（設(shè)計(jì)）人: 金述強(qiáng);楊清廣;李日璐;王春華;李星辰
• 申請(qǐng)（專利權(quán)）人: 廣東優(yōu)特云科技有限公司
• 主分類號(hào): G06F9/448
• 分類號(hào): G06F9/448
• 代理公司: 北京知元同創(chuàng)知識(shí)產(chǎn)權(quán)代理事務(wù)所(普通合伙) 11535
• 代理人: 張?zhí)镉?張祖萍

1.一種擴(kuò)展?fàn)顟B(tài)機(jī)邏輯的方法，其特征在于，包括：

獲取基于待擴(kuò)展的狀態(tài)機(jī)邏輯任務(wù)的狀態(tài)機(jī)邏輯調(diào)整描述文件；

獲取狀態(tài)機(jī)的狀態(tài)機(jī)配置文件；

基于所述狀態(tài)機(jī)邏輯調(diào)整描述文件和狀態(tài)機(jī)的狀態(tài)機(jī)配置文件生成狀態(tài)機(jī)的當(dāng)前執(zhí)行邏輯集合。

2.如權(quán)利要求1所述的擴(kuò)展?fàn)顟B(tài)機(jī)邏輯的方法，其特征在于，所述方法還包括：基于所生成的狀態(tài)機(jī)的當(dāng)前執(zhí)行邏輯集合，更新?tīng)顟B(tài)機(jī)的狀態(tài)機(jī)配置文件。

3.如權(quán)利要求1所述的擴(kuò)展?fàn)顟B(tài)機(jī)邏輯的方法，其特征在于，所述待擴(kuò)展的狀態(tài)機(jī)邏輯任務(wù)包括至少一條待擴(kuò)展的狀態(tài)機(jī)邏輯信息，所述至少一條待擴(kuò)展的狀態(tài)機(jī)邏輯信息包括待擴(kuò)展的狀態(tài)機(jī)邏輯。

4.如權(quán)利要求3所述的擴(kuò)展?fàn)顟B(tài)機(jī)邏輯的方法，其特征在于，所述基于所述狀態(tài)機(jī)邏輯調(diào)整描述文件和狀態(tài)機(jī)的狀態(tài)機(jī)配置文件生成狀態(tài)機(jī)的當(dāng)前執(zhí)行邏輯集合的步驟為：在對(duì)應(yīng)的基于狀態(tài)機(jī)的狀態(tài)機(jī)配置文件的狀態(tài)機(jī)邏輯集合中，增加和/或刪除所述狀態(tài)機(jī)邏輯調(diào)整描述文件中的狀態(tài)機(jī)邏輯。

5.如權(quán)利要求3所述的擴(kuò)展?fàn)顟B(tài)機(jī)邏輯的方法，其特征在于，所述至少一條待擴(kuò)展的狀態(tài)機(jī)邏輯信息還包括調(diào)整選項(xiàng)和待擴(kuò)展的狀態(tài)機(jī)名稱，則所述基于所述狀態(tài)機(jī)邏輯調(diào)整描述文件和狀態(tài)機(jī)的狀態(tài)機(jī)配置文件生成狀態(tài)機(jī)的當(dāng)前執(zhí)行邏輯集合的步驟為：

根據(jù)所述狀態(tài)機(jī)邏輯調(diào)整描述文件的待擴(kuò)展的狀態(tài)機(jī)邏輯信息中的待擴(kuò)展的狀態(tài)機(jī)名稱，從多個(gè)狀態(tài)機(jī)中獲取與所述狀態(tài)機(jī)名稱對(duì)應(yīng)的狀態(tài)機(jī)的狀態(tài)機(jī)配置文件；

從所獲取的對(duì)應(yīng)的狀態(tài)機(jī)配置文件中得到狀態(tài)機(jī)邏輯集合；

根據(jù)所述狀態(tài)機(jī)邏輯調(diào)整描述文件的待擴(kuò)展的狀態(tài)機(jī)邏輯信息中的調(diào)整選項(xiàng)和待擴(kuò)展的狀態(tài)機(jī)邏輯，在所得到的狀態(tài)機(jī)邏輯集合中增加和/或刪除相應(yīng)狀態(tài)機(jī)邏輯。

6.如權(quán)利要求4或5所述的擴(kuò)展?fàn)顟B(tài)機(jī)邏輯的方法，其特征在于，所述待擴(kuò)展的狀態(tài)機(jī)邏輯為待新增的狀態(tài)機(jī)邏輯，所述狀態(tài)機(jī)邏輯包括當(dāng)前狀態(tài)、觸發(fā)條件以及輸出動(dòng)作和次態(tài)中的至少一個(gè)，

當(dāng)待新增的狀態(tài)機(jī)邏輯中的至少一個(gè)狀態(tài)是所述狀態(tài)機(jī)配置文件的狀態(tài)機(jī)邏輯集合中的已有狀態(tài)時(shí)，在狀態(tài)機(jī)配置文件的狀態(tài)機(jī)邏輯集合中增加該待新增的狀態(tài)機(jī)邏輯。

7.如權(quán)利要求6所述的擴(kuò)展?fàn)顟B(tài)機(jī)邏輯的方法，其特征在于，當(dāng)待新增的狀態(tài)機(jī)邏輯中的至少一個(gè)狀態(tài)是所述狀態(tài)機(jī)配置文件的狀態(tài)機(jī)邏輯集合中的已有狀態(tài)時(shí)，在狀態(tài)機(jī)配置文件的狀態(tài)機(jī)邏輯集合中增加該待新增的狀態(tài)機(jī)邏輯的步驟包括：

獲取待新增的狀態(tài)機(jī)邏輯的當(dāng)前狀態(tài)；

判斷所獲取的當(dāng)前狀態(tài)是否是所述狀態(tài)機(jī)配置文件的狀態(tài)機(jī)邏輯集合中的已有狀態(tài)；當(dāng)所獲取的當(dāng)前狀態(tài)是所述狀態(tài)機(jī)配置文件的狀態(tài)機(jī)邏輯集合中的已有狀態(tài)時(shí)，基于已有狀態(tài)增加待新增的狀態(tài)機(jī)邏輯；當(dāng)所獲取的當(dāng)前狀態(tài)不是所述狀態(tài)機(jī)配置文件的狀態(tài)機(jī)邏輯集合中的已有狀態(tài)時(shí)，則獲取待新增的狀態(tài)機(jī)邏輯的次態(tài)；

判斷所獲取的次態(tài)是否是所述狀態(tài)機(jī)配置文件的狀態(tài)機(jī)邏輯集合中的已有狀態(tài)；當(dāng)所獲取的次態(tài)是所述狀態(tài)機(jī)配置文件的狀態(tài)機(jī)邏輯集合中的已有狀態(tài)時(shí)，基于已有的狀態(tài)增加待新增的狀態(tài)機(jī)邏輯。

8.如權(quán)利要求7所述的擴(kuò)展?fàn)顟B(tài)機(jī)邏輯的方法，其特征在于，采用狀態(tài)轉(zhuǎn)移二維表格方式分析并生成狀態(tài)機(jī)的當(dāng)前執(zhí)行邏輯集合，在狀態(tài)轉(zhuǎn)移二維表格中，第一行為包括多個(gè)狀態(tài)的狀態(tài)行，第一列為包括多個(gè)觸發(fā)條件的觸發(fā)條件列，所述狀態(tài)行和所述觸發(fā)條件列交叉形成多個(gè)單元格，在每個(gè)單元格中能夠標(biāo)記在對(duì)應(yīng)狀態(tài)下滿足相應(yīng)觸發(fā)條件時(shí)所執(zhí)行的動(dòng)作和/或遷移的次態(tài)。

9.如權(quán)利要求6所述的擴(kuò)展?fàn)顟B(tài)機(jī)邏輯的方法，其特征在于，所述狀態(tài)機(jī)邏輯的狀態(tài)還包括有狀態(tài)條件，當(dāng)所述狀態(tài)機(jī)邏輯的觸發(fā)條件滿足后，對(duì)當(dāng)前狀態(tài)的狀態(tài)條件進(jìn)行計(jì)算，根據(jù)狀態(tài)條件計(jì)算結(jié)果的真或假，執(zhí)行相同或不同的輸出動(dòng)作，和/或根據(jù)狀態(tài)條件計(jì)算結(jié)果的真或假，進(jìn)行狀態(tài)機(jī)狀態(tài)的遷移或不進(jìn)行狀態(tài)機(jī)狀態(tài)的遷移，和/或在動(dòng)作執(zhí)行完成后，進(jìn)行狀態(tài)機(jī)狀態(tài)的遷移或不進(jìn)行狀態(tài)機(jī)狀態(tài)的遷移。