摘要
该文基于Fcielogic_SDL_TTCN_Suite使用规范和描述语言（SDL：speci6cation and Description Language）以及树表结合表示法（TTCN：Tree and Tabular Combined Notation））探讨了协议的形式化描述与一致性验证问题．给出了协议形式化描述与一致性验证的一般方法.
With the use of SDL Specification and Description Language and TTCN： Tree and Tabular Combined Notation, based on Telelogic_SDL_TTCN Suite the paper presents a general method for protocol＇s formal description and conformance verification.
作者
李大伟
张守林
LI Da-wei, ZHANG Shou-lin （Unit 94 of 94362 Troops,CPLA,Qingdao 266111,China）
出处
《电脑知识与技术》
2010年第4期2363-2364,2366,共3页
Computer Knowledge and Technology
关键词
形式化描述
一致性验证
SDL
formal description
conformance verification
SDL
