UML状态图和Moore / Mealy机器

Question

如何使用UML状态图为Moore和Mealy机器建模？此外，如何在这些图表中表示输出？通过行动？

Answer 1

状态机可以定义行为（最新的UML 2.5.1规范的第309页）：

  

14.2.3.4.3州进入，退出和行动能力行为

     

州可能有相关的入境行为。只要通过外部转换输入状态，就会执行此行为（如果已定义）。此外，一个国家也可能有一个相关的退出行为，如果已定义，则在退出国家时执行。

     

状态也可能具有关联的doActivity行为。此行为在输入State时开始执行（但仅在State Entry Behavior完成后）并与可能与State关联的任何其他行为同时执行，直到：

     

  
• 完成（在这种情况下生成完成事件）或
  
• 状态退出，在这种情况下中止doActivity行为的执行。
  

     

国家的行动态行为的执行不受该州内部过渡的解雇的影响。

请继续阅读第9页。 320关于后者的符号。

Answer 2

UML状态图具有Mealy和Moore状态机的特征。

要表示纯Mealy机器，只使用过渡操作：

stateA -- TRIGGER [guard] / action() --> stateB

要表示纯粹的摩尔机器，您只对状态使用进入或退出操作，但不要在过渡时使用操作：

stateA
   entry/ actionA();

stateB
   entry/ actionB();

当您在状态中使用转换和进入/退出操作时，您可以混合使用Mealy和Moore机器。