Protocols modeling using the Unified Modeling Language

Specifying communications protocols is a very important step of the protocol development process and protocol engineering. A rigorous specification would result in a more reliable and highly maintainable implementation, and hence would reduce the time and cost required for performing the development and maintenance activities. We propose to use the Unified Modeling Language (UML) for the specification documentation and elicitation of behavioral, structural and architectural models covering both the static and dynamic aspects of protocols. We illustrate the use of UML using a simple communication service and protocol.