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

摘要

该文基于Telelogic_SDL_TTCN_Suite使用规范和描述语言(SDL:Specification and Description Language)以及树表结合表示法(TTCN:Tree and Tabular Combined Notation)探讨了协议的形式化描述与一致性验证问题,给出了协议形式化描述与一致性验证的一般方法.