Estelle：通信协议的一种形式描述技术及应用

摘要

本文主要研讨了一种著名的形式描述技术Estelle。文中先论述了Estelle的主要特征;接着讨论了Estelle的语法和语义;最后给出了Estelle的应用例子。