元建模(DSL)
按领域定义元模型与建模语言:需要哪些概念、允许怎样的组合,先由元模型约束住,模型才不会长歪。
软件 · MODEL DRIVEN ENGINEERING
软件实现域 —— 模型驱动工程:CIM · PIM · PSM 分层建模、元建模与模型转换(M2M / M2T),由模型生成配置与部署代码、生成仿真代码。
软件实现域:软件配置项不是另画一张图,而是从系统模型与元模型里生成出来的 —— 改模型即改配置与代码(机电软协同里的「软」)。
按领域定义元模型与建模语言:需要哪些概念、允许怎样的组合,先由元模型约束住,模型才不会长歪。
模型到模型(M2M)做抽象层级之间的翻译,模型到文本(M2T)出配置、代码与文档;转换规则可版本化、可评审。
由模型生成软件配置与部署所需的内容,与设计基线同源,不靠人工誊抄,也不怕漏改。
由系统模型生成仿真代码(如 SysML → OMNeT++ / NS-3):网络与协议仿真用同一份模型参数,改设计即重跑。
软件配置项作为物理架构里的一类实现单元,与需求、接口建立追溯(satisfy / allocate / refine)。
同一套逻辑,从「要解决什么」逐层落到「怎么实现」
| 层次 | 回答的问题 |
|---|---|
| CIM 计算无关模型 | 业务与使用视角:要解决什么问题、有哪些参与者与业务规则。 |
| PIM 平台无关模型 | 功能与逻辑视角:系统做什么、结构与行为怎么组织,不绑定具体技术栈。 |
| PSM 平台相关模型 | 实现视角:绑定具体平台、框架与部署形态,代码在这一层生成。 |
同一个平台、同一份系统模型,接口与基线由数字线索贯通