形式描述技术及其应用

本文论述了形式方法的概念.讨论了几种用于计算机通信协议的形式描述语言,在此基础上讨论了由形式描述技术发展起来的有关协议工程的概念,发展和它的主要内容。最后结合一个决策模型,给出了该模型的 Pet(?)网形式描述。