Formalizes description of process in the operating system and its usage while revealing hidden processes

The article is about formalized description of process in the operating system: its structure and its algorithmic model. Parameters of process and attributes for generation the new state of the process are determined. Interconnection of the process while the system service routine is running is analyzed. A new method for revealing the hidden process is suggested.