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

有效

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

1.一種基于協同開發系統的構件交互關系建模系統，其特征在于，包括：

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

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

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

重組模塊，用于根據所述提取模塊提取的構件依賴關系將所述分解模塊得到的子模型與所述獲取模塊獲取到的構件關系描述模型中含有的構件重組得到重組模型，所述構件關系描述模型不包括所述重組模型；

規范化模塊，用于對所述重組模塊得到的重組模型進行規范化描述，所述規范化描述為無二義性、無歧義的形式化語言描述；

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

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

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

其中，所述驗證模塊，包括：第一驗證子模塊、組合子模塊和第二驗證子模塊；

所述第一驗證子模塊，用于根據所述規范化模塊的規范化描述對所述重組模型中的構件依賴關系進行邏輯證明、時序證明和數據分析得到第一驗證結果；所述邏輯證明具體為：對所述規范化描述中的邏輯關系表達式使用基于證明的推理機制驗證；所述時序證明具體為：用動態時序驗證的方法證明，包括確定測試向量、輸入模型、進行仿真、完整地測試每條路徑；所述數據分析具體為：驗證所述重組模型的數據類型錯誤，包括空指針錯誤、讀后寫錯誤、寫后讀錯誤、寫后寫錯誤；

所述組合子模塊，用于將所述邏輯證明、時序證明和數據分析兩兩組合得到組合表達式；

所述第二驗證子模塊，用于使用所述組合子模塊得到的組合表達式驗證所述第一驗證子模塊得到的第一驗證結果。

2.根據權利要求1所述的系統，其特征在于：所述構件關系描述模型，包括：文字形式的構件關系描述和E－R圖形式的構件關系模型；

所述文字形式的構件關系描述，包括數據類型、和/或數據依賴、和/或邏輯功能、和/或功能接口；

所述E－R圖形式的構件關系模型，具體為原始構件依賴關系。

3.根據權利要求1所述的系統，其特征在于，

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

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

4.根據權利要求1所述的系統，其特征在于，所述提取模塊提取到的所述構件關系描述模型中的構件依賴關系包括：一對多關系、多對多關系、多對一關系。

5.根據權利要求1所述的系統，其特征在于，所述規范化模塊，具體用于：

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