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

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