MBSE建模三大支柱之建模语言SysML

1.SysML是什么

SysML是一种应用广泛，表意丰富的图形建模语言，可以使系统设计的重要方

面——结构、行为、需求和参数(数学模型)。 SysML是多种图形建模语言中的一种。这里的关键词是语言。SysML是一种语 言——人与人沟通的媒介。它和我们所说的自然语言(例如：汉语、日语、英语)一 样，有语法和词汇。SysML是MBSE实践者在创建系统模型时“说”的语言，可以 把他们的系统设计观点可视化，并与利益相关者沟通。

2.SysML图

SysML是基于UML的扩展，共定义了9种模型图，如图1所示。

包图：是用来组织模型的图形，它可以按照层次关系、图表类型和视点将模型进行分类。
需求图：需求是指系统必须满足的能力或条件，一个需求能够分解成多个子需求。需求图能够描述需求和需求之间以及需求和其他建模元素之间的关系。需求的描述可以有图形、表格和树形结构等各种形式。
活动图：用于描述工作流、业务流程，或者是将执行流分解为一系列活动和子活动的算法。活动图可以是简单活动的序列，或带有条件分支和并发的复杂系列的并行活动。泳道可以添加到活动图以显示负责执行每个活动的实体。活动图强调活动的输入输出、顺序和条件。
时序图：用于描述对象间的消息交互序列。
状态机图：通过状态以及状态之间的转移对离散行为建模，它把行为表示为对象的状态历史。在状态的转移、进入和退出过程中会调用活动，并指定相关的事件和守卫条件。
用例图：描述了外部参与者对系统的使用，这是通过系统向参与者提供一系列服务来实现的。用例图包括用例、参与者以及它们之间的通信，参与者可能是用户、外部系统或其他环境实体，它们和系统直接或间接交互。
块定义图：显示系统和系统的基本结构元素（模块，Block），以及它们之间的关系/依赖性。但是，它一般用来描述复杂系统的层次结构，而不显示模块内部的连接关系。
内部块图：显示了块定义图所定义的系统结构的实现。它包含了一组套件的部件（即模块的实例），这些部件是由端口和接口彼此连接在一起的。
参数图：定义了一组系统属性以及属性之间的参数关系。参数关系用来表示系统的结构模型中属性之间的依赖关系，说明了一个属性值的变化怎样影响其他的属性值，参数关系是没有方向的，可以是基本的数学操作符，也可以是和物理系统的性质有关的数学表达式如F=m*a等。参数模型是分析模型，把行为模型和结构模型与工程分析模型如性能模型和可靠性模型等结合在一起，能用来支持权衡分析，评价各种备选的解决方案。

通用的图概念

每一个图都会有边框、内容区域和头部三部分组成。头部信息一般包括图类型、模型元素类型、模型元素名称和模型名称四段

• bdd=模块定义图
• ibd =内部模块图
• uc=用例图
• act =活动图
• sd=序列图
• stm =状态机图口par =参数图
• reg =需求图
• pkg =包图