| 执行LOTOS形式说明的编译器支持 |
| |
| 引用本文： | 李伟,郭宏亮. 执行LOTOS形式说明的编译器支持[J]. 平原大学学报, 2006, 23(6): 125-127 |
| |
| 作者姓名： | 李伟 郭宏亮 |
| |
| 作者单位： | 1. 河南师范大学,物理与信息工程学院,河南,新乡,453007
2. 平原大学,机电工程学院,河南,新乡,453003 |
| |
| 摘 要： | LOTOS主要是用来描述复杂系统动态性的说明语言(形式描述语言),是可操作的。LOTOS在说明执行方面最突出的问题是把抽象实体映像成实际实体,抽象实体与实际实体都有效地作用于环境,并且允许环境影响说明特性。本篇文章描述了由LOTOS转向C或Ada代码的TOPO编译器。
|
| 关 键 词： | 形式描述语言 LOTOS 编译器 |
| 文章编号： | 1008-3944（2006）06-0125-03 |
| 收稿时间： | 2006-06-14 |
| 修稿时间： | 2006-08-11 |
Compiler Support to Implement LOTOS Formal Specification |
| |
| LI Wei,GUO Hong-liang. Compiler Support to Implement LOTOS Formal Specification[J]. Journal of Pingyuan University, 2006, 23(6): 125-127 |
| |
| Authors: | LI Wei GUO Hong-liang |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
