System–Object Modeling of Knowledge about the Structure and States of a Computer Network

The paper examines the expressive and formal capabilities of the theory of system–object modeling for describing knowledge about the structure, functioning and states of a computer network. Methods for describing distributed information systems using systems calculus as functional objects are considered. The limitations of using the alphabet of elementary node objects are considered. A mechanism for describing the states of a computer network node is proposed.