本發(fā)明涉及控制軟件的協(xié)同開(kāi)發(fā)技術(shù)、形式化驗(yàn)證領(lǐng)域，尤其涉及一種基于協(xié)同開(kāi)發(fā)系統(tǒng)的構(gòu)件交互關(guān)系建模方法。

背景技術(shù)：

在協(xié)同開(kāi)發(fā)中，各個(gè)軟件構(gòu)件之間存在多種關(guān)系，當(dāng)某個(gè)構(gòu)件發(fā)生變化時(shí)，協(xié)同開(kāi)發(fā)系統(tǒng)需要具備至少以下功能：(1)分析發(fā)現(xiàn)對(duì)其依賴的構(gòu)件是否能夠正常工作；(2)明確該構(gòu)件與規(guī)范構(gòu)件之間的邏輯關(guān)系。即，在協(xié)同開(kāi)發(fā)中需要深入研究并解決在協(xié)同過(guò)程中可能出現(xiàn)的多種協(xié)同關(guān)系，來(lái)確保人、代碼、數(shù)據(jù)和工具等協(xié)同構(gòu)件之間安全高效地進(jìn)行協(xié)同。

面對(duì)現(xiàn)階段協(xié)同開(kāi)發(fā)過(guò)程中可能遇到的構(gòu)件交互關(guān)系不清、人員與協(xié)同件關(guān)系不明、數(shù)據(jù)關(guān)系不明確及開(kāi)發(fā)過(guò)程順序關(guān)系模糊等問(wèn)題，有效的對(duì)協(xié)同開(kāi)發(fā)系統(tǒng)中的構(gòu)件交互關(guān)系進(jìn)行建模至關(guān)重要。

技術(shù)實(shí)現(xiàn)要素：

為解決現(xiàn)有技術(shù)的缺陷，本發(fā)明提供一種基于協(xié)同開(kāi)發(fā)系統(tǒng)的構(gòu)件交互關(guān)系建模方法，包括：

步驟s1：獲取構(gòu)件關(guān)系描述模型；

步驟s2：提取所述構(gòu)件關(guān)系描述模型中的構(gòu)件依賴關(guān)系，根據(jù)所述構(gòu)件依賴關(guān)系分解所述構(gòu)件關(guān)系描述模型得到子模型，將所述子模型與所述構(gòu)件關(guān)系描述模型中含有的構(gòu)件重組得到重組模型；

步驟s3：對(duì)所述重組模型進(jìn)行規(guī)范化描述；

步驟s4：根據(jù)所述規(guī)范化描述驗(yàn)證所述重組模型中的構(gòu)件依賴關(guān)系，如驗(yàn)證成功，則將所述重組模型作為構(gòu)件交互關(guān)系模型并輸出，結(jié)束；如驗(yàn)證失敗，則返回步驟s1。

可選地，所述構(gòu)件關(guān)系描述模型，包括：文字形式的構(gòu)件關(guān)系描述和e-r圖形式的構(gòu)件關(guān)系模型；所述文字形式的構(gòu)件關(guān)系描述，包括數(shù)據(jù)類型、和或數(shù)據(jù)依賴、和或邏輯功能、和或功能接口；所述e-r圖形式的構(gòu)件關(guān)系模型，具體為原始構(gòu)件依賴關(guān)系。

可選地，所述步驟s1，具體為：通過(guò)彈框等待并接收開(kāi)發(fā)人員從中輸入的文件存儲(chǔ)地址，根據(jù)所述文件存儲(chǔ)地址獲取文件中的構(gòu)件關(guān)系描述模型；

所述步驟s2中，所述提取所述構(gòu)件關(guān)系描述模型中的構(gòu)件依賴關(guān)系，具體為：對(duì)所述文件進(jìn)行預(yù)處理，并通過(guò)自然語(yǔ)義處理技術(shù)對(duì)所述文件中的內(nèi)容進(jìn)行理解后，提取新的構(gòu)件關(guān)系作為構(gòu)件依賴關(guān)系。

