EN
Paper presents the principles for developing and formal verifying relational structures of process lines for drying grain. Author proposes the objects representing individual process line components to be divided into classes. Relational model limits, method for recording structure, and the method of formal verification of recording accuracy are defined herein. These specifications provide a foundation for developing software capable to representing the structure of any drying plant process line.