Title :
An integrated approach to the design of communication protocols
Author :
Wolisz, A. ; Schieferdecke, I. ; Walch, M.
Author_Institution :
GMD FOKUS, Berlin, Germany
Abstract :
Quality of service considerations have to be included in the whole protocol engineering cycle. The authors present an integrated approach for the design of communication protocols, including: performance enhanced formal specification of communication protocols, formal requirement specification, statistical performance analysis out of the enhanced formal specification, and verification of bounded performance properties out of the formal specification
Keywords :
formal specification; formal verification; performance evaluation; protocols; bounded performance properties; communication protocols; formal requirement specification; integrated approach; performance enhanced formal specification; quality of service consideration; statistical performance analysis; verification; Application software; Computer networks; Data communication; Electronic mail; High-speed networks; Humans; Performance analysis; Protocols; Quality of service; Throughput;
Conference_Titel :
Distributed Computing Systems, 1993., Proceedings of the Fourth Workshop on Future Trends of
Conference_Location :
Lisbon
Print_ISBN :
0-8186-4430-3
DOI :
10.1109/FTDCS.1993.344210
