| Popis: |
The authors substantiate the proof of the theorem about design workflows graph schemes correctness presented in visual languages form. In this work typical incorrect structures and techniques for constructing correct design workflows graph diagrams are described. Also, the meaning of design workflows graph scheme correctness is given. Definition of correctness is given and theorem on the design workflows diagram into algorithm diagrammatic form transformation and vice versa is formulated and proved. The results obtained provide, in scientific terms, the acquisition of new knowledge in the study of the complex technical systems behavior. In practical issue, the work will allow designers to avoid costly design errors in the complex products computer-aided design in the large industrial enterprise context at the mockup layout stage. |
