科研之友
微信
新浪微博
Facebook
分享链接
摘要
本发明公开了一种基于协同开发系统的构件交互关系建模系统,属于控制软件的协同开发技术、形式化验证领域。所述系统包括：获取模块,用于获取构件关系描述模型；提取模块,用于提取构件关系描述模型中的构件依赖关系；分解模块,用于根据构件依赖关系分解构件关系描述模型得到子模型；重组模块,用于将子模型与构件关系描述模型中含有的构件重组得到重组模型；规范化模块,用于对重组模型进行规范化描述；验证模块,用于根据规规范化描述验证重组模型中的构件依赖关系；输入模块,用于当验证模块验证成功时,将重组模型作为构件交互关系模型并输出；获取模块,还用于当验证模块验证失败时,获取构件关系描述模型。
- 单位
