问题标签 [state-diagram]

我正在 StarUML 中创建一个状态图，我想在图中显示选择元素的名称，但如果不添加文本注释，我不知道该怎么做。

你知道这是否可能吗？

谢谢！

我正在使用 UML 状态图对流程进行建模。这是一些确定当前状态的伪代码：

我得到的最接近的是这张图：

但是，我认为每个转换包含两次有点奇怪。顺序很重要，这意味着授权检查应该始终放在第一位。

如何为这个过程建模？

编辑：

这个过程背后的背景是一个 REST 服务。帐户被建模为资源，并且可以经历各种状态。任何时候请求资源时，服务都会按照上面伪代码描述的顺序执行检查，以生成相应的表示。根据答案，它包括：

• 如果帐户需要授权，则为该帐户授权的链接
• 如果需要更新，则提供更新配置文件的链接（但这只能在帐户获得授权或无需授权时发生）
• 如果配置文件是最新的，则用于完成帐户的链接（因为它必须更新并由客户更新，或者它从来不需要首先更新）

上面的代码只是一个例子。该服务还可以利用存储“状态”的数据库字段，尽管这是一种反模式，不是吗？通过对存储的数据应用业务规则而不是（冗余地）将状态存储在单独的字段中来“导出”当前状态更为可行。这就是伪代码应该表明的内容。

我无法确定 Q1 和 Q2 的布尔方程。我所做的是将值输入到卡诺图中。但是由于状态图只包含 3 个状态（00、01 和 11），我有点不确定如何设置卡诺。我知道如果它有四个状态（00、01、11 和 10）会是什么样子。

这就是我的卡诺的样子，虽然它可能是错误的

编辑：我应该在我的卡诺中添加最后一行 (10) 并且只输入不关心吗？

在分析我们的一位客户可能拥有的状态时，我正在研究 UML 状态图。我正在尝试使用具有正交区域的复合状态，其中一个原因中的一个状态是另一个正交原因中至少一个状态变化的触发器。

我意识到我可能试图使用错误的范式来对此进行建模，因此请随时在此基础上纠正我，但出于此问题的目的，有一个简化但稍微更详细的情况解释：

• 客户的“活动”状态有 3 个正交区域，我将它们称为 R1、R2 和 R3
• R1 具有“帐户提款禁用”和“提款启用”状态
• R2 具有“ID 未验证”和“ID 已验证”状态
• R3 有“现金账户”和“信用账户”

只有当 R1 处于“提款启用”状态且 R2 处于“ID 验证”状态时，R3 才能从“仅现金”更改为“信用” - 再加上另一个触发器。

在绘制状态图时，是否有一种有效的方法可以使一个正交区域中的一个状态转换（至少部分）依赖于其他正交区域中的一组状态？如果不是，我还能用什么其他方式来表示这一点？

（顺便说一句，我曾考虑单独对帐户状态进行建模，但在此领域的讨论是如此之多，因此将其作为客户状态的一部分集成起来感觉更有用）

在此先感谢您的帮助。

如何在企业架构师 13 中创建子机状态，其中状态代表状态机并将您链接到它？如果导出到 XMI，则状态应该有一个 ID 标签，将您指向状态机。

在此视频中，可以看到 UML 状态图的一部分：

但是，“提供资金”状态是一种行动。这有什么意义？

状态是否有可能成为动作（动词）？

“提供资金”行动不应该是一个过渡吗？

下面这样的事情不会更有意义吗？

我在解释这台图灵机的实际功能时遇到了一些麻烦（即，我不确定如何用简单的英语解释它）。

我相信我已经使用给定的转换表正确地创建了状态图（尽管也不是 100%）。

据我所知，(q2)只要输入的形式为，这个 TM 就会停止在接受状态

(a || b || B)*Ba*c(a || b || c || B)*,

即任意数量的a's、b's 和空白（但没有c's），后跟至少一个空白、任意数量的a's 和恰好一个c。任何事情都可能发生，因为我们在找到 first 时就离开了c。

我想我的问题是

a) 到目前为止我的工作是否正确？和

b) 对这个图灵机是否有更有意义的解释（即比我写的输入停止的更丰富的描述(q2)）。

我正在尝试建立一个表格来描述下面描述的硬币兑换机的 FSA 行为。

有一个插槽可以接受 50c 硬币和 2 个按钮，用户可以按下这些按钮来获得 20c 或 10c 硬币作为找零。一旦插入 50c 硬币，机器就会锁定以防止再添加硬币。当用户按下 20c 按钮时，机器检查剩余值是否足够，然后给用户一个 20c 硬币。如果剩余值不够，则机器“死机”（为简单起见）。10c 按钮的工作原理类似。

机器的事件是insert50c, give20c, give10c。

所以，据我了解，这个 FSA 有 6 个状态，比如说 0、10、20、30、40、50。状态由剩余要退还的钱的​​价值来表示。我在这里画了一个粗略的状态图，但我错过了任何转换吗？

给定一个 16 位寄存器 A 以 2 的补码形式保存一个数字，使用具有任意数量输入的单个门（例如，AND、OR、XOR、NAND、NOR、NOT）来实现一个产生输出 1 的电路，如果该数字可以被 16 整除，否则输出 0。这些位标记为 A15、A14、...、A0。

它只值两分，所以我不确定这到底是什么意思，

我的答案是一个 XOR 门，输入来自 A0-a15 有什么想法吗？

您如何将此 RE 转换为 DFA？

我无法为这个绘制状态图。我不确定从哪里开始，尤其是涉及任意数量的 a 时。