可選地，所述步驟s2中，提取到的所述構(gòu)件關(guān)系描述模型中的構(gòu)件依賴關(guān)系包括：一對(duì)多關(guān)系、多對(duì)多關(guān)系、多對(duì)一關(guān)系。

可選地，所述步驟s2中，所述根據(jù)所述構(gòu)件依賴關(guān)系分解所述構(gòu)件關(guān)系描述模型得到子模型，具體為：根據(jù)所述構(gòu)件依賴關(guān)系對(duì)所述構(gòu)件關(guān)系描述模型依據(jù)構(gòu)件的相關(guān)度進(jìn)行分解得到子模型。

可選地，所述步驟s3，具體為：對(duì)所述重組模型中的構(gòu)件性質(zhì)運(yùn)用邏輯演算將不同構(gòu)件之間的規(guī)范描述為邏輯表達(dá)式，并在所述構(gòu)件上建立時(shí)序約束和集成約束，得到邏輯關(guān)系表達(dá)式、時(shí)序關(guān)系表達(dá)式和構(gòu)件集成規(guī)則。

可選地，所述步驟s4中，所述根據(jù)所述規(guī)范化描述驗(yàn)證所述重組模型中的構(gòu)件依賴關(guān)系，具體包括：

步驟a1：根據(jù)所述規(guī)范化描述對(duì)所述重組模型中的構(gòu)件依賴關(guān)系進(jìn)行邏輯證明、時(shí)序證明和數(shù)據(jù)分析得到第一驗(yàn)證結(jié)果；

步驟a2：將所述邏輯證明、時(shí)序證明和數(shù)據(jù)分析兩兩組合得到組合表達(dá)式；

步驟a3：使用所述組合表達(dá)式驗(yàn)證所述第一驗(yàn)證結(jié)果。

所述邏輯證明，具體為：對(duì)所述規(guī)范化描述中的邏輯關(guān)系表達(dá)式使用基于證明的推理機(jī)制驗(yàn)證；

所述時(shí)序證明，具體為：用動(dòng)態(tài)時(shí)序驗(yàn)證的方法證明，包括確定測(cè)試向量、輸入模型、進(jìn)行仿真、完整地測(cè)試每條路徑；

所述數(shù)據(jù)分析，具體為：驗(yàn)證所述重組模型的數(shù)據(jù)類型錯(cuò)誤，包括空指針錯(cuò)誤、讀后寫錯(cuò)誤、寫后讀錯(cuò)誤、寫后寫錯(cuò)誤。

可選地，在所述步驟s4中，返回步驟s1之前，還包括：

修改所述構(gòu)件關(guān)系描述模型，調(diào)整不同構(gòu)件之間的依賴關(guān)系得到新的構(gòu)件關(guān)系描述模型；

在所述步驟s4中，返回步驟s1之后，所述步驟s1，具體為：獲取所述新的構(gòu)件關(guān)系描述模型。

本發(fā)明的優(yōu)點(diǎn)在于：

通過(guò)本發(fā)明公開(kāi)的建模方法，建立由一系列有序的、多層次的、結(jié)構(gòu)化的規(guī)則組成的構(gòu)件交互模型，解決了在協(xié)同開(kāi)發(fā)過(guò)程中構(gòu)件交互關(guān)系不清的問(wèn)題，確保了人、代碼、數(shù)據(jù)和工具等協(xié)同構(gòu)件之間安全高效地協(xié)同。

附圖說(shuō)明

通過(guò)閱讀下文優(yōu)選實(shí)施方式的詳細(xì)描述，各種其他的優(yōu)點(diǎn)和益處對(duì)于本領(lǐng)域普通技術(shù)人員將變得清楚明了。附圖僅用于示出優(yōu)選實(shí)施方式的目的，而并不認(rèn)為是對(duì)本發(fā)明的限制。而且在整個(gè)附圖中，用相同的參考符號(hào)表示相同的部件。在附圖中：

