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