英语语法分析

lotos

n. 埃及白睡莲；莲属植物；忘忧树或其果实（等于lotus）

n. 罗特斯（品牌名）

例句

Realization of LOTOS formal specification is one of indispensable steps in protocol design.

LOTOS形式规范的目标实现是协议设计中必不可少的阶段之一。

The theory basis of GTSL is the theory of grey system and that of LOTOS, the language of temporal ordering specification.

本文呈现了我们构造的形式化灰色时序安全策略规范语言（GTSL）。 GTSL的理论基础是灰色系统理论和时序规范语言LO-TOS理论。

LOTOS is a specification language that aims at describing the dynamic behavior of complex systems (formal description language).

LOTOS主要是用来描述复杂系统动态性的说明语言(形式描述语言)，是可操作的。