附圖1為本發(fā)明提供的一種基于協(xié)同開(kāi)發(fā)系統(tǒng)的構(gòu)件交互關(guān)系建模方法框架圖；

附圖2為本發(fā)明提供的一種基于協(xié)同開(kāi)發(fā)系統(tǒng)的構(gòu)件交互關(guān)系建模方法流程圖；

附圖3位本發(fā)明提供的一種基于協(xié)同開(kāi)發(fā)系統(tǒng)的構(gòu)件交互關(guān)系建模工具框圖。

具體實(shí)施方式

下面將參照附圖更詳細(xì)地描述本公開(kāi)的示例性實(shí)施方式。雖然附圖中顯示了本公開(kāi)的示例性實(shí)施方式，然而應(yīng)當(dāng)理解，可以以各種形式實(shí)現(xiàn)本公開(kāi)而不應(yīng)被這里闡述的實(shí)施方式所限制。相反，提供這些實(shí)施方式是為了能夠更透徹地理解本公開(kāi)，并且能夠?qū)⒈竟_(kāi)的范圍完整的傳達(dá)給本領(lǐng)域的技術(shù)人員。

根據(jù)本發(fā)明的實(shí)施方式，提出一種基于協(xié)同開(kāi)發(fā)系統(tǒng)的構(gòu)件交互關(guān)系建模方法，其概要思想如圖1所示，包括：構(gòu)件關(guān)系需求階段，即獲取構(gòu)件關(guān)系描述和構(gòu)件關(guān)系模型；基于獲取的構(gòu)件關(guān)系描述和構(gòu)件關(guān)系模型進(jìn)行模型與構(gòu)件整合，包括構(gòu)件依賴關(guān)系提取、模型分解、構(gòu)件與模型重新整合等；然后對(duì)整合后的模型進(jìn)行無(wú)二義性、無(wú)歧義的形式化語(yǔ)言描述，即進(jìn)行規(guī)范形式化；由于參與協(xié)同的構(gòu)件必須共同遵從同樣的規(guī)則和約定，而整合后的模型并沒(méi)有經(jīng)過(guò)驗(yàn)證，可能存在影響人、代碼、數(shù)據(jù)和工具等協(xié)同構(gòu)件之間的依賴關(guān)系異常、沖突等問(wèn)題，因此需要對(duì)各個(gè)構(gòu)件之間的依賴關(guān)系進(jìn)行形式化驗(yàn)證，即進(jìn)行模型驗(yàn)證；其中，驗(yàn)證方法包括邏輯證明、組合驗(yàn)證、數(shù)據(jù)分析、時(shí)序驗(yàn)證等；當(dāng)驗(yàn)證正確時(shí)，輸出構(gòu)件交互關(guān)系模型，當(dāng)驗(yàn)證錯(cuò)誤時(shí)，返回構(gòu)件關(guān)系需求階段；通過(guò)多重驗(yàn)證，保證了整合后的模型的可靠性，并根據(jù)驗(yàn)證結(jié)果的正確性決定是否需要重新整合模型。

該建模方法還基于模型與構(gòu)件庫(kù)的支撐，其將各數(shù)據(jù)存儲(chǔ)在分布式數(shù)據(jù)庫(kù)中，使得數(shù)據(jù)分散存儲(chǔ)在各網(wǎng)絡(luò)連接的數(shù)據(jù)節(jié)點(diǎn)上，具有高擴(kuò)展性、高并發(fā)性、高可用性等特點(diǎn)；其中，模型與構(gòu)件庫(kù)包括：行為模型庫(kù)、涉及模型庫(kù)、需求模型庫(kù)、架構(gòu)模型庫(kù)、構(gòu)件庫(kù)、樣例工程庫(kù)等。

