《表1 配置文件中主要的扩展元素》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《扩展SysML支持需求追踪模型的自动生成》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

总结如下，现有的SysML扩展工作可主要分为两类:一类旨在扩展模型语义或者结合形式化方法，进行系统安全性分析；另一类则不侧重于形式化方法的使用，而旨在信息的存储以及表达。本文聚焦于建模过程中的追踪信息捕获以及追踪信息的表达，本质上即通过扩展使SysML模型具备存储特定追踪信息的能力，可为后续安全性分析提供数据支持。本文配置文件的主要扩展内容如表1所示。