DocumentCode :
1293686
Title :
The trace specification of communications protocols
Author :
Hoffman, Daniel
Author_Institution :
Dept. of Comput. Sci., Victoria Univ., BC, Canada
Issue :
12
fYear :
1985
Firstpage :
1102
Lastpage :
1113
Abstract :
A methodology for the formal specification of communications protocols is described. Communications protocol software offers special specification problems, because typically such software connects computers which are widely distributed geographically and differ in model, manufacturer and operating system. The specification method discussed is a modified version of traces, which were originally developed as a general technique for software specification. The author first describes the trace language and presents several examples. He then describes the trace methodology, illustrated with a specification of Stenning´s protocol. He summarizes his experience of using the methodology to write specifications of major portions of two commercial standards: the Advanced Data Communications Control Protocol (ADCCP) and the Internet Protocol (IP). It is concluded that traces are a feasible technique for formal specification of communications protocols.
Keywords :
computer communications software; protocols; specification languages; ADCCP; Advanced Data Communications Control Protocol; IP; Internet Protocol; Stenning´s protocol; communications protocols; formal specification; protocol software; software specification; trace specification; Abstracts; Formal specifications; Law; Protocols; Semantics; Software; Communication protocols; computer networks; formal specification; predicate calculus; software engineering; traces;
fLanguage :
English
Journal_Title :
Computers, IEEE Transactions on
Publisher :
ieee
ISSN :
0018-9340
Type :
jour
DOI :
10.1109/TC.1985.6312209
Filename :
6312209
Link To Document :
بازگشت