本發(fā)明中，以關(guān)系模型的方式刻畫各個(gè)協(xié)同構(gòu)件之間的邏輯關(guān)系，最后通過(guò)形式化驗(yàn)證的方法，得到由一系列有序的、多層次、結(jié)構(gòu)化的規(guī)則組成的構(gòu)件交互關(guān)系模型。

實(shí)施例一

根據(jù)本發(fā)明的實(shí)施方式，提供一種基于協(xié)同開(kāi)發(fā)系統(tǒng)的構(gòu)件交互關(guān)系建模方法，如圖2所示，包括：

步驟101：獲取構(gòu)件關(guān)系描述模型；

步驟102：提取構(gòu)件關(guān)系描述模型中的構(gòu)件依賴關(guān)系，根據(jù)構(gòu)件依賴關(guān)系分解構(gòu)件關(guān)系描述模型得到子模型，將得到的子模型與構(gòu)件關(guān)系描述模型中含有的構(gòu)件重組得到重組模型；

步驟103：對(duì)重組模型進(jìn)行規(guī)范化描述；

步驟104：根據(jù)規(guī)范化描述驗(yàn)證重組模型中的構(gòu)件依賴關(guān)系，如驗(yàn)證成功，則將重組模型作為構(gòu)件交互關(guān)系模型并輸出，結(jié)束；如驗(yàn)證失敗，則返回步驟101。

根據(jù)本發(fā)明的實(shí)施方式，構(gòu)件關(guān)系描述模型，包括：文字形式的構(gòu)件關(guān)系描述和e-r圖形式的構(gòu)件關(guān)系模型；

其中，文字形式的構(gòu)件關(guān)系描述，包括數(shù)據(jù)類型、和或數(shù)據(jù)依賴、和或邏輯功能、和或功能接口；e-r圖形式的構(gòu)件關(guān)系模型，具體為原始構(gòu)件依賴關(guān)系。

根據(jù)本發(fā)明的實(shí)施方式，步驟101，具體為：通過(guò)彈框等待并接收開(kāi)發(fā)人員從中輸入的文件存儲(chǔ)地址，根據(jù)所述文件存儲(chǔ)地址獲取文件中的構(gòu)件關(guān)系描述模型；

對(duì)應(yīng)地，步驟102中，提取構(gòu)件關(guān)系描述模型中的構(gòu)件依賴關(guān)系，具體包括：對(duì)所述文件進(jìn)行預(yù)處理，并通過(guò)自然語(yǔ)義處理技術(shù)對(duì)文件中的構(gòu)件關(guān)系描述模型進(jìn)行理解后，提取新的構(gòu)件關(guān)系作為構(gòu)件依賴關(guān)系。

進(jìn)一步地，當(dāng)開(kāi)發(fā)人員輸入的文件存儲(chǔ)地址不存在時(shí)，還包括：彈框提示文件不存在。

根據(jù)本發(fā)明的實(shí)施方式，步驟102中，提取到的構(gòu)件關(guān)系描述模型中的構(gòu)件依賴關(guān)系包括但不限于：一對(duì)多關(guān)系、多對(duì)多關(guān)系、多對(duì)一關(guān)系。

根據(jù)本發(fā)明的實(shí)施方式，步驟102中，根據(jù)構(gòu)件依賴關(guān)系分解構(gòu)件關(guān)系描述模型得到子模型，具體為：根據(jù)構(gòu)件依賴關(guān)系對(duì)構(gòu)件關(guān)系描述模型依據(jù)構(gòu)件的相關(guān)度進(jìn)行分解得到子模型。

優(yōu)選地，本實(shí)施例步驟102中，將子模型與構(gòu)件關(guān)系描述模型中含有的構(gòu)件重組得到重組模型之后，還包括：生成重組模型文件并保存；

對(duì)應(yīng)地，步驟103之前，還包括：讀取保存的重組模型文件；

