Estelle,a famous formal description technique,is discussed in this paper,where its principal features are also described.

• 本文主要研讨了一种著名的形式描述技术Estelle。 文中先论述了Estelle的主要特征;