购买
下载掌阅APP,畅读海量书库
立即打开
畅读海量书库
扫码下载掌阅APP

2.3

SysML图概览

一共有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会显示模块内部组成部分之间的关系,以及它们之间的接口。

· 用例图 用于表达系统执行的用例,以及引起用例的行为者和其中的参与者。用例图是系统在行为者的协作下所执行服务的黑盒视图。

· 活动图 用于指定一种行为,主要关注控制流程,以及输入通过一系列动作转换为输出的过程。活动图一般用作一种分析工具,以理解和表达系统所需要的行为。

· 序列图 用于指定一种行为,主要关注模块的组成部分如何通过操作调用和异步信号交互。序列图通常用作详细设计工具,以精确地把一种行为指定为生命周期开发阶段的输入项。序列图也是指定测试案例的一种优秀机制。

· 状态机图 用于指定一种行为,主要关注模块的一系列状态,以及响应事件时,状态之间的可能转换。状态机图和序列图一样,都可以精确说明一个模块的行为,可以作为生命周期开发阶段的输入项。

· 参数图 用于表示一种或多种约束——特别是等式和不等式——如何与系统的属性绑定。参数图支持工程分析,包括性能、可靠性、可用性、电力、人力和成本。参数图还可以用于支持候选物理架构的优劣势研究。

· 包图 用于显示模型以包相互包含的层级关系形式组织的方式。包图可能还会显示包所包含的模型元素,以及包之间的依赖关系和它们包含的模型元素。

· 需求图 用于表示基于文字的需求、需求之间的关系(包含关系、继承关系以及复制关系),以及满足、验证和改善它们的其他模型元素。 Tvs+6pYzs5M8NSFrtwvYegevbYE8QTyA1I0V2WppHt2iCeS/BmIkWcSTEDPQU6/w

点击中间区域
呼出菜单
上一章
目录
下一章
×