11、UML行为建模与状态机图详解

UML行为建模与状态机图详解

1. 活动图基础

活动图是UML中用于描述系统行为的重要工具。例如，有一个活动图被划分为多个“泳道”，泳道是一种将由同一参与者或在同一线程中执行的动作进行分组的方式。在某个示例中，涉及五个参与者，其中Web浏览器、视频播放器和视频查看器位于客户端工作站，而Web服务器和视频服务器位于云端。

一般来说，分区可以是分层和多维的。在这个示例里，由于视频服务器执行的“处理请求”动作已在另一图中展示，所以该活动图主要关注视频播放器和视频查看器的行为，它们处于由Web浏览器对象生成的同一流程（线程）中。具体而言，视频播放器和视频查看器会循环执行动作：持续接收并显示视频帧，直到超时发生。另外，“接收帧”和“显示帧”动作也可以像“处理请求”活动中的“加载视频”动作一样，使用流引脚进行建模。

以下是一些相关问题及思考：
1. 解释三种用例级别之间的区别。
2. 参考相关内容，解释特定序列图的含义。
3. 从初始节点开始，描述活动图所建模的活动。
4. 活动图的扩展区域可以在三种模式下运行，解释它们的区别。
5. 在活动图中，如何判断一条边表示对象流而不是控制流。
6. 在活动图中，决策节点的输出边应该由布尔表达式进行保护，列出一些指定保护表达式的良好实践。

2. 状态机图基础

状态机图是UML中用于建模有状态对象或系统的重要工具，它可以展示对象可能处于的各种状态以及这些状态之间的转换。

2.1 状态

有状态对象的状态通常用圆角矩形表示，状态名称显示在矩形内部。状态还可以有一个单独的区域，包含对象处于该状态时执行的内部行为（