After discussing the syntax andsemantics of Estelle,an application example is given.

• 接着讨论了Estelle的语法和语义; 最后给出了Estelle的应用例子。