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主要是用来描述复杂系统动态性的说明语言(形式描述语言),是可操作的。