王荣 陈刚

摘要：当前MBSE的研究热点聚焦于系统工程的技术流程领域，而缺乏将早期设计阶段各类工作与技术管理流程工作相结合的研究。但在整个系统的全生命周期里，将风险识别尽量提前到早期階段，可以增强系统设计的健壮性。针对此问题，本文研究了SysML活动图和有向图形式化定义的相似性，提出了活动图转换为有向图的规则;分析了活动网络中活动间相互耦合，会造成单个活动的时间风险在网络中扩散，针对此定义了活动的关联度和影响度，并提出了最大影响度路径和结合统计分析的分级风险环节识别方法。

关键词：SysML活动图;有向图;关联度;影响度;最大影响度路径;风险识别

中图分类号：N945 文献标识码：A 文章编号：1007-9416（2020）07-0059-05

MBSE方法是系统工程领域的一个重要方向，它通过形式化的建模来支持系统全生命期的系统工程活动，包括系统的需求、设计、分析、验证和确认[1]。当前MBSE的研究热点集中在技术流程流域，专注于系统架构的开发。而当前在系统工程的两个组成部分之一的技术管理流程流域，缺乏相关的MBSE研究。在系统工程领域，SysML是最新且被应用得最多的建模语言，被视为MBSE的三大基石之一。针对系统工程中系统建模的特点和需求，SysML提供了可视化、图形化的技术支持，目前在国外已广泛应用于复杂大系统的早期设计阶段——需求分析、功能分析和架构设计。

王松峰研究了基于Petri网的SysML活动图分析与验证方法，提出了SysML活动图转化为相应Petri网可执行模型的6种转换规则，并用Petri网的分析技术对转化后的模型进行仿真与分析[2]。……