简介:该文基于Fcielogic_SDL_TTCN_Suite使用规范和描述语言(SDL:speci6cationandDescriptionLanguage)以及树表结合表示法(TTCN:TreeandTabularCombinedNotation))探讨了协议的形式化描述与一致性验证问题.给出了协议形式化描述与一致性验证的一般方法.
协议形式化描述与一致性验证研究