摘要： 下载和配置spin下载网址http://spinroot.com/spin/Bin/index.html，将spin安装在没有空格的路径下。安装后将其加入环境变量PATH中。下载和配置gcc下载网址http://sourceforge.net/projects/mingw/，将MinGW安装在没有空格的路径下。安装后将目录下的bin加入环境变量PATH中。Jspin的配置下载和配置JDK下载网址http://java.com/en/download/index.jsp，安装后将目录下的jdk1.7.0_x/bin路径加入环境变量PATH中。下载jspin-5.0下载网址http://code. 阅读全文

摘要： 自动机由状态和变迁两部分组成，其翻译涉及到将状态和变迁上所对应的内容翻译到可以描述模型的代码上。自动机提供了整个所需执行逻辑的框架，框架有变迁、状态、组件组成。翻译可以看成是由两部分构成，对框架内每个元素的翻译和对对整个框架的结构翻译。本部分将按照如下顺序进行说明：变迁的翻译、状态的翻译、组件的翻译、图形函数的翻译以及整个自动机框架的翻译。变迁的翻译。变迁离开的状态或节点后面是并列的条件分支语句，变迁的最后是跳转语句，跳转到其后继的状态或者节点对应的标签处。由于变迁是由更细小的条件、动作和通信组成的。在实行翻译之前，需要对其正确性进行校验，通信的内容不能夹在在动作的代码中，其可以出现在条件和动 阅读全文