對(duì)應(yīng)地，步驟103具體為：根據(jù)讀取到的重組模型文件對(duì)重組模型進(jìn)行規(guī)范化描述。

根據(jù)本發(fā)明的實(shí)施方式，步驟103，具體為：對(duì)重組模型中的構(gòu)件性質(zhì)運(yùn)用邏輯演算將不同構(gòu)件之間的規(guī)范描述為邏輯表達(dá)式，并在構(gòu)件上建立時(shí)序約束和集成約束，得到邏輯關(guān)系表達(dá)式、時(shí)序關(guān)系表達(dá)式和構(gòu)件集成規(guī)則。

根據(jù)本發(fā)明的實(shí)施方式，步驟104中，根據(jù)規(guī)范化描述驗(yàn)證重組模型中的構(gòu)件依賴關(guān)系，具體包括：

步驟a1：根據(jù)規(guī)范化描述對(duì)重組模型中的構(gòu)件依賴關(guān)系進(jìn)行邏輯證明、時(shí)序證明和數(shù)據(jù)分析得到第一驗(yàn)證結(jié)果；

步驟a2：將邏輯證明、時(shí)序證明和數(shù)據(jù)分析兩兩組合得到組合表達(dá)式；

步驟a3：使用組合表達(dá)式驗(yàn)證第一驗(yàn)證結(jié)果。

其中，邏輯證明，具體為：對(duì)規(guī)范化描述中的邏輯關(guān)系表達(dá)式使用基于證明的推理機(jī)制驗(yàn)證；

時(shí)序證明，具體為：用動(dòng)態(tài)時(shí)序驗(yàn)證的方法證明，包括確定測(cè)試向量、輸入模型、進(jìn)行仿真、完整地測(cè)試每條路徑；

數(shù)據(jù)分析，具體為：驗(yàn)證重組模型的數(shù)據(jù)類型錯(cuò)誤，包括空指針錯(cuò)誤、讀后寫錯(cuò)誤、寫后讀錯(cuò)誤、寫后寫錯(cuò)誤。

在本實(shí)施例中，重組模型以圖的形式表現(xiàn)，由于重組模型沒(méi)有經(jīng)驗(yàn)，因此可能存在人、代碼、數(shù)據(jù)和工具等協(xié)同構(gòu)件之間的依賴關(guān)系異常、沖突等問(wèn)題；根據(jù)規(guī)范化描述對(duì)重組模型中的構(gòu)件依賴關(guān)系進(jìn)行多重驗(yàn)證，保證了重組模型的可靠性，并根據(jù)驗(yàn)證結(jié)果的正確性決定是否需要重組模型。

根據(jù)本發(fā)明的實(shí)施方式，在步驟104中，返回步驟101之前，還包括：

修改構(gòu)件關(guān)系描述模型，調(diào)整不同構(gòu)件之間的依賴關(guān)系得到新的構(gòu)件關(guān)系描述模型；

對(duì)應(yīng)地，在步驟104中，返回步驟101之后，步驟101具體為：獲取新的構(gòu)件關(guān)系描述模型。

其中，修改構(gòu)件關(guān)系描述模型，調(diào)整不同構(gòu)件之間的依賴關(guān)系得到新的構(gòu)件關(guān)系描述模型，具體為：人為的修改構(gòu)件關(guān)系描述模型，調(diào)整不同構(gòu)件之間的依賴關(guān)系得到新的構(gòu)件關(guān)系描述模型。

優(yōu)選地，本實(shí)施例步驟104中，在根據(jù)規(guī)范化描述驗(yàn)證重組模型中的構(gòu)件依賴關(guān)系的過(guò)程中，當(dāng)返回的驗(yàn)證結(jié)果為true時(shí)，判定重組模型正確；當(dāng)返回的驗(yàn)證結(jié)果為false時(shí)，判定重組模型存在沖突、異常等問(wèn)題。

