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. 設計略圖，（為工藝品、裝潢項目等）設計，當設計師，構思；