[發(fā)明專利]配置技術(shù)系統(tǒng)的設備和方法在審
| 申請?zhí)枺?/td> | 202111507425.8 | 申請日： | 2021-12-10 |
| 公開（公告）號： | CN114625435A | 公開（公告）日： | 2022-06-14 |
| 發(fā)明（設計）人： | 桑托什·庫馬爾·辛格;托馬斯·莫勒 | 申請（專利權(quán)）人： | 西門子工業(yè)軟件有限公司 |
| 主分類號： | G06F9/445 | 分類號： | G06F9/445 |
| 代理公司： | 北京康信知識產(chǎn)權(quán)代理有限責任公司 11240 | 代理人： | 陳方鳴 |
| 地址： | 美國德*** | 國省代碼： | 暫無信息 |
| 權(quán)利要求書： | 查看更多 | 說明書： | 查看更多 |
| 摘要： | |||
| 搜索關鍵詞： | 配置 技術(shù) 系統(tǒng) 設備 方法 | ||
1.一種配置技術(shù)系統(tǒng)的方法，包括：
生成用于技術(shù)系統(tǒng)的配置模型(432)，其中，根據(jù)用于所述技術(shù)系統(tǒng)的配置標準來生成所述配置模型(432)，以及其中，所述配置模型(432)將所述技術(shù)系統(tǒng)表示為信息模型，以及其中，生成所述配置模型(432)包括：
基于與所述技術(shù)系統(tǒng)相關聯(lián)的約束來驗證所述配置標準(F)，其中，當沒有違反具有大于或等于閾值嚴重性的嚴重性級別的約束時，所述配置標準是有效的；
識別用于經(jīng)驗證的配置標準的最大可滿足規(guī)則集，其中，所述最大可滿足規(guī)則集為空或包括約束規(guī)則和/或默認規(guī)則，其中，所述最大可滿足規(guī)則集通過以下方式識別：
確定待移除的最小數(shù)量的沖突規(guī)則(330)以解決與所述經(jīng)驗證的配置標準的沖突，其中，所述最小數(shù)量的沖突規(guī)則是針對級別低于所述閾值嚴重性的規(guī)則確定的；以及
移除所述最小數(shù)量的沖突規(guī)則(350)中的至少一個以生成所述最大可滿足規(guī)則集。
2.根據(jù)權(quán)利要求1所述的方法，其中，規(guī)則的集合能夠與所述經(jīng)驗證的配置標準相關聯(lián)，其中，所述規(guī)則的集合中的每一個被分配所述嚴重性級別和序列號，以及其中，所述嚴重性級別和所述序列號定義所述規(guī)則中的每個規(guī)則的排名級別。
3.根據(jù)權(quán)利要求1和權(quán)利要求2中任一項所述的方法，進一步包括：將所述規(guī)則的集合中的每個規(guī)則與所述排名級別相關聯(lián)，其中，當所述嚴重性級別更高時特定規(guī)則的排名級別更高。
4.根據(jù)權(quán)利要求2和權(quán)利要求3中任一項所述的方法，其中，當所述嚴重性級別相同時，特定規(guī)則的排名級別基于所述序列號。
5.根據(jù)權(quán)利要求2和權(quán)利要求3中任一項所述的方法，其中，所述規(guī)則的集合中的一個或多個規(guī)則能夠被分配相同的排名級別。
6.根據(jù)前述權(quán)利要求中任一項所述的方法，其中，識別用于所述經(jīng)驗證的配置標準的最大可滿足規(guī)則集包括：
識別所述排名級別中的每個排名級別內(nèi)以及跨越所述排名級別的規(guī)則中的沖突；
當跨越所述排名級別的沖突被識別時，將所述最小數(shù)量的沖突規(guī)則(330)確定為具有最低排名級別的規(guī)則；以及
移除所述最小數(shù)量的沖突規(guī)則。
7.根據(jù)權(quán)利要求1和權(quán)利要求5中任一項所述的方法，進一步包括：
基于待從特定排名級別內(nèi)移除的所述最小數(shù)量的所述沖突規(guī)則(330)來確定所述沖突規(guī)則，以解決所述特定排名級別內(nèi)和/或高于所述特定排名級別的排名級別內(nèi)的所有沖突；
確定所述特定排名級別內(nèi)的所述沖突規(guī)則的一個或多個組合(340)，其中，所述一個或多個組合中的每個組合包括所述最小數(shù)量的沖突規(guī)則(330)，以及其中，移除所述組合中的每個組合致使解決所有所述沖突；以及
使用所述一個或多個組合的鏈表示(310，320)來識別待移除組合(340)中的組合(350)，其中，所述待移除組合被識別為所述鏈表示(310，320)的端點(R9-R7)。
8.根據(jù)權(quán)利要求1和權(quán)利要求7中任一項所述的方法，其中，確定待從所述特定排名級別內(nèi)移除的所述最小數(shù)量的所述沖突規(guī)則包括：確定所述特定排名級別內(nèi)的沖突規(guī)則的基數(shù)(330)，其中，所述基數(shù)指定所述特定排名級別內(nèi)的規(guī)則中的獨立沖突的數(shù)量，以及其中，必須移除的所述沖突規(guī)則的所述最小數(shù)量是所述基數(shù)。
9.根據(jù)前述權(quán)利要求中任一項所述的方法，進一步包括：基于區(qū)間搜索來識別下一閾值排名，其中，所述下一閾值排名被識別為低于識別到?jīng)_突的當前閾值排名的最高排名級別，其中，針對所述當前閾值排名來確定所述最小數(shù)量的沖突規(guī)則，以及其中，高于所述當前閾值排名的排名級別是無沖突的。
10.根據(jù)前述權(quán)利要求中任一項所述的方法，進一步包括：當基于預定義類別分類時移除規(guī)則的集合中的規(guī)則，其中，所述預定義類別包括無效、冗余、否決和不合理中的至少一個。
該專利技術(shù)資料僅供研究查看技術(shù)是否侵權(quán)等信息，商用須獲得專利權(quán)人授權(quán)。該專利全部權(quán)利屬于西門子工業(yè)軟件有限公司，未經(jīng)西門子工業(yè)軟件有限公司許可，擅自商用是侵權(quán)行為。如果您想購買此專利、獲得商業(yè)授權(quán)和技術(shù)合作，請聯(lián)系【客服】
本文鏈接：http://www.szxzyx.cn/pat/books/202111507425.8/1.html，轉(zhuǎn)載請聲明來源鉆瓜專利網(wǎng)。
