Second, ESTELLE, one of formal description technique, is extended to broadcast channel for description power.

• 第三章和第四章主要介绍了ESTELLE为代表的形式化描述技术。 针对ESTELLE描述通道的局限性,给出了一个描述广播通道的扩展;