another authentication Response @enduml 你可以在双引号内指定编号的格式。 格式是由 Java 的 DecimalFormat 类实现的：(0 表示数字；# 也表示数字，但默认为 0)。 你也可以用 HTML 标签来制定格式。 @startuml autonumber "[000]" Bob -> Alice : Authentication Request Authentication Response ...5 minutes latter... Bob --> Alice: Bye ! @enduml 1.18 空间 你可以使用 ||| 来增加空间。 还可以使用数字指定增加的像素的数量。 @startuml Alice -> Bob: message 1 Bob --> Alice: ok ||| Alice -> Bob: message 2 Bob -->

another authentication Response @enduml 你可以在双引号内指定编号的格式。 格式是由 Java 的 DecimalFormat 类实现的：(0 表示数字；# 也表示数字，但默认为 0)。 你也可以用 HTML 标签来制定格式。 @startuml autonumber "[000]" Bob -> Alice : Authentication Request Authentication Response ...5 minutes latter... Bob --> Alice: Bye ! @enduml 1.18 空间 你可以使用 ||| 来增加空间。 还可以使用数字指定增加的像素的数量。 @startuml Alice -> Bob: message 1 Bob --> Alice: ok ||| Alice -> Bob: message 2 Bob -->

another authentication Response @enduml 你可以在双引号内指定编号的格式。 格式是由 Java 的 DecimalFormat 类实现的：(0 表示数字；# 也表示数字，但默认为 0)。 你也可以用 HTML 标签来制定格式。 @startuml autonumber "[000]" Bob -> Alice : Authentication Request Authentication Response ...5 minutes latter... Bob --> Alice: Bye ! @enduml 1.18 空间 你可以使用 ||| 来增加空间。 还可以使用数字指定增加的像素的数量。 @startuml Alice -> Bob: message 1 Bob --> Alice: ok ||| Alice -> Bob: message 2 Bob -->

another authentication Response @enduml 你可以在双引号内指定编号的格式。 格式是由 Java 的 DecimalFormat 类实现的：(0 表示数字；# 也表示数字，但默认为 0)。 你也可以用 HTML 标签来制定格式。 @startuml autonumber "[000]" Bob -> Alice : Authentication Request Authentication Response ...5 minutes latter... Bob --> Alice: Bye ! @enduml 1.18 空间 你可以使用 ||| 来增加空间。 还可以使用数字指定增加的像素的数量。 @startuml Alice -> Bob: message 1 Bob --> Alice: ok ||| Alice -> Bob: message 2 Bob -->

对于特定的领域 如 ��� 设计 ���� 电路设计或基于规则的人工智能 更特定的语言和工具可能更加合适 ��� 是离散的建模语言 它不打算对如工程和物理的连续系统建模 ��� 是对诸如软件 硬件或数字逻辑的离散系统建模的通用语言 � ��� 目标 目标 目标 目标� 在 ��� 开发的背后 有许多目标 第一个且最重要的目标 ��� 是所有建模人员可以 使用的通用建模语言 它基于许多计算机团体的共识 对象是具有标识 状态和可调用行为的分离实体 对象构造了系统 类是理解和描述众 多对象个体的概念 � 类定义了一系列具有状态和行为的对象 状态由属性和关联来描述 属性通常用于无标 识的单纯数值 如数字或字符串 关联用于用于具有标识的对象间的连接 可调用的行为 表达为操作 方法是操作的实现 对象的生命期由类所附带的状态机来表述 类使用具有 类名称 属性 操作分隔的长方形来表示 如图 ��� � ��� 有可视的外出关联 构件 一个或多个类可以实现接口 每个类实现接口中的操作 � 数据类型 数据类型 数据类型 数据类型 数据类型是对无标识的基本数据的描述 独立的存在和副作用的可能性 数据 类型包括数字 字符串和枚举值 数据类型采用值传递 且是不变的实体 数据类型不具 有属性 但可能有操作 操作不会改变值 但可能将值作为结果返回 � 意义的层次 意义的层次 意义的层次 意义的层次 类可以在模型的不同意义的层次上存在

another authentication Response @enduml 你可以在双引号内指定编号的格式。 格式是由 Java 的 DecimalFormat 类实现的：(0 表示数字；# 也表示数字，但默认为 0)。 你也可以用 HTML 标签来制定格式。 @startuml autonumber "[000]" Bob -> Alice : Authentication Request words @enduml PlantUML 语言参考指引 (1.2020.22) 14 / 294 1.20 空间 1 时序图 1.20 空间 你可以使用 ||| 来增加空间。 还可以使用数字指定增加的像素的数量。 @startuml Alice -> Bob: message 1 Bob --> Alice: ok ||| Alice -> Bob: message 2 Bob -->

another authentication Response @enduml 你可以在双引号内指定编号的格式。 格式是由 Java 的 DecimalFormat 类实现的：(0 表示数字；# 也表示数字，但默认为 0)。 你也可以用 HTML 标签来制定格式。 @startuml autonumber "[000]" Bob -> Alice : Authentication Request words @enduml PlantUML 语言参考指引 (1.2020.23) 15 / 306 1.21 空间 1 时序图 1.21 空间 你可以使用 ||| 来增加空间。 还可以使用数字指定增加的像素的数量。 @startuml Alice -> Bob: message 1 Bob --> Alice: ok ||| Alice -> Bob: message 2 Bob -->