GA001-185-20

基本状态机与分支和连接基本状态机与分支和连接模式描述了一 个实体(例如类、参与者、用例或测试用例)的观点，它显示的重 要状态。分支用于建模两个可以同时转换到的状态，然后转换可 以与一个join 重新组合。图1。显示两个状态和两个转换以及初始 状态和最终状态的状态机关系图。Fork 将单个过渡划分为两个过 渡，过渡随后与细节重新组合。显示状态和伪状态之间转换的状 态机表，包括fork 和join。一个状态已经潜入并发区域，这表明 实体可以同时处于两个状态。讨论提供一种机制来表示系统工程 师或其他利益相关者认为在类或其他元素的生命周期中重要的条 件。它描述了显示元素如何从状态转换到状态的状态依赖行为。 当一个状态可以转换为两个独立的状态时使用fork，join 用于重新 组合转换。当软件工程师想要定义或描述一个类或其他元素可能 显示的一组离散状态时使用这个模式。它们通常是为了分析系统 的某些部分的行为而创建的，这通常是因为它难以理解或者因为 它的行为是复杂的。以下是使用此模式时可能需要做的一些事 情。1重命名包、状态机和图以适应主动性。2重命名图中的状态 和转换以适应主动性。3. 从工具箱或者项目浏览器中拖拽到图表 上，创建新的状态、其他元素和转换。4. 将显示更改为状态表。 下面是应用该模式时可用的下一步步骤的列表。1.1为状态创建进 入、执行和退出操作，以模拟在这些条件下发生的情况。1.2为转 换添加触发器、保护和效果来表示转换的约束和行为1.3创建来自 其他模型的跟踪，因为它们被开发来表示状态如何与模型中的其 他元素相关，例如:。用例、组件、工件和数据库对象。1.1创建 文档，帮助向其他团队成员传播图中包含的信息。有用的工作空 间布局|岩心模拟

具有历史的组合状态具有历史模式的组合状 态从它所展示的重要状态的角度来描述一个 实体(例如类、参与者、用例或测试用 例)。Entry 是一个可选行为，只要输入 tate，不管到达状态的转换是什么，都会执 行它。图1。显示两个状态和两个转换以及 初始状态和最终状态的状态机关系图。定义 了许多嵌套在封闭状态中的子状态。历史状 态用于返回在退出转换(转换a)触发时处于 活动状态的子状态。当机器无法识别哪个子 状态是active 时，退出历史psuedostate 的转 换是缺省的。显示项目浏览器，该浏览器显 示嵌套在一个状态下的若干子状态，该状态 又嵌套在一个状态机下，该状态机是展示基 于状态的行为的实体(a 类)的子机。讨论提 供一种机制来表示系统工程师或其他利益相 关者认为在一个类或其他元素的生命周期中 重要的条件。它描述了显示元素如何从状态 转换到状态的状态依赖行为。子状态用于显 示当软件工程师想要定义或描述一个类或其 他元素可能显示的一组离散状态时所使用的 模式的状态。它们通常是为了分析系统的某 些部分的行为而创建的，这通常是因为它难 以理解或者因为它的行为是复杂的。以下是 使用此模式时可能需要做的一些事情。重命 名包、状态机和图以适应主动性。重命名关 系图中的状态和转换以适应主动性。通过从 工具箱或项目浏览器拖动到关系图上，创建 新的状态、其他元素和转换。将显示更改为 状态表。下面是应用该模式时可用的下一步 步骤的列表。为状态创建进入、执行和退出 操作，以模拟在这些条件下发生的情况。将 触发器、保护和效果添加到转换中，以表示 来自其他模型的过渡/筛选跟踪的约束和行 为，因为它们是为了表示状态如何与模型中 的其他元素相关联而开发的，例如:。用 例、组件、工件和数据库对象。创建有助于 向其他团队成员传播图中包含的信息的文 档。有用的工作空间布局|岩心模拟

嵌套状态模式描述了一个类或其他元素， 这些类或元素具有一个或多个状态，其中 一个或多个状态本身具有状态(子状态)。该 模式允许这些状态显示在相同的图表上。 状态机关系图显示其中一个状态中的嵌套 状态讨论目的是允许软件工程师和其他涉 众在单个关系图上创建两个(或更多)级别状 态转换的可视化表示。这种表示方式在以 下情况下非常有用: 浏览转换过程以了解所 属元素的行为，或者将嵌套状态放在同一 个图表上，这样可以更容易地理解状态之 间的转换，而不需要点击复合图表

完全状态机完全状态机 模式从它所展示的重要 状态的角度来描述一个 实体(例如类、参与者、 用例或测试用例)。当进 入一个状态时，可以触 发一个进入操作，当处 于该状态时，可以触发 一个do 操作，当离开该 状态时，可以触发一个 退出操作。显示三种状 态和四种过渡的状态机 图。讨论提供一种机制 来表示系统工程师或其 他涉众认为在块或其他 元素的生命周期中重要 的条件(状态)。它描述 了状态相关的行为，显 示了元素如何从状态转 换到状态，以及在元素 处于状态期间调用了哪 些活动。当软件工程师 想要定义或描述一个块 或其他元素可能呈现的 一组离散状态时，可以 使用该模式。它们通常 是为了分析系统的某些 部分的行为而创建的， 这通常是因为它难以理 解，或者因为它的行为 是复杂的。以下是在使 用这种模式时可能需要 做的一些事情的列表

一个类可执行状态机一个类可执行状态 机模式创建元素和图表，这些元素和图 表模拟了一个类生命周期中的重要状 态，允许自动生成代码，这些代码可以 包含在一系列编程语言的系统实现中。 图1。在可执行模拟期间显示状态机关 系图。一个事件刚刚被触发，触发器导 致过渡到高亮的状态图2。显示内部源 代码编辑器和一个文件的片段，这个文 件是在选择generate，build and run 选 项时自动生成的。状态机可以被模拟， 允许各种涉众可视化机器如何、为什么 以及何时从一种状态转换到另一种状 态。模式通常是在计划的分析或实现阶 段创建的，用于为系统中一个或多个重 要类的生存期内的状态建模。但是，它 也可以在支持阶段用于尝试和理解在测 试或生产中运行的系统中存在的复杂问 题。在可执行模拟中可视化转换的能力 允许建模师或设计师推理复杂且通常难 以处理的问题。以下是使用此模式时可 能需要做的一些事情。更改类的名称和 类(属性)的实例，以适应主动性。改变 国家和事件的名称，并根据需要重新引 导过渡，以适应倡议。使用项目浏览器 运行模拟，查找并打开classa 下的状态 机关系图。从模拟色带中动态模拟面板 打开以下窗口: 模拟器窗口、触发器窗 口。选择项目浏览器中的配置工件。从 模拟带| 编译模拟| 构建和运行选择生 成，构建和运行。在模拟事件窗口右侧 的等待事件中双击event _ a 触发事件状 态机。双击其他事件继续模拟。显示了 右侧面板中等待触发器部分中列出的事 件。下面列出了在应用这些模式时可以 采取的一些步骤。自动生成一个或多个 时间图，描述触发器触发的时间和顺 序。(使用仿真窗口上的工具菜单中的 生成时序图选项。)图4。使用执行分析 器和内置的调试器来验证代码是否正确 执行，必要时修改状态机，并根据需要 重新生成代码