進(jìn)一步地，在本實(shí)施例中，在判定重組模型正確之后，還可以包括：經(jīng)總線適配器將其發(fā)布到各個(gè)開(kāi)發(fā)者的本地電腦中。

實(shí)施例二

根據(jù)本發(fā)明的實(shí)施方式，提供一種基于協(xié)同開(kāi)發(fā)系統(tǒng)的構(gòu)件交互關(guān)系建模工具，如圖3所示，包括：

獲取模塊201，用于獲取構(gòu)件關(guān)系描述模型；

提取模塊202，用于提取獲取模塊201獲取到的構(gòu)件關(guān)系描述模型中的構(gòu)件依賴關(guān)系；

分解模塊203，用于根據(jù)提取模塊202提取的構(gòu)件依賴關(guān)系分解獲取模塊201獲取到的構(gòu)件關(guān)系描述模型得到子模型；

重組模塊204，用于將分解模塊203得到的子模型與獲取模塊201獲取到的構(gòu)件關(guān)系描述模型中含有的構(gòu)件重組得到重組模型；

規(guī)范化模塊205，用于對(duì)重組模塊204得到的重組模型進(jìn)行規(guī)范化描述；

驗(yàn)證模塊206，用于根據(jù)規(guī)范化模塊205的規(guī)范化描述驗(yàn)證重組模型中的構(gòu)件依賴關(guān)系；

輸出模塊207，用于當(dāng)驗(yàn)證模塊206驗(yàn)證成功時(shí)，將重組模型作為構(gòu)件交互關(guān)系模型并輸出；

獲取模塊201，還用于當(dāng)驗(yàn)證模塊206驗(yàn)證失敗時(shí)，獲取構(gòu)件關(guān)系描述模型。

根據(jù)本發(fā)明的實(shí)施方式，構(gòu)件關(guān)系描述模型，包括：文字形式的構(gòu)件關(guān)系描述和e-r圖形式的構(gòu)件關(guān)系模型；

其中，文字形式的構(gòu)件關(guān)系描述，包括數(shù)據(jù)類型、和或數(shù)據(jù)依賴、和或邏輯功能、和或功能接口；e-r圖形式的構(gòu)件關(guān)系模型，具體為原始構(gòu)件依賴關(guān)系。

根據(jù)本發(fā)明的實(shí)施方式，獲取模塊201，具體用于：通過(guò)彈框等待并接收開(kāi)發(fā)人員從中輸入的文件存儲(chǔ)地址，根據(jù)文件存儲(chǔ)地址獲取文件中的構(gòu)件關(guān)系描述模型；

對(duì)應(yīng)地，提取模塊202，具體用于：對(duì)所述文件進(jìn)行預(yù)處理，并通過(guò)自然語(yǔ)義處理技術(shù)對(duì)文件中的內(nèi)容進(jìn)行理解后，提取新的構(gòu)件關(guān)系作為構(gòu)件依賴關(guān)系。

根據(jù)本發(fā)明的實(shí)施方式，提取模塊202提取到的構(gòu)件關(guān)系描述模型中的構(gòu)件依賴關(guān)系包括但不限于：一對(duì)多關(guān)系、多對(duì)多關(guān)系、多對(duì)一關(guān)系。

根據(jù)本發(fā)明的實(shí)施方式，分解模塊203，具體用于：根據(jù)提取模塊202提取的構(gòu)件依賴關(guān)系對(duì)構(gòu)件關(guān)系描述模型依據(jù)構(gòu)件的相關(guān)度進(jìn)行分解得到子模型。

根據(jù)本發(fā)明的實(shí)施方式，規(guī)范化模塊205，具體用于：對(duì)重組模塊204得到的重組模型中的構(gòu)件性質(zhì)運(yùn)用邏輯演算將不同構(gòu)件之間的規(guī)范描述為邏輯表達(dá)式，并在構(gòu)件上建立時(shí)序約束和集成約束，得到邏輯關(guān)系表達(dá)式、時(shí)序關(guān)系表達(dá)式和構(gòu)件集成規(guī)則。

