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

摘要

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