在这个例子中，我们引入了一个名为 var 的变量，类型为 int，初始值为 0。每次状态图执行遍历转换时，变量将递增 2。同一作用域中每个变量只能有一个init。

　　此表达式引入了一个名为 varname 的变量，其初始值在第二个表达式中给出（在 init关键字之后）。

　　变量的类型取决于用于初始化它的值。例如，在这里，使用文字整数 0 和浮点文字 0.0 分别导致实际类型 int 和 real：类型确定自动执行并最终在整个状态图中传播（任何后续使用 x 和 y 都会传播所涉及的表达式中的 int 和实数类型约束）。

　　内部变量的作用范围也即是内部变量的作用域。它们仅在状态图的某些部分可见。变量在其复合状态下可见，在下面的所有子复合（或并行）状态下可见。

　　此示例中有三个不同的声明变量，一个“y”变量仅在第一个复合状态下可见，因为用于声明它的 init 关键字位于此状态内的转换中。还声明了两个同名变量：“x”。一个在顶层和 Composite1 可见;另一个在 Composite2 中声明，并隐藏先前声明的变量。由于这种隐藏，Composite2 无法访问在声明的变量 x。Composite 1 不会重新定义名为 x 的变量，因此可以访问在声明的变量。