UML序列图和用例图总结

一、序列图

序列图主要用于展示对象之间交互的顺序。

序列图将交互关系表示为一个二维图。纵向是时间轴,时间沿竖线向下延伸。横向轴代表了在协作中各独立对象的类元角色。类元角色用生命线表示。当对象存在时,角色用一条虚线表示,当对象的过程处于激活状态时,生命线是一个双道线。

消息用从一个对象的生命线到另一个对象生命线的箭头表示。箭头以时间顺序在图中从上到下排列。

序列图中涉及的元素:

1. 生命线:

生命线名称可带下划线。当使用下划线时,意味着序列图中的生命线代表一个类的特定实体。

1

2. 同步消息

发送人在它继续之前,将等待同步消息响应

2

3. 异步消息

在发送方继续之前,无需等待响应的消息

0_1303707782BNRz

4. 注释

0_1303707788HuB6

5. 约束

约束的符号很简单;格式是: [Boolean Test]

0_1303707793F743

6. 组合片段

组合片段 用来解决交互执行的条件及方式。 它允许在序列图中直接表示逻辑组件,用于通过指定条件或子进程的应用区域,为任何生命线的任何部分定义特殊条件和子进程。

常用的组合片段有:

a. 抉择(Alt)

抉择用来指明在两个或更多的消息序列之间的互斥的选择,相当于经典的if..else..。

抉择在任何场合下只发生一个序列。 可以在每个片段中设置一个临界来指示该片段可以运行的条件。 else 的临界指示其他任何临界都不为 True 时应运行的片段。 如果所有临界都为 False 并且没有 else,则不执行任何片段。

0_1303707798VC8i

b. 选项(Opt)

包含一个可能发生或不发生的序列

0_130370780589hB

c. 循环(Loop)

片段重复一定次数。 可以在临界中指示片段重复的条件。

3

d. 并行(Par)

0_1303707815loJU

下表列出了常用的组合片段:

片段类型名称说明
Opt选项包含一个可能发生或可能不发生的序列。 可以在临界中指定序列发生的条件。
Alt抉择包含一个片段列表,这些片段包含备选消息序列。 在任何场合下只发生一个序列。可以在每个片段中设置一个临界来指示该片段可以运行的条件。 else 的临界指示其他任何临界都不为 True 时应运行的片段。 如果所有临界都为 False 并且没有 else,则不执行任何片段。
Loop循环片段重复一定次数。 可以在临界中指示片段重复的条件。Loop 组合片段具有**“Min”“Max”**属性,它们指示片段可以重复的最小和最大次数。 默认值是无限制。
Break中断如果执行此片段,则放弃序列的其余部分。 可以使用临界来指示发生中断的条件。
Par并行并行处理。 片段中的事件可以交错。
Critical关键用在 Par 或 Seq 片段中。 指示此片段中的消息不得与其他消息交错。
Seq弱顺序有两个或更多操作数片段。 涉及同一生命线的消息必须以片段的顺序发生。 如果消息涉及的生命线不同,来自不同片段的消息可能会并行交错。
Strict强顺序有两个或更多操作数片段。 这些片段必须按给定顺序发生。

有关如何解释序列的片段

默认情况下,序列图表明可能发生的一系列消息。 在运行的系统中,可能会出现您未选择显示在关系图上的其他消息。

以下片段类型可用于更改此释义:

片段类型名称说明
Consider考虑指定此片段描述的消息列表。 其他消息可发生在运行的系统中,但对此描述来说意义不大。在**“Messages”**属性中键入该列表。
Ignore忽略此片段未描述的消息列表。 这些消息可发生在运行的系统中,但对此描述来说意义不大。在**“Messages”**属性中键入该列表。
Assert断言操作数片段指定唯一有效的序列。 通常用在 Consider 或 Ignore 片段中。
Neg否定此片段中显示的序列不得发生。 通常用在 Consider 或 Ignore 片段中。

 

二、用例图

用例图主要用来描述 用户、需求、系统功能单元 之间的关系。它展示了一个外部用户能够观察到的系统功能模型图。

