[发明专利]一种基于协同开发系统的构件交互关系建模系统

权利要求书

1.一种基于协同开发系统的构件交互关系建模系统，其特征在于，包括：

获取模块，用于获取构件关系描述模型；

提取模块，用于提取所述获取模块获取到的构件关系描述模型中的构件依赖关系；

分解模块，用于根据所述提取模块提取的构件依赖关系对所述构件关系描述模型依据构件的相关度进行分解得到子模型；

重组模块，用于根据所述提取模块提取的构件依赖关系将所述分解模块得到的子模型与所述获取模块获取到的构件关系描述模型中含有的构件重组得到重组模型，所述构件关系描述模型不包括所述重组模型；

规范化模块，用于对所述重组模块得到的重组模型进行规范化描述，所述规范化描述为无二义性、无歧义的形式化语言描述；

验证模块，用于根据所述规范化模块的规范化描述验证所述重组模型中的构件依赖关系；

输入模块，用于当所述验证模块验证成功时，将所述重组模型作为构件交互关系模型并输出；

所述获取模块，还用于当所述验证模块验证失败时，获取新的构件关系描述模型；

其中，所述验证模块，包括：第一验证子模块、组合子模块和第二验证子模块；

所述第一验证子模块，用于根据所述规范化模块的规范化描述对所述重组模型中的构件依赖关系进行逻辑证明、时序证明和数据分析得到第一验证结果；所述逻辑证明具体为：对所述规范化描述中的逻辑关系表达式使用基于证明的推理机制验证；所述时序证明具体为：用动态时序验证的方法证明，包括确定测试向量、输入模型、进行仿真、完整地测试每条路径；所述数据分析具体为：验证所述重组模型的数据类型错误，包括空指针错误、读后写错误、写后读错误、写后写错误；

所述组合子模块，用于将所述逻辑证明、时序证明和数据分析两两组合得到组合表达式；

所述第二验证子模块，用于使用所述组合子模块得到的组合表达式验证所述第一验证子模块得到的第一验证结果。

2.根据权利要求1所述的系统，其特征在于：所述构件关系描述模型，包括：文字形式的构件关系描述和E－R图形式的构件关系模型；

所述文字形式的构件关系描述，包括数据类型、和/或数据依赖、和/或逻辑功能、和/或功能接口；

所述E－R图形式的构件关系模型，具体为原始构件依赖关系。

3.根据权利要求1所述的系统，其特征在于，

所述获取模块，具体用于：通过弹框等待并接收开发人员输入的文件存储地址，根据所述文件存储地址获取文件中的构件关系描述模型；

所述提取模块，具体用于：通过自然语义处理技术对所述文件中的内容进行理解后，提取新的构件关系作为构件依赖关系。

4.根据权利要求1所述的系统，其特征在于，所述提取模块提取到的所述构件关系描述模型中的构件依赖关系包括：一对多关系、多对多关系、多对一关系。

5.根据权利要求1所述的系统，其特征在于，所述规范化模块，具体用于：

对所述重组模块得到的重组模型中的构件性质运用逻辑演算将不同构件之间的关系，描述为逻辑表达式，并在所述构件上建立时序约束和集成约束，得到逻辑关系表达式、时序关系表达式和构件集成规则。