嵌入式系统之StateCharts

说明模型（specification model）：适合于复杂系统，可以对层次性和并发性建模。 通过条件来转换；与动作一起转换。（其实很像状态机）

状态说明：

基态（basic state）：不包含其他状态的状态；超态（super state）：包含其他状态的状态。

层次性：OR state。在超态A中，A被激活的话，那么A状态中有且只有一个状态处于激活。

并发性：AND-Super-State。当超态A被激活的话，那么A的所有状态都被激活。

树状表示（tree representation）：

状态的集合：

        基态（basic state）：state；

        OR超态（OR-Super-State）：孩子的联合；

         AND-Super-States：孩子的笛卡尔积。计算这些的时候要从叶到根。

状态的边：（edge label）

         

             Events：直到下一个模型分析出现之前都存在；

             conditions：直到被赋值之前都使得当前状态保持不变。

             action：变量的赋值或者是事件的产生。

             三个阶段的分析：

             1、分析事件和条件的外部改变的影响；

             2、计算在当前步骤下右边的赋值的转换；

             3、激活转换，将新的值赋给变量。

                

对于StateCharts有一种称之为State diagram：