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

(整期优先)网络出版时间:2010-04-14
/ 1
该文基于Fcielogic_SDL_TTCN_Suite使用规范和描述语言(SDL:speci6cationandDescriptionLanguage)以及树表结合表示法(TTCN:TreeandTabularCombinedNotation))探讨了协议的形式化描述与一致性验证问题.给出了协议形式化描述与一致性验证的一般方法.