Title :
Abstraction and specification of local area networks
Author :
Jo, Chang-Hyun ; Fisher, Donald D. ; George, K.M.
Author_Institution :
Dept. of Comput. & Inf. Sci., Oklahoma State Univ., Stillwater, OK, USA
Abstract :
An abstract model of a local area network (LAN) and its specification are presented. The formal model for LAN communication is presented in terms of interlayer transmission and an abstract specification template. Using this specification template, LAN objects are defined. The LAN abstract specification is illustrated using the OSI Reference Model and IEEE 802 standard protocols as examples.<>
Keywords :
data structures; local area networks; protocols; standards; IEEE 802 standard protocols; OSI Reference Model; abstract model; formal model; interlayer transmission; local area networks; specification; Automata; Communication networks; Computer networks; Design automation; Distributed computing; Formal languages; LAN interconnection; Local area networks; Petri nets; Protocols;
Conference_Titel :
Computers and Communications, 1989. Conference Proceedings., Eighth Annual International Phoenix Conference on
Conference_Location :
Scottsdale, AZ, USA
Print_ISBN :
0-8186-1918-x
DOI :
10.1109/PCCC.1989.37411
