[發明專利]一種基于協同開發系統的構件交互關系建模系統

有效

• 申請號: 201710433623.1
• 申請日: 2017-06-09
• 公開（公告）號: CN107256308B
• 公開（公告）日: 2019-10-08
• 發明（設計）人: 史建琦;陳心宇;黃滟鴻;李昂;王泊涵
• 申請（專利權）人: 華東師范大學;上海豐蕾信息科技有限公司
• 主分類號: G06F17/50
• 分類號: G06F17/50
• 代理公司: 北京辰權知識產權代理有限公司 11619
• 代理人: 董李欣

本發明公開了一種基于協同開發系統的構件交互關系建模系統，屬于控制軟件的協同開發技術、形式化驗證領域。所述系統包括：獲取模塊，用于獲取構件關系描述模型；提取模塊，用于提取構件關系描述模型中的構件依賴關系；分解模塊，用于根據構件依賴關系分解構件關系描述模型得到子模型；重組模塊，用于將子模型與構件關系描述模型中含有的構件重組得到重組模型；規范化模塊，用于對重組模型進行規范化描述；驗證模塊，用于根據規規范化描述驗證重組模型中的構件依賴關系；輸入模塊，用于當驗證模塊驗證成功時，將重組模型作為構件交互關系模型并輸出；獲取模塊，還用于當驗證模塊驗證失敗時，獲取構件關系描述模型。

技術領域

本發明涉及控制軟件的協同開發技術、形式化驗證領域，尤其涉及一種基于協同開發系統的構件交互關系建模系統。

背景技術

在協同開發中，各個軟件構件之間存在多種關系，當某個構件發生變化時，協同開發系統需要具備至少以下功能：(1)分析發現對其依賴的構件是否能夠正常工作；(2)明確該構件與規范構件之間的邏輯關系。即，在協同開發中需要深入研究并解決在協同過程中可能出現的多種協同關系，來確保人、代碼、數據和系統等協同構件之間安全高效地進行協同。

面對現階段協同開發過程中可能遇到的構件交互關系不清、人員與協同件關系不明、數據關系不明確及開發過程順序關系模糊等問題，有效的對協同開發系統中的構件交互關系進行建模至關重要。

發明內容

為解決現有技術的缺陷，本發明一種基于協同開發系統的構件交互關系建模系統，包括：

獲取模塊，用于獲取構件關系描述模型；

提取模塊，用于提取所述獲取模塊獲取到的構件關系描述模型中的構件依賴關系；

分解模塊，用于根據所述提取模塊提取的構件依賴關系分解所述獲取模塊獲取到的構件關系描述模型得到子模型；

重組模塊，用于將所述分解模塊得到的子模型與所述獲取模塊獲取到的構件關系描述模型中含有的構件重組得到重組模型；

規范化模塊，用于對所述重組模塊得到的重組模型進行規范化描述；

驗證模塊，用于根據所述規范化模塊的規范化描述驗證所述重組模型中的構件依賴關系；

輸入模塊，用于當所述驗證模塊驗證成功時，將所述重組模型作為構件交互關系模型并輸出；

所述獲取模塊，還用于當所述驗證模塊驗證失敗時，獲取構件關系描述模型。

可選地，所述構件關系描述模型，包括：文字形式的構件關系描述和E-R圖形式的構件關系模型；所述文字形式的構件關系描述，包括數據類型、和或數據依賴、和或邏輯功能、和或功能接口；所述E-R圖形式的構件關系模型，具體為原始構件依賴關系。

可選地，所述獲取模塊，具體用于：通過彈框等待并接收開發人員從中輸入的文件存儲地址，根據所述文件存儲地址獲取文件中的構件關系描述模型；

所述提取模塊，具體用于：對所述文件進行預處理，并通過自然語義處理技術對所述文件中的內容進行理解后，提取新的構件關系作為構件依賴關系。

可選地，所述提取模塊提取到的所述構件關系描述模型中的構件依賴關系包括：一對多關系、多對多關系、多對一關系。

可選地，所述分解模塊，具體用于：根據所述提取模塊提取的構件依賴關系對所述構件關系描述模型依據構件的相關度進行分解得到子模型。

可選地，所述規范化模塊，具體用于：對所述重組模塊得到的重組模型中的構件性質運用邏輯演算將不同構件之間的規范描述為邏輯表達式，并在所述構件上建立時序約束和集成約束，得到邏輯關系表達式、時序關系表達式和構件集成規則。