APP下载
[00040429]一种带并发的状态机图转换到自动机的方法
联系人： 南京大学
所在地：江苏 南京市
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
技术详细介绍
一种带并发的状态机图转换到自动机的方法，包括步骤如下：步骤10：输入一个UML状态机图；步骤11：生成一个名字为go的自动机（自动机的名字可根据自己习惯定义），该自动机可以产生一个go信号量；步骤12：对状态机图的每个状态声明一个整型全局变量；步骤13：对状态机图的每个迁移声明一个自动机；步骤14：每个自动机添加两个location（自动机中的节点）和三个transition（自动机中的迁移）；步骤15：根据UML状态图的迁移，完善所添加的location和transition；步骤16：所有产生的自动机，构成转换结果。该方法主要特点为可以将带并发的UML状态机图转化为自动机，方便各个领域应用。
