协议形式化描述与一致性验证研究  

Study of Protocol＇s Formai Description And ConiOrmance Verification

作　　者：李大伟[1] 张守林[1] LI Da-wei, ZHANG Shou-lin （Unit 94 of 94362 Troops,CPLA,Qingdao 266111,China）

机构地区：[1]中国人民解放军94362部队94分队,山东青岛266111

出　　处：《电脑知识与技术》2010年第4期2363-2364,2366,共3页Computer Knowledge and Technology

摘　　要：该文基于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.

关 键 词：形式化描述 一致性验证 SDL 

分 类 号：TP309.04[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]