文献类型：期刊文献

中文题名：执行LOTOS形式说明的编译器支持

英文题名：Compiler Support to Implement LOTOS Formal Specification

作者：李伟[1];郭宏亮[2]

第一作者：李伟

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

第一机构：河南师范大学物理与信息工程学院,河南新乡453007

年份：2006

卷号：23

期号：6

起止页码：125-127

中文期刊名：平原大学学报

外文期刊名：Journal of Pingyuan University

语种：中文

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

外文关键词：formal description language; LOTOS; compiler

摘要：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.