SysML（4）

随风1

笔者在之前的文章提到“架构=组成+交互”，其实对于系统建模语言SysML来讲，其要解决的核心问题本质上也是两个，即系统是由哪些元素构成的以及这些元素之间的交互关系是什么。系统架构设计从某种意义上说就是对系统进行建模，或者说系统建模是系统架构设计的核心工作。

模块是系统的重要组成部分，而模块之间的关系也非常重要，甚至可能比模块本身更值得关注。

介绍完模块以及模块的结构属性和行为属性，这篇文章开始介绍模块之间的关系。

模块之间有三种主要关系：关联、泛化和依赖。

1、关联

关联有2种：引用关联和构成关联

1.1 引用关联



图1 引用关联

在模块定义图中，引用关联的标识法是两个模块之间的实线，如图1所示。如果实线没有箭头则表示双向关联，如果一端有箭头，则表示单向关联（箭头指向被关联的模块）。

实线两端可以显示关联模块的角色名称以及多重性（为1时不显示），中间可以显示关联名称。关联名称是由建模者定义的字符串，描述能够存在于两个模块的实例之间的关联类型。

引用关联也可以用之前介绍的模块之间的结构属性之一“引用属性”来表达。如图2所示。



图2 引用属性

引用关联和引用属性都可以表示系统中模块之间的结构化关系，具体使用哪一种方法，取决于建模者是否想在模块定义图中暴漏出所引用模块的信息。

1.2 组合关联



图3 组合关联

组合关联表示模块在结构上的分解。组合端的模块实例由组成部分端模块的实例组合而成。

模块定义图中组合关联的标识法是两个模块之间的实线，在组合端有实心的菱形或者空心的菱形。实心菱形代表组成部分不能脱离组合端而独立存在，空心菱形则代表组成部分可以单独存在。

实线在组成部分有箭头，则代表组合端单向关联组合部分，没有箭头则表示双向关联。

组合关联与模块的组成部分属性都是表达模块之间的组合关系，具体使用哪一种方法，取决于建模者是否想在模块定义图中暴漏出组成部分模块的信息。

2、泛化



图4 泛化

泛化表示两种模块之间的继承关系。其中，更加一般化的模块叫做超类型，更加具体的模块，叫做子类型。在系统建模时，泛化用来创建模块之间的层级关系。

泛化的标识法是一条实线，在超类型的一端有空心的三角箭头。从子类型向超类型读作“xxx是一种xxx”。例如，在图4中，可以读作：BCM是一种ECU。

泛化表示子类型模块会继承超类型模块的所有特性，比如模块的结构化属性和行为属性。此外，子类型模块还可以拥有超类型模块不具备的其它属性。

3、依赖



当模块1依赖模块2时，这意味着当模块2发生改变时，模块1可能也需要改变。在两个模块之间创建依赖关系是为了确立它们之间的可追溯性。比如当市场配置表发生变更时，电气功能列表可能也需要进行变更。

未完待续。。。。。。