A procedure is proposed to construct semantic diagram models for the electrolysis on a solid cathode in a salt halide melt under potentiostatic conditions. These models are intended to identify the static states of the system that correspond to a certain combination of the processes occurring on an electrode and in the system volume. Examples for discharging of univalent and polyvalent metals are given.