基于模型的系统工程统一架构建模语言标准立项报告.docxVIP

基于模型的系统工程统一架构建模语言标准立项报告

StandardizationProposalforUnifiedArchitectureModelingLanguageinModel-BasedSystemsEngineering

摘要

随着全球工业数字化转型的加速，基于模型的系统工程（MBSE）已成为复杂装备研制领域的核心方法。然而，当前国际主流建模语言（如SysML、AADL、Modelica）在我国工业体系中存在适配性不足、技术依赖度高、语义异构等问题，严重制约了自主创新能力的提升。为突破“卡脖子”技术瓶颈，本标准以自主可控的多架构统一建模语言KARMA为基础，提出一套覆盖系统全生命周期的统一架构建模语言规范。通过定义元元模型、元模型及实例化语法，结合OSLC、ReqIF等国际标准接口，实现使命任务、体系架构、需求设计等多维度要素的一体化语义表达与数据协同。本标准的制定将推动我国MBSE方法论与工业实践的深度融合，为航空航天、国防科技等重点领域提供自主化、标准化的建模工具支撑。

关键词

基于模型的系统工程；统一架构建模语言；KARMA语言；语义建模；全生命周期；自主可控；标准化

Model-BasedSystemsEngineering;UnifiedArchitectureModelingLanguage;KARMALanguage;SemanticModeling;FullLifecycle;AutonomousControllable;Standardization

一、立项目的与意义

核心工业软件是制约我国创新发展的35项“卡脖子”技术之一，更是国家安全与航空航天领域的战略性需求。在《国防科技工业强基工程2025》的顶层规划下，构建自主可控的MBSE技术体系被列为“十四五”重点专项，旨在通过体系化、信息化、自主化的复杂装备研发能力，支撑国防现代化建设的战略目标。

当前，国际MBSE方法论虽已形成以SysML、Modelica等为代表的建模语言生态，但其研发基础与评价体系均基于国外工业环境，与我国工业体系存在显著差异，导致“两层皮”问题突出，即理论方法与实际应用脱节。例如，国外系统建模语言在多学科耦合、连续系统与软硬件集成等方面存在语义异构与求解能力不足的缺陷，难以实现真正的一体化建模。

在此背景下，国内科研机构与企业联合开展了自主MBSE技术攻关。其中，由北京理工大学、上海交通大学、北京中科蜂巢科技有限公司联合洛桑联邦理工大学等研发的KARMA语言，成为国内唯一具备全生命周期支持能力的自主建模语言，已在航空航天、兵器电子等领域完成应用验证。此外，华中科技大学与苏州同元软控基于Modelica开发的MWorks、浙江大学基于SysML开发的M-Design工具链，进一步丰富了国产MBSE生态。

然而，中美科技竞争加剧的国际环境凸显了构建自主语言标准与生态的紧迫性。本标准通过规范KARMA语言的语法、语义及集成接口，旨在打破国外技术垄断，形成符合中国复杂产品研制需求的本体库与标准化体系，为实现“数字孪生”“智能制造”等国家战略提供基础支撑。

二、范围与主要技术内容

1.标准范围

本标准以KARMA语言为核心，规范基于模型的系统工程中统一架构建模语言的语义与语法体系。其应用范围覆盖系统研发生命周期前端的关键活动，包括：

-使命任务定义与分析：通过结构化语言描述作战场景与任务逻辑；

-体系架构设计：支持多层级系统架构的建模与转化；

-需求与概念设计：集成ReqIF、EARS等需求规范，实现需求追溯与验证；

-研发过程与知识管理：基于OSLC协议实现全生命周期数据协同与唯一数据源管理。

2.技术内容

（1）语言架构设计

KARMA作为一种高抽象层次的文本式建模语言，采用面向对象方法，支持混合状态机与可满足性模理论（SMT）的静态验证。其核心架构分为三层：

-元元模型：定义图（Graph）、对象（Object）、关系（Relationship）、角色（Role）、点（Point）、属性（Property）等基础元素；

-元模型：基于元元模型构建系统架构的本体模板，如功能模型、逻辑模型、物理模型等；

-模型实例：通过固定语法与抽象语法规则，生成可执行的具体系统模型。

（2）多范式集成能力

-多学科耦合：支持机械、电子、软件等跨领域模型的统一表达与仿真；

-动态与静态验证：通过混合状态机描述系统行为，利用SMT求解器实现架构一致性验证；

-国际标准兼容：集成OSLC（生命周期协作服务）、ReqIF（需求交换格式）、JULIA（高性能数值计算）等接口，确保与现有工具链的互操作性。

（3）典型应用场景

以航天器研制为例，KARMA语言可实现从任务想定、系统需