简介：LOTOS主要是用来描述复杂系统动态性的说明语言（形式描述语言），是可操作的。LOTOS在说明执行方面最突出的问题是把抽象实体映像成实际实体，抽象实体与实际实体都有效地作用于环境，并且允许环境影响说明特性。本篇文章描述了由LOTOS转向C或Ada代码的TOPO鳊译器。
执行LOTOS形式说明的编译器支持
