一共有9种SysML图:
·模块定义图(Block Definition Diagram,BDD)
·内部模块图(Internal Block Diagram,IBD)
·用例图
·活动图
·序列图
·状态机图
·参数图
·包图
·需求图
图2.1来自SysML规格v1.2,很好地概括了SysML种类以及各种图之间的关系。但你要知道带空三角形箭头的线的意义,才能够理解这幅图的意思。那些线叫做泛化。你可以按照箭头的方向把它读作“……是……的一种类型”。(3.6节详细讨论泛化)
图2.1 SysML图分类
知道以上内容之后,我们就能够从图2.1中得到更多信息。活动图、序列图、状态机图和用例图都属于 行为图 。模块定义图、内部模块图和包图都属于 结构图 。参数图是内部模块图;根据传递性,它也是结构图。 需求图 自成一类——但它还是SysML图这个家族的重要组成部分。
以下是每种类型图的目的的简要总结。
· 模块定义图 用于表示模块和值类型之类的元素(定义能够在可操作的系统中存在的事物类型)以及那些元素之间的关系。BDD的通常用法包括显示系统层级关系树以及分类树。
· 内部模块图 用于指定单个模块的内部结构。更精确的说法是,IBD会显示模块内部组成部分之间的关系,以及它们之间的接口。
· 用例图 用于表达系统执行的用例,以及引起用例的行为者和其中的参与者。用例图是系统在行为者的协作下所执行服务的黑盒视图。
· 活动图 用于指定一种行为,主要关注控制流程,以及输入通过一系列动作转换为输出的过程。活动图一般用作一种分析工具,以理解和表达系统所需要的行为。
· 序列图 用于指定一种行为,主要关注模块的组成部分如何通过操作调用和异步信号交互。序列图通常用作详细设计工具,以精确地把一种行为指定为生命周期开发阶段的输入项。序列图也是指定测试案例的一种优秀机制。
· 状态机图 用于指定一种行为,主要关注模块的一系列状态,以及响应事件时,状态之间的可能转换。状态机图和序列图一样,都可以精确说明一个模块的行为,可以作为生命周期开发阶段的输入项。
· 参数图 用于表示一种或多种约束——特别是等式和不等式——如何与系统的属性绑定。参数图支持工程分析,包括性能、可靠性、可用性、电力、人力和成本。参数图还可以用于支持候选物理架构的优劣势研究。
· 包图 用于显示模型以包相互包含的层级关系形式组织的方式。包图可能还会显示包所包含的模型元素,以及包之间的依赖关系和它们包含的模型元素。
· 需求图 用于表示基于文字的需求、需求之间的关系(包含关系、继承关系以及复制关系),以及满足、验证和改善它们的其他模型元素。