An example of semiautomatic protocol implementation based on Estelle is given.

• 结合一个实例讨论了一个基于Estelle形式描述的半自动实现技术的应用。