中科蜂巢基于模型系统工程工具链介绍

中科蜂巢基于模型系统工程工具链以OSLC作为工具和数据集成的核心技术，实现需求及架构模型，仿真验证模型，生命周期数据整合及产品流程管理的有效结合。FCMBSE工具链中包括多架构建模工具MetaGraph，集成仿真验证工具Prajna，OSLC服务化生成工具Datalinks，数据显示化工具DataVis和协同流程及自动决策平台Forseti。通过采用工具链中的相关工具，实现描述产品开发过程及架构的多架构模型向协同流程决策平台的自动转化。

主要工具

• MetaGraph是一款基于多架构建模语言的架构建模工具。基于多架构建模语言Karma，实现对MBSE建模语言的的形式化建模，如SysML, Capella，UPDM等。基于Karma，在MetaGraph中可以实现架构驱动，代码生成，形式化验证，有限状态机仿真及模型检查。
• Prajna是一款支持系统集成验证的仿真工具。目前Prajna支持基于FMI 2.0的联合仿真，支持DDS和HLA的分布式仿真及体系仿真，支持基于贝叶斯模型的故障树仿真, 支持有限状态机求解，支持优化算法执行参数择优。
• Datalinks是一款基于OSLC的数据整合工具。开发人员使用Datalinks开发针对不同领域数据的服务配置器，通过这些配置器可以将对应数据转化为OSLC的标准格式并服务化。其他开发人员和工具可以通过所生成OSLC服务的网址进行资源访问和操作。

• DataVis是一款通用的数据可视化分析中心。开发人员可以设计不同显示化方法并开发指定可视化仪表盘。目前，DataVis支持通用数据集成，如数据库，Microsoft Office，OSLC数据等。

• Forseti是一款支持可定制流程的协同开发平台。Forseti可导入由MetaGraph生成的和开发流程有关的本体信息，通过OSLC服务实现协同开发平台的自动创建。产品开发人员通过Forseti可以对协同过程进行管理和监控。与此同时，通过该流程平台，开发人员可以通过OSLC服务实现对相应资源、工具的访问和管理。

如图所示，产品开发人员先通过MetaGraph的模型库，对产品开发流程及产品属性进行建模。然后在工具链中，两种方式用于支持自动化开发和验证：1）通过MetaGraph自动转为Prajna的数据格式实现自动仿真验证；2）通过MetaGraph的代码生成器生成本体信息，并导入Forseti自动生成支持流程管理的协同开发平台。该平台可以通过调用OSLC服务，实现开发人员对于资源的随意调配和操作。与此同时，生命周期中生成的OSLC数据，可以通过DataVis进行大数据可视化分析。

主要功能

• 实现基于系统工程的系统开发过程及系统特性的形式化描述

• 实现架构模型与验证模型的自动转化

• 实现系统协同开发流程的快速配置，控制及管理

• 可定制的代码生成，支持架构模型向其他格式数据转化

• 实现资源服务化

• 实现数据整合

• 实现体系仿真及跨领域联合仿真

主要特点

• 以多架构建模语言Karma实现MBSE模型的开发

• 以OSLC技术实现系统开发周期的数据整合

• 支持多种集成仿真验证

• 支持灵活的协同平台配置及开发