DocumentCode
3553314
Title
Systematic design of a network gateway using FDT LOTOS
Author
Pires, Luis Ferreira ; Schot, Jeroen
Author_Institution
Tele-Inf. Group, Twente Univ., Netherlands
fYear
1991
fDate
7-11 Apr 1991
Firstpage
1344
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/INFCOM.1991.147661
Filename
147661
Link To Document