Title :
Using formal specification and observers to specify and validate the ATM signaling protocols
Author :
Atwood, J. William ; Ghodrat, Morteza ; Tasak, Dariusz
Author_Institution :
Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
Abstract :
When ensuring that an implementation of a computer communications protocol satisfies both conformance with the specification and conformance with the intent/expectations of the designers, it is useful to write a formal specification, and derive the implementation directly from it. This permits the use of validation techniques that are expressed using concepts meaningful to the protocol designer. This technique has been applied to the testing and validation of the ATM higher layer signaling protocol (Q.2931) and the service specific connection oriented protocol (Q.2110), using the Estelle formal description language, and the observers of the Estelle Development Toolset
Keywords :
asynchronous transfer mode; conformance testing; formal specification; observers; protocols; software engineering; specification languages; telecommunication computing; telecommunication signalling; ATM higher layer signaling protocol; ATM signaling protocols; Estelle Development Toolset; Estelle formal description language; Q.2110; Q.2931; computer communications protocol; conformance; formal specification; observers; service specific connection oriented protocol; validation techniques; Asynchronous transfer mode; Computer science; Data structures; Data visualization; Error correction; Explosions; Formal specifications; Signal design; Testing; Transport protocols;
Conference_Titel :
Local Computer Networks, 1999. LCN '99. Conference on
Conference_Location :
Lowell, MA
Print_ISBN :
0-7695-0309-8
DOI :
10.1109/LCN.1999.802005