根據(jù)本發(fā)明的實(shí)施方式，驗(yàn)證模塊206，包括：第一驗(yàn)證子模塊、組合子模塊和第二驗(yàn)證子模塊；

其中，第一驗(yàn)證子模塊，用于根據(jù)規(guī)范化模塊205的規(guī)范化描述對(duì)重組模型中的構(gòu)件依賴關(guān)系進(jìn)行邏輯證明、時(shí)序證明和數(shù)據(jù)分析得到第一驗(yàn)證結(jié)果；

組合子模塊，用于將邏輯證明、時(shí)序證明和數(shù)據(jù)分析兩兩組合得到組合表達(dá)式；

第二驗(yàn)證子模塊，用于使用組合子模塊得到的組合表達(dá)式驗(yàn)證第一驗(yàn)證子模塊得到的第一驗(yàn)證結(jié)果。

其中，邏輯證明，具體為：對(duì)規(guī)范化描述中的邏輯關(guān)系表達(dá)式使用基于證明的推理機(jī)制驗(yàn)證；

時(shí)序證明，具體為：用動(dòng)態(tài)時(shí)序驗(yàn)證的方法證明，包括確定測(cè)試向量、輸入模型、進(jìn)行仿真、完整地測(cè)試每條路徑；

數(shù)據(jù)分析，具體為：驗(yàn)證重組模型的數(shù)據(jù)類型錯(cuò)誤，包括空指針錯(cuò)誤、讀后寫錯(cuò)誤、寫后讀錯(cuò)誤、寫后寫錯(cuò)誤。

根據(jù)本發(fā)明的實(shí)施方式，當(dāng)驗(yàn)證模塊206驗(yàn)證失敗時(shí)，還包括：人為的修改構(gòu)件關(guān)系描述模型，調(diào)整不同構(gòu)件之間的依賴關(guān)系得到新的構(gòu)件關(guān)系描述模型；

對(duì)應(yīng)地，獲取模塊201，具體用于：當(dāng)驗(yàn)證模塊206驗(yàn)證失敗時(shí)，獲取所述新的構(gòu)件關(guān)系描述模型。

本發(fā)明中的工具，還包括：模型與構(gòu)件庫(kù)模塊，其用于存儲(chǔ)協(xié)同開(kāi)發(fā)所需要的軟件構(gòu)架與需求設(shè)計(jì)，包括但不限于：行為模型庫(kù)、架構(gòu)模型庫(kù)、設(shè)計(jì)模型庫(kù)、構(gòu)件庫(kù)、需求模型庫(kù)、樣例工程庫(kù)。

進(jìn)一步地，模型與構(gòu)件庫(kù)模塊將各數(shù)據(jù)存儲(chǔ)在分布式數(shù)據(jù)庫(kù)中，使得數(shù)據(jù)分散存儲(chǔ)在各網(wǎng)絡(luò)連接的數(shù)據(jù)節(jié)點(diǎn)上，具有高擴(kuò)展性、高并發(fā)性、高可用性等特點(diǎn)。

實(shí)施例三

本實(shí)施例中，以進(jìn)行新能源汽車控制軟件的開(kāi)發(fā)為例，將本分發(fā)明公開(kāi)的一種基于協(xié)同開(kāi)發(fā)系統(tǒng)的構(gòu)件交互關(guān)系建模方法及工具進(jìn)行進(jìn)一步說(shuō)明。

