International Journal of Computer Applications
A protocol defines how communication takes place between computer systems. Protocol designing is complex task due to growing size of network and changing technology. Informal and Formal methodology used to design protocol. Informal method uses natural language or textual format to design specification. Formal methodology uses formal language to define specifications. Informal methodology have some shortcoming like blurred or ambiguous specification, analysis of protocol is complex and not suitable to design large protocols. Formal methodology uses automated tool to design specification and very useful for debugging of specification. Specification designing is key step in protocol design and development in both methods.