Title :
Formal interpretation of network tasks of model OSI
Author :
Kiselev, A.A. ; Novikov, S.N.
Author_Institution :
Siberian State Univ. of Telecommun. & Inf., Novosibirsk, Russia
Abstract :
The purpose of paper-development of mathematical model which irrespective of type of cooperating open systems and used technologies information transformations of the at a network level and the appropriate planes of generalized model open system interconnection (GMOSI) are describes.
Keywords :
formal verification; open systems; GMOSI; OSI model; formal interpretation; generalized model open system interconnection; information transformation; mathematical model; network task; Appropriate technology; Informatics; Mathematical model; Next generation networking; Open systems; Paper technology; Quality of service; Resource management; Routing protocols; Switches; NGN; OSI; PP; QoS; data transformation;
Conference_Titel :
Control and Communications, 2005. SIBCON '05. IEEE International Siberian Conference on
Print_ISBN :
0-7803-9219-1
DOI :
10.1109/SIBCON.2005.1611186
