需求、结构、用例、活动、交互、顺序、状态机各视图的图形一一渲染出来,关系清晰、可直接复核。从一句话到一套可检查、可出图的 SysML v2 模型——这,就是模型创成的效率。
写一套合规的 SysML v2 模型,往往要在需求、结构、行为、交互之间反复对齐,手工建模既慢又容易出错。
今天演示的是用一个主智能体编排的流水线——一句自然语言诉求,直接产出经过检查的完整 SysML v2 模型。
我们以"个人家庭出行"场景为例。
它的工作方式很清晰:先做自然语言理解,锁定本轮要建哪些视图;
然后并行跑规范分析和模型关联分析,判定每份代码在方法论网格里的归属;
再分派生成、集成、检查,最后交付,全程单遍推进。
我们从需求模型开始——把家庭出行的安全、舒适、续航这些诉求,生成为 requirement、subject 与 satisfy。
紧接着是用例模型:围绕"一次家庭出行",用 use case、actor、objective 勾出场景,驾驶员和乘客作为 actor,并与需求建立 objective-require 关联。
结构模型按"场景组成结构"展开——车辆、驾驶员、家庭乘客、道路环境等作为 part,用 port 和 connection 组织,车辆作为场景里的一个部件出现。
行为侧生成活动模型——把一次出行的"规划路线、上车、启动、行驶、到达"用 first…then 串成动作流,再用 fork、join、decide 表达并行与分支,并内联进对应用例。
交互模型分两步:先在接口定义包里声明端口类型和带方向的信息项,比如车辆与导航、充电设施之间传递的数据;再用 connection 把各部件端口连起来,接收侧自动对齐共轭方向。
顺序模型则用生命线和 message,刻画驾驶员、车辆、导航在一次出行里的消息往来。
再往下是状态机模型——用 state 描述车辆在出行中的若干状态,比如停驶、启动、行驶、到达,用 transition 配合 accept 事件、守卫与 entry、do、exit 动作,刻画状态间的迁移。
系统还会自动抽取出有限状态机五元组,给出形式化定义。
每生成一份本体,都会配套生成对应的 SysML view,用 expose 暴露刚建的元素。
随后统一集成进一个顶层总包,补全跨包引用、satisfy 关系和端口方向。
最后,把生成的代码放进建模软件里可视化:
词法、语法、语义三道检查全部通过,没有报错;
需求、结构、用例、活动、交互、顺序、状态机各视图的图形一一渲染出来,关系清晰、可直接复核。
从一句话到一套可检查、可出图的 SysML v2 模型——这,就是模型创成的效率。