描述系统行为结果的更好的方法是使用交互视图 状态机对理解控制机制 较实用 如用户界面和设备控制器 � 事件 事件 事件 事件� 事件是具有时间和空间位置的显著发生的某件事 它发生在时间点上 不具有持续时间 如果某件事存在结果 则将它建模成事件 当单独使用事件时 我们常常指的是事件描述 符 即对所有具有相同一般形式事件个体的描述 正如类指的是具有相同结构的全体对象 一个特定事件的发生被称为事件实例 状态机视图� ������� 一种易于表达的方式 但必须小心使用 因为它表达了持续的 潜在非本地的的计算 远 程活动 因为值测试可能是远程的 它既有优点 也有缺点 优点是它集中在真实依赖关 系的模型 而非测试条件的机制 缺点是它模糊了值变更活动和最终结果之间的原因� 结果关系 测试变更事件的开销可能是很大的 因为理论上它是持续活动 而在实践中 往往有许多方法来避免不必要的计算 变更事件应仅当更显式通讯形式不合适时使用 变更事件应仅当更显式通讯形式不合适时使用 � 注意变更事件和迁移条件之间的区别 迁移条件在迁移上的触发事件发生和接收者处理 事件时被求值 如果为假 迁移不会被激发 该条件不会被重新求值 变更事件则持续的 被求值直到为真 此时迁移被激发 � 时间事件 时间事件 时间事件 时间事件 时间事件代表了事件的流逝 时间事件可以采用绝对时间 某天某时刻 或相 对时间 给定事件后的一段事件 在高层次的模型中 时间事件可以被认为宇宙中的事件

actor2 @enduml [参见 QA-310] PlantUML 语言参考指引 (1.2023.11) 26 / 538 1.31 锚点和持续时间 1 序列图 1.31 锚点和持续时间 使用 teoz 在图表中添加锚点，从而指定持续时间。 @startuml !pragma teoz true {start} Alice -> Bob : start doing things during 13 网络图（nwdiag） nwdiag 是一位名叫 Takeshi Komiya 的人创建的，这使得我们可以快速绘制网络拓扑图。让我们为此感 谢他的创作！ 由于语法非常清晰和简单，该功能已经集成在 PlantUML 中。我们在这里展示 Takeshi 归档整理的示例。 13.1 简单图示 13.1.1 定义一个网络 @startuml nwdiag { network dmz { address LaTeX 表达式。 • JLatexMath 来显示 LaTex 数学公式。JLaTeXMath 是最好的显示 LaTeX 代码的 Java 类库。 ASCIIMathTeXImg.js 是一个小到足以集成到 PlantUML 标准发版的。 由于 JLatexMath 太大, 您要单独到下载它, 然后解压 4 jar 文件 (batik-all-1.7.jar, jlatexmath-minimal-

actor1 to actor2 @enduml PlantUML 语言参考指引 (1.2021.2) 24 / 397 1.30 锚定和持续时间 1 时序图 [参见 QA-310] 1.30 锚定和持续时间 使用 teoz 在图表中添加锚定，从而指定持续时间。 @startuml !pragma teoz true {start} Alice -> Bob : start doing things LaTeX 表达式。 • JLatexMath 来显示 LaTex 数学公式。JLaTeXMath 是最好的显示 LaTeX 代码的 Java 类库。 ASCIIMathTeXImg.js 是一个小到足以集成到 PlantUML 标准发版的。 由于 JLatexMath 太大, 您要单独到下载它, 然后解压 4 jar 文件 (batik-all-1.7.jar, jlatexmath-minimal- 1.29 缩短的进入信息与发出信息箭头 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 1.30 锚定和持续时间 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 1.31 构造类型和圈点

LaTeX 表达式。 • JLatexMath 来显示 LaTex 数学公式。JLaTeXMath 是最好的显示 LaTeX 代码的 Java 类库。 ASCIIMathTeXImg.js 是一个小到足以集成到 PlantUML 标准发版的。 由于 JLatexMath 太大, 您要单独到下载它, 然后解压 4 jar 文件 (batik-all-1.7.jar, jlatexmath-minimal-1

LaTeX 表达式。 • JLatexMath 来显示 LaTex 数学公式。JLaTeXMath 是最好的显示 LaTeX 代码的 Java 类库。 ASCIIMathTeXImg.js 是一个小到足以集成到 PlantUML 标准发版的。 由于 JLatexMath 太大, 您要单独到下载它, 然后解压 4 jar 文件 (batik-all-1.7.jar, jlatexmath-minimal-1

LaTeX 表达式。 • JLatexMath 来显示 LaTex 数学公式。JLaTeXMath 是最好的显示 LaTeX 代码的 Java 类库。 ASCIIMathTeXImg.js 是一个小到足以集成到 PlantUML 标准发版的。 由于 JLatexMath 太大, 您要单独到下载它, 然后解压 4 jar 文件 (batik-all-1.7.jar, jlatexmath-minimal-1

LaTeX 表达式。 • JLatexMath 来显示 LaTex 数学公式。JLaTeXMath 是最好的显示 LaTeX 代码的 Java 类库。 ASCIIMathTeXImg.js 是一个小到足以集成到 PlantUML 标准发版的。 由于 JLatexMath 太大, 您要单独到下载它, 然后解压 4 jar 文件 (batik-all-1.7.jar, jlatexmath-minimal-1

LaTeX 表达式。 • JLatexMath 来显示 LaTex 数学公式。JLaTeXMath 是最好的显示 LaTeX 代码的 Java 类库。 ASCIIMathTeXImg.js 是一个小到足以集成到 PlantUML 标准发版的。 由于 JLatexMath 太大, 您要单独到下载它, 然后解压 4 jar 文件 (batik-all-1.7.jar, jlatexmath-minimal-1

LaTeX 表达式。 • JLatexMath 来显示 LaTex 数学公式。JLaTeXMath 是最好的显示 LaTeX 代码的 Java 类库。 ASCIIMathTeXImg.js 是一个小到足以集成到 PlantUML 标准发版的。 由于 JLatexMath 太大, 您要单独到下载它, 然后解压 4 jar 文件 (batik-all-1.7.jar, jlatexmath-minimal-1

LaTeX 表达式。 • JLatexMath 来显示 LaTex 数学公式。JLaTeXMath 是最好的显示 LaTeX 代码的 Java 类库。 ASCIIMathTeXImg.js 是一个小到足以集成到 PlantUML 标准发版的。 由于 JLatexMath 太大, 您要单独到下载它, 然后解压 4 jar 文件 (batik-all-1.7.jar, jlatexmath-minimal-1