PROSAGA码农传奇-staruml-UML状态图中是否允许没有直接转换的状态？

0# 老夫的少女心吖 | 2019-08-31 10-32

1# 晴天？霹雳 | 2019-08-31 10-32

<div class =“post-text”itemprop =“text”>
  <H3>
    简而言之
  </H3>
  <P>
    基于UML 2.5规范，这种图表非常有效。然而，通过演绎，我们可以理解它不是最好的方法。
  </p>
  <H3>
    细节：为何有效
  </H3>
  <P>
    根据定义（部分
     <code>
      14.2.3.4.1
    </code>
    ）：
  </p>
  <UL>
    <LI>
       <code>
        State1
      </code>
       是一个
      的<strong>
        <EM>
          复合状态
        </EM>
      </强>
       由一个人组成
      的<strong>
        <EM>
          区域
        </EM>
      </强>
      。
    </LI>
    <LI>
       <code>
        State2
      </code>
       和
       <code>
        State3
      </code>
       是
      的<strong>
        <EM>
          简单的状态
        </EM>
      </强>
      ，在这种情况下，他们也是
      的<strong>
        <EM>
          直接子状态
        </EM>
      </强>
       的
       <code>
        State1
      </code>
    </LI>
  </UL>
  <P>
    关于进入州的规则建议您的问题的第一个答案（部分
     <code>
      14.2.3.4.5
    </code>
    ）：
  </p>
  <BLOCKQUOTE>
    <P>
      显式输入：如果传入Transition或其继续
  终止于复合国的直接包含的子状态，
  那个子状态变得活跃了......
    </p>
  </BLOCKQUOTE>
  <P>
    在与地区有关的规则中也加强了这一点（部分
     <code>
      14.2.3.2
    </code>
    ），更确切地说是他们的激活：
  </p>
  <UL>
    <LI>
      区域以其自身的本地初始伪事件开始（当激活封闭状态时自动激活，或者激活其“正交”区域（即，在相同复合状态下并发））。
    </LI>
    <LI>
      <P>
        或者，如果区域由进入的转换激活，则区域以显式状态（子状态）开始：
      </p>
      <BLOCKQUOTE>
        <P>
          当转换输入Region时，会发生显式激活
  终止于包含顶点的Region  之一。
        </p>
      </BLOCKQUOTE>
    </LI>
  </UL>
  <P>
    因此，您的图表完全有效，具有从初始状态到子状态的显式转换
     <code>
      State2
    </code>
    。
  </p>
  <H3>
    细节：为什么不推荐
  </H3>
  <P>
    首先，建议（第14.2.4.5.1节）在某些情况下隐藏复合状态的分解可能会有所帮助：
  </p>
  <UL>
    <LI>
      通过显式激活，这种隐藏将需要绘制模型的变体，显示从初始到的转换
       <code>
        State1
      </code>
       而不是直接过渡到
       <code>
        State2
      </code>
      。
    </LI>
    <LI>
      使用默认激活时，您只有一个模型：State1的初始值和State2的State1 ::的初始值。由您来显示或隐藏详细信息。或者放大忽略其背景的区域。
    </LI>
  </UL>
  <P>
    然后，如果您以后需要使用多个“正交”区域扩展复合状态：
  </p>
  <UL>
    <LI>
      使用默认激活，您只需添加具有自己默认激活的其他区域。
    </LI>
    <LI>
      通过显式激活，您在一个（显式激活的）区域与其他区域（需要默认激活）之间存在不对称性。
    </LI>
    <LI>
      或者，您可以考虑进行多次显式激活。但是这并没有得到很好的支持：首先不存在具有多个目标的转换，其次，从（外部）源状态到不同（内部）目标子状态的多个转换在转换的语义和执行模型方面将是不明确的。
    </LI>
  </UL>
  <P>
    UML规范警告说，如果缺少默认激活，则应将模型视为定义错误，或者该区域永远不会启动。因此，使用系统方法更安全，并始终使用默认激活。
  </p>
</DIV>

2# 晴天 | 2019-08-31 10-32

3# Jacob | 2019-08-31 10-32