LNT2LOTOS公司

LNT到LOTOS转换器的参考手册。本报告定义了LNT语言,它是E-LOTOS(国际标准ISO-15437:2001)的简化变体。简言之,LNT提供了与LOTOS相同的表达能力,但是从命令式和函数式编程语言中借用了更多用户友好和规则的符号。特别是,与LOTOS不同,LNT的数据类型和过程部分共享许多相似的结构,这导致了一种比LOTOS更统一、更易于学习的语言。本报告定义了LNT的语法、静态语义和动态语义,并介绍了LNT的相关工具:LPP预处理器、LNT2LOTOS转换器和与OPEN/CAESAR框架接口的LNT.OPEN脚本,以便使用CADP工具箱分析LNT规范。