[發明專利]模塊化車間的彈性驗證

在審

• 申請號: 202211208977.3
• 申請日: 2022-09-30
• 公開（公告）號: CN115934506A
• 公開（公告）日: 2023-04-07
• 發明（設計）人: 桑托納·薩爾卡;馬里奧·霍尼克;尼古拉·肖赫;卡塔琳納·斯塔克
• 申請（專利權）人: ABB瑞士股份有限公司
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 北京市金杜律師事務所 11256
• 代理人: 朱雙龍

1.一種用于驗證模塊化車間的過程編排邏輯的方法(1300)，所述方法包括：

生成(1302)表示所述過程編排邏輯的車間執行模型；

分析(1304)所述車間執行模型，以標識潛在的一個或多個故障場景；以及

基于所標識的所述一個或多個故障場景，生成(1306)一個或多個測試用例。

2.根據權利要求1所述的方法，其中生成所述車間執行模型包括：獲得在所述過程驗證邏輯中被引用的相應服務的服務執行模型，并且基于所述過程編排邏輯，對所述服務之間的通信建模。

3.根據權利要求2所述的方法，其中獲得所述服務執行模型包括：通過基于定義所述模塊化車間的數據修改至少一個模板服務執行模型來生成所述服務執行模型。

4.根據權利要求3所述的方法，其中修改所述模板服務執行模型包括：基于定義所述模塊化車間的所述數據，修改所述模板服務執行模型中的狀態轉換條件。

5.根據權利要求2-5中任一項所述的方法，其中對所述服務之間的通信建模包括：對所述服務之間的材料流和信息流中的一個或多個建模。

6.根據權利要求5所述的方法，其中標識材料流包括：標識在定義車間拓撲的數據中的宿對象和源對象之間的連接。

7.根據權利要求5或6所述的方法，其中標識信息流包括：標識在所述過程編排邏輯中的過程值的輸出和輸入之間的連接。

8.根據前述權利要求中任一項所述的方法，其中所述車間執行模型包括分層架構的車間執行模型，在分層架構的所述車間執行模型中，上層架構表示所述過程編排邏輯并且下層架構表示服務執行。

9.根據前述權利要求中任一項所述的方法，其中生成所述車間執行模型包括多級過程，在所述多級過程中，在一個級中對主序列建模，并且在一個或多個其它級中對一個或多個子序列建模。

10.根據前述權利要求中任一項所述的方法，其中所述車間執行模型使用以下項中的一項或多項來實現：狀態機；佩特里網；隨機佩特里網；隨機活動網絡；或其任何組合。

11.根據前述權利要求中任一項所述的方法，其中分析所述車間執行模型包括：實施一個或多個錯誤傳播分析技術。

12.根據前述權利要求中任一項所述的方法，其中分析所述車間執行模型包括：實施一個或多個執行流分析技術。

13.根據前述權利要求中任一項所述的方法，其中分析所述車間執行模型參照錯誤模型來實施，所述錯誤模型包括一個或多個預定義錯誤類型。

14.一種計算設備(1400)，包括處理器(1402)，所述處理器被配置為實施根據權利要求1-13中任一項所述的方法。

15.一種計算機可讀介質(1404、1408)，包括指令，所述指令在由計算設備(1400)執行時使所述計算設備能夠執行根據權利要求1-13中任一項所述的方法。