[發(fā)明專(zhuān)利]配置技術(shù)系統(tǒng)的設(shè)備和方法

在審

• 申請(qǐng)?zhí)枺?/td>: 202111507425.8
• 申請(qǐng)日: 2021-12-10
• 公開(kāi)（公告）號(hào): CN114625435A
• 公開(kāi)（公告）日: 2022-06-14
• 發(fā)明（設(shè)計(jì)）人: 桑托什·庫(kù)馬爾·辛格;托馬斯·莫勒
• 申請(qǐng)（專(zhuān)利權(quán)）人: 西門(mén)子工業(yè)軟件有限公司
• 主分類(lèi)號(hào): G06F9/445
• 分類(lèi)號(hào): G06F9/445
• 代理公司: 北京康信知識(shí)產(chǎn)權(quán)代理有限責(zé)任公司 11240
• 代理人: 陳方鳴

本發(fā)明公開(kāi)了配置技術(shù)系統(tǒng)的設(shè)備和方法。該方法包括：生成用于技術(shù)系統(tǒng)的配置模型，其中根據(jù)技術(shù)系統(tǒng)的配置標(biāo)準(zhǔn)生成配置模型及其中配置模型將技術(shù)系統(tǒng)表示為信息模型以及其中生成配置模型包括：基于與技術(shù)系統(tǒng)相關(guān)聯(lián)的約束驗(yàn)證配置標(biāo)準(zhǔn)，其中當(dāng)沒(méi)有違反具有大于或等于閾值嚴(yán)重性的嚴(yán)重性級(jí)別的約束時(shí)，配置標(biāo)準(zhǔn)有效；識(shí)別驗(yàn)證的配置標(biāo)準(zhǔn)的最大可滿(mǎn)足規(guī)則集，其中最大可滿(mǎn)足規(guī)則集為空或包括約束規(guī)則和/或默認(rèn)規(guī)則，其中最大可滿(mǎn)足規(guī)則集通過(guò)以下方式識(shí)別：確定待移除最小數(shù)量沖突規(guī)則以解決與驗(yàn)證的配置標(biāo)準(zhǔn)的沖突，其中最小數(shù)量沖突規(guī)則是針對(duì)級(jí)別低于閾值嚴(yán)重性的規(guī)則確定的；以及移除最小數(shù)量沖突規(guī)則中的至少一個(gè)以生成最大可滿(mǎn)足規(guī)則集。

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

本發(fā)明涉及配置技術(shù)系統(tǒng)的設(shè)備和方法。尤其是本發(fā)明涉及生成用于技術(shù)系統(tǒng)的配置模型。

背景技術(shù)

通常，配置模型是技術(shù)系統(tǒng)的信息模型。在配置模型中，技術(shù)系統(tǒng)可以被描述為遵守某些約束或規(guī)則。當(dāng)設(shè)置用于技術(shù)系統(tǒng)的配置模型時(shí)，定義控制用戶(hù)可以從中選擇的值的集合以便配置有效產(chǎn)品的規(guī)則起著關(guān)鍵作用。配置設(shè)備/求解器通常支持多種規(guī)則類(lèi)型。多種規(guī)則類(lèi)型定義了配置模型元素之間的關(guān)系，例如兩個(gè)配置設(shè)置之間的相關(guān)性或不兼容規(guī)則。

隨著技術(shù)系統(tǒng)的配置模型中配置特征的數(shù)量不斷增加，有必要定義合適的默認(rèn)規(guī)則來(lái)設(shè)計(jì)用戶(hù)友好的配置求解器。默認(rèn)規(guī)則的目的是嘗試對(duì)用戶(hù)對(duì)配置選項(xiàng)的選擇進(jìn)行良好的預(yù)測(cè)，而不限制從技術(shù)系統(tǒng)的特征的全部范圍的可變性中進(jìn)行選擇的靈活性。

