Basic State Machine with Triggers and Guards(带触发器和保护的基本状态机)

起始状态机模式从它所展示的重要状态的角度来描述一个实体(例如类、参与者、用例或测试用例)。状态机图表明实体可以处于两种状态之一，并且它在两种状态之间转换。转换已经用触发和保护进行了注释，指示了启动(触发)状态改变的是什么，以及转换进行(触发)必须满足什么条件(保护)。

讨论

提供一种机制来表示系统工程师或其他利益相关者认为在类或其他元素的生命周期中重要的条件(状态)。它描述了状态依赖行为，显示了元素如何从一个状态转换到另一个状态。过渡上的注释有助于限定状态更改。

当软件工程师想要定义或描述一个类或其他元素可能表现出的一组离散状态时，使用该模式。它们通常是为了分析系统某个部分的行为而创建的，这通常是因为它很难理解或者因为它的行为很复杂。

下面列出了使用这种模式时您可能想要做的一些事情。

• 重命名包、状态机和图表，以适应计划。
• 重命名图中的状态和转换，以适应计划。
• 通过从工具箱或项目浏览器拖到图表上，创建新的状态、其他元素和转换。

以下是应用模式时可用的后续步骤列表。

• 为状态创建进入、执行和退出操作，以模拟在这些条件下发生的情况。
• 向转场添加效果，以表达转场触发时执行的行为。
• 在开发其他模型时，从这些模型中创建跟踪，以表达状态与模型中其他元素的关系，例如用例、组件、工件和数据库对象。
• 创建有助于将图表中包含的信息传播给其他团队成员的文档。

参考文献

使用这种模式时，以下工具非常有用。

规格视图
规范视图可以作为一种使用组件和接口的方式，特别是当有大量元素时，就像描述任何可感知大小的系统时的典型情况一样。有关更多详细信息，请参见规范视图帮助主题。

文档生成器
文档生成器是企业架构师中的一个强大工具，它允许数据库工程师或其他利益相关者直接从模型中创建高质量的公司或技术文档，适合内部或外部受众。有关更多详细信息，请参见文档帮助主题或关于模型发布的更一般的主题。

手绘和白板图表
“手绘”和“白板模式”是可用于任何图表的显示选项，可将系统绘制的图表更改为看起来像是手动绘制的，也可以选择手动绘制在白板上。这是一种吸引观众的强有力的手段，它以一种粗略而更直接的方式呈现图表，给人一种它只是一个可以改变的草图的印象。有关更多详细信息，请参见手绘和白板模式帮助主题。

图表元素的替代和图像
大多数标准元素允许为一个元素定义一个替代图像，该替代图像将用于替代所选图表上的元素的图形符号，或者作为所有图表上的默认值。有关更多详细信息，请参见使用图像管理器帮助主题。

编译模拟器
编译模拟器提供了许多使用可执行状态机的工具。这包括生成各种编程语言代码的状态模型，构建和运行模拟。可以配置分析器脚本来确定如何为可执行状态机生成、编译和执行代码。可以使用内置的代码编辑器查看和编辑生成的代码，并且可以使用执行分析器来调试正在运行的代码。有关更多详细信息，请参见使用已编译模拟面板帮助主题。

元素讨论
元素讨论工具是一个功能齐全的协作工具，允许建模者、模型查看者和评审者直接在存储库中相互通信。使用完整客户端或临时客户端的建模人员