Compiler Support to Implement LOTOS Formal Specification

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