配置求解器具有的默認(rèn)規(guī)則越多，用戶(hù)就越容易設(shè)置準(zhǔn)備好驗(yàn)證、測(cè)試、制造或購(gòu)買(mǎi)的技術(shù)系統(tǒng)配置。用戶(hù)體驗(yàn)的質(zhì)量在很大程度上取決于這些默認(rèn)規(guī)則成功預(yù)測(cè)用戶(hù)偏好的能力。因此，許多產(chǎn)品配置模型定義了用于大多數(shù)(如果不是全部)配置選項(xiàng)的默認(rèn)規(guī)則。在許多情況下，假定用戶(hù)對(duì)給定配置選項(xiàng)的偏好取決于對(duì)其它配置選項(xiàng)所做的選擇。因此，取決于用戶(hù)對(duì)其它配置選項(xiàng)的選擇，多個(gè)默認(rèn)規(guī)則針對(duì)相同的配置選項(xiàng)導(dǎo)出不同的值是很常見(jiàn)的。

通常存在一個(gè)或多個(gè)默認(rèn)規(guī)則、一個(gè)或多個(gè)約束規(guī)則和/或一個(gè)或多個(gè)用戶(hù)選擇彼此沖突的許多條件。例如，在配置計(jì)算機(jī)鍵盤(pán)時(shí)，一個(gè)默認(rèn)規(guī)則可能會(huì)基于送貨地址選擇鍵盤(pán)布局(比如QWERTY與QWERTZ)。而另一個(gè)默認(rèn)規(guī)則評(píng)估賬單地址以建議鍵盤(pán)布局。如果帳單地址和送貨地址不同，則兩個(gè)默認(rèn)規(guī)則彼此沖突。

通常存在需要解決的多個(gè)沖突規(guī)則以生成配置模型。解決具有默認(rèn)規(guī)則的配置模型的已知方法包括順序處理和形式默認(rèn)邏輯。這些已知方法具有如下所述的缺點(diǎn)。

在順序處理中，默認(rèn)規(guī)則的行為由a)默認(rèn)規(guī)則公式和b)它在靜態(tài)序列中的相對(duì)位置的組合來(lái)定義。這會(huì)產(chǎn)生一些次要問(wèn)題，諸如設(shè)置默認(rèn)規(guī)則更加困難，因?yàn)樽髡哌€需要注意其放置。默認(rèn)規(guī)則的公式及其相對(duì)位置不能單獨(dú)更改。隨著默認(rèn)規(guī)則的增加數(shù)量，評(píng)估給定默認(rèn)規(guī)則的確切行為變得越來(lái)越困難。通常需要進(jìn)行大量的分析和測(cè)試。單個(gè)靜態(tài)序列通常不允許每個(gè)默認(rèn)規(guī)則都達(dá)到每個(gè)配置標(biāo)準(zhǔn)的最優(yōu)效果。此外，大量的默認(rèn)規(guī)則及其前提條件的復(fù)雜性使得越來(lái)越難以找到可以在一次通過(guò)序列中處理所有場(chǎng)景的一個(gè)靜態(tài)序列。在許多情況下，不存在“一次通過(guò)”序列。因此，通常的做法是多次循環(huán)所有默認(rèn)規(guī)則，這會(huì)導(dǎo)致響應(yīng)時(shí)間不好。

形式默認(rèn)邏輯是一種非單調(diào)邏輯，并且定義了包括3個(gè)元素的默認(rèn)假設(shè)：前提條件、一個(gè)或多個(gè)理由條件和結(jié)論條件。這會(huì)產(chǎn)生兩個(gè)問(wèn)題：首先，聲明式約束/配置求解器中不支持形式默認(rèn)邏輯。其次，實(shí)現(xiàn)形式默認(rèn)邏輯的算法通常是超指數(shù)縮放的。評(píng)估所有“默認(rèn)擴(kuò)展”具有階乘的可擴(kuò)展性并且因此很快就無(wú)法使用。

因此，生成配置模型的設(shè)備和方法可以從改進(jìn)中受益。特別地，配置設(shè)備/解算器可以從具有較低計(jì)算工作量的更高可靠性中受益。

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