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

摘要

本发明公开了一种基于协同开发系统的构件交互关系建模方法，属于控制软件的协同开发技术、形式化验证领域。所述方法包括：获取构件关系描述模型，从中提取构件依赖关系，根据构件依赖关系分解构件关系描述模型得到子模型，将子模型与构件关系描述模型中含有的构件重组得到重组模型；对重组模型进行规范化描述，并根据规范化描述验证重组模型中的构件依赖关系，如验证成功，则将重组模型作为构件交互关系模型并输出，结束；如验证失败，则继续获取新的构件关系描述模型。本发明的技术方案，解决了在协同开发过程中构件交互关系不清的问题，确保了人、代码、数据和工具等协同件之间安全高效地协同。

主权项

1.一种基于协同开发系统的构件交互关系建模方法，其特征在于，包括：步骤S1：获取构件关系描述模型；步骤S2：提取所述构件关系描述模型中的构件依赖关系，根据所述构件依赖关系对所述构件关系描述模型依据构件的相关度进行分解得到子模型，根据所述构件 依赖关系将所述子模型与所述构件关系描述模型中含有的构件重组得到重组模型，所述构件关系描述模型不包括所述重组模型；步骤S3：对所述重组模型进行规范化描述，所述规范化描述为无二义性、无歧义的形式化语言描述；步骤S4：根据所述规范化描述验证所述重组模型中的构件依赖关系，如验证成功，则将所述重组模型作为构件交互关系模型并输出，结束；如验证失败，则返回步骤S1；其中，所述步骤S4中，所述根据所述规范化描述验证所述重组模型中的构件依赖关系，具体包括：步骤a1：根据所述规范化描述对所述重组模型中的构件依赖关系进行逻辑证明、时序证明和数据分析得到第一验证结果；所述逻辑证明具体为：对所述规范化描述中的逻辑关系表达式使用基于证明的推理机制验证；所述时序证明具体为：用动态时序验证的方法证明，包括确定测试向量、输入模型、进行仿真、完整地测试每条路径；所述数据分析具体为：验证所述重组模型的数据类型错误，包括空指针错误、读后写错误、写后读错误、写后写错误；步骤a2：将所述逻辑证明、时序证明和数据分析两两组合得到组合表达式；步骤a3：使用所述组合表达式验证所述第一验证结果。