Visual Paradigm创建BDD图

1.MBSE（基于模型的系统工程）

2.sysML建模语言

SysML是一种用于系统工程应用的通用系统架构建模语言,用于将Idea通过沟通从一个地方传递另一个地方。其目的是在利益攸关者中的系统进行可视化和可交流化，SysML不是独立的语言，其基于UML语言扩展而来。

2.1 sysML分类

2.2 BDD——模块定义图

1.展示类似模块或是值类型等元素
2.展示元素之间的关系

图的外框代表的模型元素类型可以是以下这些：
包、模型、模型库、视图、模块、约束模块

模块：模块代表一种类型，其中定义了一系列属性——像显示器、键盘、鼠标、CPU、制造厂商、磁盘空间、价格等——它们对于所有实例都通用。而IT部门为每个办公室和工位购买的每台桌面工作站都是那个DesktopWorkstation模块的不同实例。

元素的定义只有一个名称（例如， 普适导航），而对元素的使用则有名称和类型，二者之间用冒号分隔（例如，普适导航：时空AI研究院）。

特性有两种：结构特性（也叫做属性）和行为特性

2.2.1 结构特性 （也叫做属性 ）

组成部分属性、引用属性、值属性、约束属性、端

组成部分属性：

<part name> : <type> [<multiplicity>]

引用属性：

<reference name> : <type> [<multiplicity>]

值属性：

<value name> : <ytpe> [<multiplicity>] = <default value>

约束属性：

<constraint name> : <type>

端口：

《interface》

2.2.2 行为特性

在大多数建模项目中，仅指定模块的组成部分、引用、约束、值属性和端口是不够的。它们确实很重要，但只传递了设计一个方面的信息。同样重要的方面是模块能够执行的一系列行为 。通过为模块添加行为特性，可以传递设计的这方面信息。

SysML提供了两种类型的行为特性：操作（operation）和接收（reception）。

1.操作

代表一种同步行为，也是客户端调用模块的时候它所执行的行为，操作是由调用事件触发的。

<operation name> ( <parameter list> ) : <return type> [<multiplicity>]

操作名称是由建模者定义的。参数列表是由逗号分隔，拥有零个或多个参数的列表。（每种参数的格式都会简短显示。）返回值（如果有）必须是你在系统模型中某处创建的值类型或者模块的名称。

其中参数列表中的参数代表操作的输入和输出。列表中的每个参数都会以下面的格式显示：、

<direction> <parameter name> : <type> [ <multiplicity> ] = <default value>

方向可以是in、out或inout。参数名称是由建模者定义的。类型必须是在你的模型某处存在的值类型或者模块的名称。

2.接收

代表一种异步行为，当客户端发送信号来触发的时候，模块就会执行这种行为，接收是由信号事件触发的。

如果信号的目的地拥有和信号名称相同的接收，那么这种结构就是无效的。

《signal》 <reception name> ( <parameter list> )

关键字<<signal>>必须总是作为接收名称的前缀。正如之前提到的，接收名称必须与模型中触发它的信号名称匹配。只要有必要，你在参数列表中可以显示任意多个参数。

列表中的每个参数都会以下面的这样格式显示：

<parameter name> : <type> [<multiplicity>] = <default value>

参数名称是由建模者定义的。类型必须是在模型某处存在的值类型或者模块的名称。

2.2.3 模块关系：关联、泛化和依赖

1.引用关联和组合关联

两个模块之间的引用关联 意味着操作系统的那些模块的实例之间可以存在一种连接。那些实例可以跨越连接为了某种目的彼此访问。BDD中引用关联的标识法是两个模块之间的实线。如果一端有箭头表示单向的访问，如果两端都没有箭头则表示双向访问。

两个模块之间的组合关联 表示结构上的分解。组合端的模块实例由一些组成部分端模块的实例组合而成。BDD中组合关联的标识法是两个模块之间的实线，在组合端有实心的菱形。在组成部分端有箭头表示从组合端对组成部分的单向访问，如果没有箭头则表示双向访问。

2.泛化

表示两种元素之间的继承关系：一个更加一般化的元素，叫做超类型 ，以及一个更具体的元素，叫做子类型 ，使用泛化在系统模型中创建分类树（类型层级关系）。泛化的标识法是一条实线，在超类型的一端带有空心的三角箭头。

3.依赖

客户端 ：模型中的一种元素；

提供者：依赖于模型中的另一种元素；

标记是带有箭头的虚线，箭头方向从客户端指向提供者。

2.3 在VP中的建立BDD图