执行LOTOS形式说明的编译器支持  

Compiler Support to Implement LOTOS Formal Specification

作　　者：李伟[1] 郭宏亮[2] LI Wei, GUO Hong-liang （1. The Institute of Physics and Information Engineering, Henan Normal University, Xinxiang, Henan 453007, China; 2. Electromachanical Engineering Department of Pingyuan University, Xinxiang, Henan 453003, China）

机构地区：[1]河南师范大学物理与信息工程学院,河南新乡453007 [2]平原大学机电工程学院,河南新乡453003

出　　处：《平原大学学报》2006年第6期125-127,共3页Journal of Pingyuan University

摘　　要：LOTOS主要是用来描述复杂系统动态性的说明语言（形式描述语言），是可操作的。LOTOS在说明执行方面最突出的问题是把抽象实体映像成实际实体，抽象实体与实际实体都有效地作用于环境，并且允许环境影响说明特性。本篇文章描述了由LOTOS转向C或Ada代码的TOPO鳊译器。LOTOS is a specification language that aims at describing the dynamic behavior of complex systems （formal description language）. To a large extend, LOTOS semantics is operational. There may be several targets in specification execution. The outstanding problem is to map abstract entities onto real entities, both effectively act on the environment, and to allow the environment to influence specification behavior. The paper describes the opportunities provided by TOPO, a compiler from LOTOS into C or Ada code.

关 键 词：形式描述语言 LOTOS 编译器 

分 类 号：TP301.2[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]