On gateway for internetworking through ISDN: architecture and formal modelling with Petri nets

Author

Juanole, G. ; Faure, C.

Author_Institution

Lab. d´´Autom. et Anal. des Syst., Toulouse, France

fYear

1989

fDate

23-27 Apr 1989

Firstpage

458

Abstract

Two important design steps are presented of a gateway for connecting a local area network (LAN) and a remote computer through an ISDN (integrated services digital network). The first step concerns the specification of the gateway architecture: the inconsistencies have to be considered between the LAN architecture and the communication architecture of the remote computer (which has an ISDN interface). The second step concerns the formal specification of the behavior of the gateway, using Petri nets: this step is essential in order to verify if the specification is complete and correct

Keywords

ISDN; computer interfaces; local area networks; ISDN; LAN; Petri nets; architecture; gateway; integrated services digital network; internetworking; local area network; specification; Computer architecture; Computer networks; Formal specifications; ISDN; Integrated circuit interconnections; Internetworking; LAN interconnection; Local area networks; Petri nets; Transport protocols;

fLanguage

English

Publisher

ieee

Conference_Titel

INFOCOM '89. Proceedings of the Eighth Annual Joint Conference of the IEEE Computer and Communications Societies. Technology: Emerging or Converging, IEEE

Conference_Location

Ottawa, Ont.

Print_ISBN

0-8186-1920-1

Type

conf

DOI

10.1109/INFCOM.1989.101487

Filename

101487