隨著汽車技術(shù)日新月異的發(fā)展，純電動(dòng)汽車、增程式電動(dòng)汽車、混合動(dòng)力汽車、燃料電池電動(dòng)汽車、氫發(fā)動(dòng)機(jī)汽車等新能源汽車走進(jìn)了人們的視野。汽車控制軟件需要很高的可靠性、實(shí)時(shí)性。否則，其在行駛過(guò)程中會(huì)造成生命安全及財(cái)產(chǎn)的損失。使用本發(fā)明中的一種基于協(xié)同開(kāi)發(fā)系統(tǒng)的構(gòu)件交互關(guān)系建模工具及建模方法，可以在研制新能源汽車控制軟件的初期用建模的形式化方法給軟件的可靠性打下基礎(chǔ)。

應(yīng)用本發(fā)明中的工具，對(duì)新能源汽車控制軟件中的構(gòu)件交互關(guān)系建模，具體包括：

步驟a：獲取構(gòu)件關(guān)系描述模型；

具體地，通過(guò)彈框等待并接收開(kāi)發(fā)人員從中輸入的文件存儲(chǔ)地址，根據(jù)接收到的文件存儲(chǔ)地址獲取文件中的構(gòu)件關(guān)系描述模型。

步驟b：提取構(gòu)件關(guān)系描述模型中的構(gòu)件依賴關(guān)系，根據(jù)構(gòu)件依賴關(guān)系分解構(gòu)件關(guān)系描述模型得到子模型，將得到的子模型與構(gòu)件關(guān)系描述模型中含有的構(gòu)件重組得到重組模型；

例如，重組模型為噴油控制控件模型、剎車控制模型等；并生成重組模型文件保存在子目錄下。

步驟c：對(duì)重組模型進(jìn)行規(guī)范化描述；

具體地，讀取子目錄中的重組模型文件，并對(duì)重組模型進(jìn)行無(wú)二義性、無(wú)歧義的形式化語(yǔ)言描述，包括：邏輯關(guān)系表達(dá)式、時(shí)序關(guān)系表達(dá)式、構(gòu)件集成規(guī)則。

步驟d：根據(jù)規(guī)范化描述驗(yàn)證重組模型中的構(gòu)件依賴關(guān)系，如驗(yàn)證成功，則將重組模型作為構(gòu)件交互關(guān)系模型并輸出，結(jié)束；如驗(yàn)證失敗，則返回步驟a。

具體地，參與協(xié)同的構(gòu)件必須共同遵從同樣的規(guī)則和約定，對(duì)重組模型中各個(gè)構(gòu)件依賴關(guān)系進(jìn)行形式化驗(yàn)證，驗(yàn)證方法包括：邏輯證明、時(shí)序驗(yàn)證、組合驗(yàn)證、數(shù)據(jù)分析。當(dāng)驗(yàn)證成功時(shí)，將重組模型作為新能源汽車控制軟件中的構(gòu)件交互關(guān)系模型并輸出，將其發(fā)布到各個(gè)開(kāi)發(fā)者的本地電腦中；當(dāng)驗(yàn)證失敗時(shí)，判定協(xié)同出現(xiàn)沖突、異常等問(wèn)題，則重新修改構(gòu)件關(guān)系描述模型。

通過(guò)本發(fā)明的技術(shù)方案，建立由一系列有序的、多層次的、結(jié)構(gòu)化的規(guī)則組成的構(gòu)件交互模型，解決了在協(xié)同開(kāi)發(fā)過(guò)程中構(gòu)件交互關(guān)系不清的問(wèn)題，確保了人、代碼、數(shù)據(jù)和工具等協(xié)同構(gòu)件之間安全高效地協(xié)同

以上所述，僅為本發(fā)明較佳的具體實(shí)施方式，但本發(fā)明的保護(hù)范圍并不局限于此，任何熟悉本技術(shù)領(lǐng)域的技術(shù)人員在本發(fā)明揭露的技術(shù)范圍內(nèi)，可輕易想到的變化或替換，都應(yīng)涵蓋在本發(fā)明的保護(hù)范圍之內(nèi)。因此，本發(fā)明的保護(hù)范圍應(yīng)以所述權(quán)利要求的保護(hù)范圍為準(zhǔn)。