企业官网建设流程全解析

接前一篇文章：软考 系统架构设计师系列知识点之杂项集萃（18）

第28题

SysML是什么？其有哪七个关系？

试题解析：

此题是去年（2023年）下午案例分析考试题目中的一道题。SysML这一知识点并未在新版以及旧版教材中出现，属于超纲的知识点。

• SysML是什么？

SysML的全称为System Modeling Language，中文译为系统建模语言。SysML是一种专门为系统工程应用开发的标准建模语言，它是由对UML2.0的子集进行重用和扩展而来的。

• SysML图

SysML中定义了四大类图 —— 结构图、需求图、参数图和行为图。结构图可再细分为类图和装配图；行为图可再细分为用例图、状态机图、活动图、顺序图和时间图。SysML共有上述9种不同的图：

（1）类图（结构图 —— 类图）

SysML类图重用了UML类图，并在此基础上扩展了一些功能，其类图名称简写为cls。

（2）装配图（结构图 —— 装配图）

装配图是SysML新增的一种图形模型，它是以系统部件构成的形式来描绘系统。装配图的构成元素包括部件、端口和连接器，连接器是负责连接部件，表示各部件之间的作用关系。SysML装配图名称简写为asm。SysML装配图并不常用。

（3）需求图

需求图是SysML新增的一种图形模型，用来描述系统的各种需求之间的关系，能为系统设计提供准确的需求分析和设计决策。

（4）参数图

参数图是SysML新增的一种图形模型，用于描述系统中各属性之间无指向的参数关系，反映的是对系统属性值的约束。SysML参数图名称简写为par。

（5）时间图

SysML时间图重用了UML时间图，但在UML中时间图并不常用。时间图描述的是系统的某个活动状态或属性值随时间的变化。SysML时间图名称简写为tim。

• SysML的七个关系

参考：SysML需求图的七种关系_sysml派生和细化-CSDN博客

实际上是指SysML中的需求图定义了七种主要的关系来描述需求之间的关联。这些关系帮助构建了需求的逻辑框架，提供了需求管理的系统性方法。以下是这七种关系的简要描述：

（1）包含（Containment）

用于表示需求之间的层级关系，例如顶层需求与下层需求的关系。

类似于目录结构，表示一个需求可以包含其它需求。

（2）派生（DeriveReq）

表示需求的衍生关系，可以是从粗略需求细化而形成的衍生需求，或者从功能需求向性能需求的过渡。

展示了需求之间的父子关系，即一个需求如何由另一个更广泛或更抽象的需求产生。

（3）满足（Satisfy）

表示模型中的某些系统块（如组件、功能等）对某个需求的满足关系。

展示了需求如何被系统中的具体元素所实现或满足。

（4）验证（Verify）

表示测试用例（Testcase）与需求的验证关系。

说明了如何通过测试来验证系统是否满足特定的需求。

（5）细化（Refine）

表示需求的细化或具体化，常常是一个需求的概括和细化说明。

展示了如何从更抽象或更广泛的需求中细化出更具体或更详细的需求。

（6）跟踪（Trace）

表示用例和需求间的互相验证和追溯关系。

提供了从需求到用例（或其它系统元素）的跟踪路径，帮助确保所有需求都得到适当的实现和测试。

（7）复制（Copy）

在SysML中较少使用，但它表示需求之间的复制关系。

当某个需求需要在多个地方出现时，可以使用复制关系来避免重复定义。

这七个关系在需求图中通过特定的符号和箭头来表示，从而构建了一个清晰的、易于理解的需求结构。通过使用这些关系，建模者可以创建出层次分明、易于管理的需求模型，为系统的设计和开发提供坚实的基础。