[發(fā)明專利]模塊化車間的彈性驗(yàn)證

在審

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

本公開的實(shí)施例涉及模塊化車間的彈性驗(yàn)證。提供了一種用于驗(yàn)證模塊化車間的過程編排邏輯的方法(1300)。該方法包括：生成(1302)表示所述過程編排邏輯的車間執(zhí)行模型；分析(1304)所述車間執(zhí)行模型以標(biāo)識一個(gè)或多個(gè)潛在故障場景；以及基于所標(biāo)識的一個(gè)或多個(gè)故障場景生成(1306)一個(gè)或多個(gè)測試用例。

技術(shù)領(lǐng)域

本發(fā)明涉及用于驗(yàn)證模塊化車間的過程編排邏輯的方法和系統(tǒng)。

背景技術(shù)

模塊化車間在工程階段通過將一組預(yù)先設(shè)計(jì)的模塊集成到車間拓?fù)渲胁⒍x協(xié)調(diào)模塊的編排邏輯來設(shè)計(jì)。每個(gè)模塊由模塊類型包(Module?Type?Package,MTP)表示，MTP是標(biāo)準(zhǔn)化數(shù)據(jù)包,包含將模塊集成到模塊化車間中的所有必要信息，諸如通信、服務(wù)(即由模塊執(zhí)行的功能)、人機(jī)接口(HMI)描述和維護(hù)信息。模塊可以通過選擇MTP并將模塊的輸入和/或輸出(如在MTP的HMI部分中定義的)與拓?fù)渲械囊粋€(gè)或多個(gè)其他模塊的輸入和/或輸出連接來集成。編排邏輯被設(shè)計(jì)為調(diào)用由模塊提供的服務(wù)(如MTP的服務(wù)部分中所定義的)。

用于驗(yàn)證編排邏輯的經(jīng)設(shè)計(jì)的拓?fù)涞募蓽y試可能存在挑戰(zhàn)。盡管各個(gè)模塊本身可以被很好地測試，但是一組模塊的集成可能易受不可預(yù)見的情況的影響，所述不可預(yù)見的情況可能導(dǎo)致在測試期間昂貴的調(diào)試或調(diào)試之后的系統(tǒng)故障。消除故障原因可能是困難的，尤其是當(dāng)工程師無法獲得服務(wù)實(shí)現(xiàn)方式細(xì)節(jié)時(shí)，如第三方MTP的情況，在這種情況下只定義了服務(wù)API。因此必須做出假設(shè)，使得結(jié)果高度依賴于工程團(tuán)隊(duì)的專業(yè)知識。

發(fā)明內(nèi)容

因此，希望提供能夠在試運(yùn)行之前更有效地驗(yàn)證模塊化車間設(shè)計(jì)的方法和系統(tǒng)。因此，在本發(fā)明的第一方面中，提供了一種用于驗(yàn)證模塊化車間的過程編排邏輯的方法，所述方法包括：

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

分析所述車間執(zhí)行模型以標(biāo)識潛在的一個(gè)或多個(gè)故障場景；以及

基于所標(biāo)識的一個(gè)或多個(gè)故障場景，生成一個(gè)或多個(gè)測試用例。

生成車間執(zhí)行模型可以包括：獲得在過程驗(yàn)證邏輯中被引用的相應(yīng)服務(wù)的服務(wù)執(zhí)行模型，以及基于過程編排邏輯來對服務(wù)之間的通信進(jìn)行建模。獲得服務(wù)執(zhí)行模型可以包括：基于定義模塊化車間的數(shù)據(jù)來生成服務(wù)執(zhí)行模型。定義模塊化車間的數(shù)據(jù)可以包括模塊規(guī)范，例如MTP，用于其服務(wù)將被建模的模塊。生成服務(wù)執(zhí)行模型可以包括：基于定義模塊化車間的數(shù)據(jù)來修改至少一個(gè)模板服務(wù)執(zhí)行模型。修改模板服務(wù)執(zhí)行模型可以包括修改模板服務(wù)執(zhí)行模型中的狀態(tài)轉(zhuǎn)換條件，可選地同時(shí)保留模板的結(jié)構(gòu)。修改模板服務(wù)執(zhí)行模型可以包括：基于定義模塊化車間的數(shù)據(jù)來修改在模板中引用的事件。對服務(wù)之間的通信進(jìn)行建模可以包括對服務(wù)之間(例如提供這些服務(wù)的模塊之間)的材料流和信息流中的一個(gè)或多個(gè)進(jìn)行建模。對材料流和/或信息流進(jìn)行建模可以包括：使用一個(gè)或多個(gè)映射函數(shù)來標(biāo)識定義車間拓?fù)涞臄?shù)據(jù)中的材料流和/或信息流。一個(gè)或多個(gè)映射函數(shù)可以基于流圖(flowmap)。標(biāo)識材料流可以包括標(biāo)識定義車間拓?fù)涞臄?shù)據(jù)中的宿Sink對象和源Source對象之間的連接。標(biāo)識信息流可以包括標(biāo)識過程編排邏輯中過程值的輸出和輸入之間的連接。生成車間執(zhí)行模型可以包括：使用模型元素來表示在過程編排邏輯中標(biāo)識的服務(wù)調(diào)用，以及擴(kuò)展那些元素以包括對應(yīng)服務(wù)的服務(wù)執(zhí)行模型。車間執(zhí)行模型可以包括分層架構(gòu)車間執(zhí)行模型，其中上層架構(gòu)表示過程編排邏輯，下層架構(gòu)表示服務(wù)執(zhí)行。上層架構(gòu)可以從過程編排邏輯獲得或?qū)С觯聦蛹軜?gòu)可以包括服務(wù)執(zhí)行模型。生成車間執(zhí)行模型可以包括多級過程，在多級過程中：在一個(gè)級中對主序列建模，并且在一個(gè)或多個(gè)其它級中對一個(gè)或多個(gè)子序列建模。所述車間執(zhí)行模型和/或所述服務(wù)執(zhí)行模型可以利用以下項(xiàng)中的一項(xiàng)或多項(xiàng)來實(shí)現(xiàn)：狀態(tài)機(jī)；佩特里網(wǎng)(petrinets)；隨機(jī)佩特里網(wǎng)(petrinets)；隨機(jī)活動(dòng)網(wǎng)絡(luò)；或其任何組合。