Title :
Systematic design of a network gateway using FDT LOTOS
Author :
Pires, Luis Ferreira ; Schot, Jeroen
Author_Institution :
Tele-Inf. Group, Twente Univ., Netherlands
Abstract :
The design and partial implementation of a network gateway (an intermediate system) using the formal description technique (FDT) LOTOS are described. The requirements capturing process and the formalization process that results in an abstract and formal description of the gateway are described. This description is then refined through a series of functionality decomposition steps. It is claimed that the use of an FDT can improve the quality of the design and implementation, by allowing early evaluation of correctness of design steps
Keywords :
computer networks; formal specification; FDT LOTOS; formal description technique; formalization process; functionality decomposition steps; network gateway; partial implementation; requirements capturing process; systematic design; Access protocols; Convergence; Design methodology; Formal specifications; Hardware; ISDN; LAN interconnection; Process design; Refining; Telecommunication traffic;
Conference_Titel :
INFOCOM '91. Proceedings. Tenth Annual Joint Conference of the IEEE Computer and Communications Societies. Networking in the 90s., IEEE
Conference_Location :
Bal Harbour, FL
Print_ISBN :
0-87942-694-2
DOI :
10.1109/INFCOM.1991.147661
