DocumentCode
2279183
Title
An integrated approach to the design of communication protocols
Author
Wolisz, A. ; Schieferdecke, I. ; Walch, M.
Author_Institution
GMD FOKUS, Berlin, Germany
fYear
1993
fDate
22-24 Sep 1993
Firstpage
411
Lastpage
418
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Distributed Computing Systems, 1993., Proceedings of the Fourth Workshop on Future Trends of
Conference_Location
Lisbon
Print_ISBN
0-8186-4430-3
Type
conf
DOI
10.1109/FTDCS.1993.344210
Filename
344210
Link To Document