Title :
Protocols modeling using the Unified Modeling Language
Author :
Jaragh, M. ; Saleh, K.A.
Author_Institution :
Dept. of Comput. Eng., Kuwait Univ., Safat, Kuwait
Abstract :
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
Keywords :
formal specification; protocols; specification languages; telecommunication services; UML; Unified Modeling Language; architectural models; behavioral specification; communication service; communications protocols; documentation; dynamic aspects; protocol engineering; reliable protocol; specification; static aspects; structural models; Access protocols; Acoustical engineering; Costs; Documentation; Electronic mail; Maintenance engineering; Reliability engineering; Software maintenance; Spine; Unified modeling language;
Conference_Titel :
TENCON 2001. Proceedings of IEEE Region 10 International Conference on Electrical and Electronic Technology
Print_ISBN :
0-7803-7101-1
DOI :
10.1109/TENCON.2001.949553
