SysML之简单介绍

SysML简介

1. What is SysML?

Systems Modeling Language (SysML): SysML is a general-purpose system architecture modeling language for Systems Engineering applications.

系统建模语言（SysML）：SysML是一种用于系统工程应用程序的通用系统架构建模语言。

• SysML支持各种系统和系统系统的规范、分析、设计、验证和确认。这些系统可能包括硬件、软件、信息、流程、人员和设施。
• SysML 是 UML 2 的一种方言，被定义为 UML 2 配置文件。（UML 配置文件是一种 UML 方言，它通过三种机制自定义语言：构造型、标记值和约束。
• SysML是基于模型的系统工程（MBSE）的使能技术。

SysML最初是由SysML合作伙伴的SysML开源规范项目于2003年创建的。SysML 于 2006 年被对象管理组 （OMG） 改编并采用为 OMG SysML。有关OMG SysML当前版本的更多信息，请参阅SysML常见问题解答：SysML的当前版本是什么？。

2. SysML方言与UML母语之间的关系

3. SysML的9种图表类型及分配表

SysML 由9 种图表类型和分配表组成，用于跨图表类型映射语言元素：

1. SysML图分类

关系图属性	可执行语义	形式语义
图表名称	图表类型	UML 2 模拟	SDLC （英语）用法	必不可少的 AGILE SYSML？	动态 模拟†	数学 模拟 ‡	自动 代码生成	严格	半自动	非正式
Requirement diagram (req)需求图	静态结构 [声明式]	不适用	需求分析	是						是
Use Case diagram (uc) 用例图	行为 * [不可模拟]	用例	需求分析							是
Activity diagram (act)活动图	动态行为 [可模拟]	活动 [次要模组]	系统分析、 功能分析、 系统设计	是	是				是
Sequence diagram (sd)时序图	动态行为 [可模拟]	序列	系统设计	是	是				是
State Machine diagram (stm)状态机图	动态行为 [可模拟]	状态机	系统分析、 系统设计	是	是	是			是
Block Definition Diagram (bdd)块定义图	静态结构 [黑匣子 定义]	类 [中等模组]	系统分析、 系统设计	是		是			是
Internal Block Diagram (ibd)内部块图	静态结构 [白盒 用法]	复合结构 [适度模组]	系统分析、 系统设计	是		是			是
Parametric Diagram (par) 参数图	静态结构 [白盒 用法]	不适用	系统分析、 系统设计		是				是
Package diagram (pkg)包图	静态结构 [分组]	软件包 [次要模组]	所有 SDLC 阶段							是
Allocation Table 分配表	N/A [关系矩阵]	不适用	所有 SDLC 阶段	是						是
†：动态仿真（又名动态系统仿真）是指计算机程序执行感兴趣系统的时变行为的能力。一般来说，除了用例图之外，SysML 和 UML 2 行为图都可能有助于动态系统仿真。

‡：数学建模与仿真（又名Mathematical ModSim，Mathematical M&S，Parametric Simulation）是指计算机程序执行感兴趣系统行为的数学模型的能力，其中模型被定义为一组数学方程式。正确定义和应用参数图时，能够进行数学 ModSim;没有其他 SysML 或 UML 2 图能够做到这一点。

尽管用例图通常被 OMG SysML 和 UML 2 规范归类为行为图，但它们的行为语义是模棱两可且不完整的。活动图、序列图和状态机图是图灵完备图，它们的动态行为可以模拟或执行，而用例图不是图灵完备图，不可模拟。

2. 分配表

1. 分配

分配：分配依赖箭头（带有开箭头表示法和关键字 = «allocate»的虚线）关联或映射不同类型或不同层次结构中的模型元素。分配依赖模式通常可用于提高模型架构的完整性（也称为格式良好）和一致性。SysML预定义了以下分配依赖关系：

• 需求依赖项的分配
• 活动分配到分区（泳道）

鼓励用户根据需要定义自己的分配依赖关系。（有关用户定义的分配示例，请参阅下面的最佳实践模式。

2. 分配表

分配表：分配表是分配关系的表格（矩阵）表示法，但SysML标准没有为这些关系规定特定的格式，因此它们往往是特定于供应商的。

3. 目的

的表格（矩阵）表示法，但SysML标准没有为这些关系规定特定的格式，因此它们往往是特定于供应商的。