Formal Method for the Development of Communication Network Protocols

This paper expounds the challenges that the development of communication network protocols meet today, puts forward a method to develop communication network protocols by using protocol engineering. This paper introduces protocol engineering,formal method and core technique formal description technique, and some of the most popular formal methods which have been widely used today, such as SDL, ESTELLE,Petri nets and LOTOS . At last, these fomal methods are analyzed and evaluated.