Системно-объектное моделирование знаний о структуре и состояниях компьютерной сети

В работе рассмотрены выразительные и формальные возможности теории системно-объектного моделирования с целью описания знаний о структуре, функционировании и состояниях компьютерной сети. Представлены способы описания распределённых информационных систем средствами исчисления систем как функциональных объектов. Показаны ограничения использования алфавита элементарных узловых объектов. Предложен механизм описания состояний узла компьютерной сети.