Systematic design of a network gateway using FDT LOTOS

J. Schot; L.F. Pires

doi:10.1109/INFCOM.1991.147661

Systematic design of a network gateway using FDT LOTOS

J. Schot, L.F. Pires

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

102 Downloads (Pure)

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.

Original language	English
Title of host publication	Proceedings of the Tenth Annual Joint Conference of the IEEE Computer and Communications Societies, INFOCOM '91
Place of Publication	Los Alamitos, CA
Publisher	IEEE
Pages	1344-1352
Number of pages	9
Volume	3
ISBN (Print)	0-87942-694-2
DOIs	https://doi.org/10.1109/INFCOM.1991.147661
Publication status	Published - 1991
Event	10th IEEE Annual Joint Conference of the IEEE Computer and Communications Societies, INFOCOM 1991: Networking in the 90s - Bal Harbour, United States Duration: 7 Apr 1991 → 11 Apr 1991 Conference number: 10

Conference

Conference	10th IEEE Annual Joint Conference of the IEEE Computer and Communications Societies, INFOCOM 1991
Abbreviated title	INFOCOM
Country/Territory	United States
City	Bal Harbour
Period	7/04/91 → 11/04/91

Keywords

SCS-Services

Access to Document

10.1109/INFCOM.1991.147661

Pires1991systematicFinal published version, 632 KB

Cite this

@inproceedings{49e7ce3174364df591618af6826405a7,

title = "Systematic design of a network gateway using FDT LOTOS",

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 = "SCS-Services",

author = "J. Schot and L.F. Pires",

year = "1991",

doi = "10.1109/INFCOM.1991.147661",

language = "English",

isbn = "0-87942-694-2",

volume = "3",

pages = "1344--1352",

booktitle = "Proceedings of the Tenth Annual Joint Conference of the IEEE Computer and Communications Societies, INFOCOM '91",

publisher = "IEEE",

address = "United States",

note = "10th IEEE Annual Joint Conference of the IEEE Computer and Communications Societies, INFOCOM 1991 : Networking in the 90s, INFOCOM ; Conference date: 07-04-1991 Through 11-04-1991",

}

Schot, J & Pires, LF 1991, Systematic design of a network gateway using FDT LOTOS. in Proceedings of the Tenth Annual Joint Conference of the IEEE Computer and Communications Societies, INFOCOM '91. vol. 3, IEEE, Los Alamitos, CA, pp. 1344-1352, 10th IEEE Annual Joint Conference of the IEEE Computer and Communications Societies, INFOCOM 1991, Bal Harbour, Florida, United States, 7/04/91. https://doi.org/10.1109/INFCOM.1991.147661

TY - GEN

T1 - Systematic design of a network gateway using FDT LOTOS

AU - Schot, J.

AU - Pires, L.F.

N1 - Conference code: 10

PY - 1991

Y1 - 1991

N2 - 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.

AB - 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.

KW - SCS-Services

U2 - 10.1109/INFCOM.1991.147661

DO - 10.1109/INFCOM.1991.147661

M3 - Conference contribution

SN - 0-87942-694-2

VL - 3

SP - 1344

EP - 1352

BT - Proceedings of the Tenth Annual Joint Conference of the IEEE Computer and Communications Societies, INFOCOM '91

PB - IEEE

CY - Los Alamitos, CA

T2 - 10th IEEE Annual Joint Conference of the IEEE Computer and Communications Societies, INFOCOM 1991

Y2 - 7 April 1991 through 11 April 1991

ER -

Systematic design of a network gateway using FDT LOTOS

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this