Realization of LOTOS formal specification is one of indispensable steps in protocol design.
LOTOS形式规范的目标实现是协议设计中必不可少的阶段之一.
相关词汇
ofprep. 关于，属于…的，由…制成；aux. 助动词 [非标准用语、方言] =have [主用于虚拟语气]；
lotosn. <希神>忘忧树或其果实，莲属植物，埃及白睡莲，神食果；
formaladj. （学校教育或培训）正规的，方式上的，礼仪上的；n. <美>须穿礼服的社交集会，<口>夜礼服；
isvt.& vi. 是（be的三单形式；n. 存在；
onenum. （数字）一，一个，（基数）一，第一；n. 一个人，一点钟，一体，独一；pron. 一个人，任何人，本人，人家，东西；adj. 某一个的，一体的，一方的；
stepsn. 级别( step的名词复数 )，脚步，步骤，步伐；v. 举步，行走，跨步( step的第三人称单数 )，离开(along)，（尤指马）轻快地走，（跳舞时）合着节拍走；
inprep. 采用（某种方式），穿着，带着，（表示位置）在…里面，（表示领域，范围）在…以内，（表示品质、能力等）在…之中；adv. 在家，进入，到达，流行，当选；adj. 在内的，朝内的，在位的，执政的，[口语]流行的，时髦的，（车等）到站的；n. 执政党，掌权者，知情者，<美口>入口，门路，<体>（板球或棒球）攻球的一方；
protocoln. 礼仪，（外交条约的）草案，（数据传递的）协议，科学实验报告（或计划）；vt. 把…写入议定书，在议定书中拟定（或颁布）；vi. 拟定议定书，拟定草案；
designvt.& vi. 设计，绘制；vt. 设计，计划，企图，决意（做）；n. 设计，图案，结构，计划；vi. 设计略图，（为工艺品、装潢项目等）设计，当设计师，构思；