基于EFSM的代码生成原理与机制

码生成过程失败.语法检查还需保证模型中出现的所有状态都包含在生成的EFSM模型中.在设计模型中,用户将指定一个入口状态,从该状态开始提取整个模型的EFSM.语法检查的这一项可以保证用户设计的所有状态均可由入口状态达到,而不会出现不可到达的独立状态.一个是由2个屏幕组成的EFSM,另一个是Cell复合状态对应的EFSM.由表1和表2可以看出,设计模型中每一个状态都惟一属于一个EFSM,且2个EFSM包含了设计模型中所有的状态.经过这一步的检查,可以证明设计模型在语法和词法方面是正确的[7].

 

2.5 代码的生成[8,9]            
把提取出的EFSM模型映射到目标代码,实现步骤如下:
①根据第1步提取的资源生成资源相关代码MUI平台对应不同语言有不同的资源库,在资源库中有屏幕及各种可视化控件的构造函数.找到设计模型中的入口屏幕(状态),读取第1步中提取的相关资源信息,将信息中各可视化控件的属性传入相应构造函数,生成入口屏幕的可视化界面.
②生成事件对应代码          
MUI平台截取特定语言消息循环过程中的消息(事件),如果该消息(事件)是由控件发出的,则根据资源数组,帮写硕士论文首先把该消息(事件)发给该控件所属的状态(屏幕),继而,由该状态将此消息(事件)传入第2步建立的系统级EFSM模型中,进入系统级EFSM的消息循环.
③ 生成活动对应代码           
活动由事件及条件决定,属于触发事件的状态.当一个事件发生,在不同的条件下将会执行不同的活动.活动一般对应一段函数,即第3步中提取的全局