一种带并发的状态机图转换到自动机的方法

摘要

一种带并发的状态机图转换到自动机的方法，包括步骤如下：步骤10：输入一个UML状态机图；步骤11：生成一个名字为go的自动机（自动机的名字可根据自己惯定义），该自动机可以产生一个go信号量；步骤12：对状态机图的每个状态声明一个整型全局变量；步骤13：对状态机图的每个迁移声明一个自动机；步骤14：每个自动机添加两个location（自动机中的节点）和三个transition（自动机中的迁移）；步骤15：根据UML状态图的迁移，完善所添加的location和transition；步骤16：所有产生的自动机，构成转换结果。该方法主要特点为可以将带并发的UML状态机图转化为自动机，方便各个领域应用。

主权项

一种带并发的状态机图转换到自动机的方法，其特征是包括步骤如下：步骤10：输入一个UML状态机图；步骤11：生成一个名字为go的自动机，该自动机产生一个go信号量；步骤12：对状态机图的每个状态声明一个整型全局变量；步骤13：对状态机图的每个迁移声明一个自动机；步骤14：每个自动机添加两个location和三个transition；步骤15：根据UML状态图的迁移，完善所添加的location和transition；步骤16：所有产生的自动机，构成转换结果；步骤11中，自动机的名字可根据任意定义；所述location为自动机中的节点，transition为自动机中的迁移。