【用途】:帮助开发团队以一种可视化的方式理解系统的功能需求。

用例图所包含的元素如下:

  1. 参与者(Actor)

表示与您的应用程序或系统进行交互的用户、组织或外部系统。用一个小人表示。

  1. 用例(Use Case)

用例就是外部可见的系统功能,对系统提供的服务进行描述。 用椭圆表示

0_1303975497efuK

  1. 子系统(Subsystem)

用来展示系统的一部分功能,这部分功能联系紧密。

0_130397550233Bq

  1. 关系

用例图中涉及的关系有:关联、泛化、包含、扩展;

如下表所示:

关系类型说明表示符号
关联参与者与用例间的关系 5
泛化参与者之间或用例之间的关系0_13039758712wU51
包含用例之间的关系 0_1303975880lTR81
扩展用例之间的关系0_1303975885JDRi1
  • 关联(Association)

表示参与者与用例之间的通信,任何一方都可发送或接受消息。

【箭头指向】:指向消息接收方

0_1303975506rri6

  • 泛化(Inheritance)

就是通常理解的继承关系,子用例和父用例相似,但表现出更特别的行为;子用例将继承父用例的所有结构、行为和关系。子用例可以使用父用例的一段行为,也可以重载它。父用例通常是抽象的。

【箭头指向】:指向父用例

0_13039755103E3V

  • 包含(Include)

包含关系用来把一个较复杂用例所表示的功能分解成较小的步骤;

【箭头指向】:指向分解出来的功能用例

0_1303975518l3VQ

  • 扩展(Extend)

扩展关系是指 用例功能的延伸,相当于为基础用例提供一个附加功能。

【箭头指向】:指向基础用例

6

  • 依赖(Dependency)

以上4中关系,是UML定义的标准关系。 但VS2010的用例模型图中,添加了依赖关系,用带箭头的虚线表示

表示源用例依赖于目标用例;

【箭头指向】:指向被依赖项

0_13039755292iIf

  1. 项目(Artifact)

用例图虽然是用来帮助人们形象地理解功能需求,但却没多少人能够通看懂它。很多时候跟用户交流甚至用Excel都比用例图强,VS2010中引入了“项目”这样一个元素,以便让开发人员能够在用例图中链接一个普通文档。

用依赖关系把某个用例依赖到项目上

0_1303975543fx65

然后把项目-》属性 的Hyperlink 设置到你的文档上

这样当你在用例图上 双击项目时,就会打开相关联的文档。

  1. 注释(Comment)

0_1303975552kNTK

包含(include)、扩展(extend)、泛化(Inheritance)的区别:

条件性:泛化中的子用例和include中的被包含的用例会无条件发生,而extend中的延伸用例的发生是有条件的;

直接性:泛化中的子用例和extend中的延伸用例为参与者提供直接服务,而include中被包含的用例为参与者提供间接服务。

对extend而言,延伸用例并不包含基础用例的内容,基础用例也不包含延伸用例的内容。

对Inheritance而言,子用例包含基础用例的所有内容及其和其他用例或参与者之间的关系;

一个用例图示例:

0_13039755641FeJ

牢骚:

感觉用例图还不成熟,并不能很好地表达系统的需求, 没有UML背景的用户几乎不知道画的些什么。

其次,包含关系、扩展关系 的箭头符号竟然是同样的箭头,仅靠上方写个文字来加以区别,翻译成其他语言的话,几乎就不知道代表什么意思。  扩展关系的箭头朝向也很难理解,为何要指向基用例,而不指向扩展用例

VS2010添加的“项目”元素,是个很好的创新,能够在用例图中关联word,excel这些文档。但为什么不把这些功能直接集成到用例里面,双击用例就弹出一份文档岂不更容易理解,非要画蛇添足地加一个元件,仅仅为了提供个链接功能。

用例描述表:

鉴于用列图并不能清楚地表达功能需求,开发中大家通常用描述表来补充某些不易表达的用例,下图的表给大家提供一个参考:

0_13039755725mW5

转载自:http://blog.csdn.net/tianhai110

💬 评论