Исследуется набор процессных связей SADT-модели на предмет неполноты и противоречивости, которые имеют место при построении данных моделей, вводятся соответствующие критерии оценки качества SADTмодели, предлагаются методы проверки указанных критериев и методы устранения неполноты и противоречивости связей.
This paper studies the selection of process connections SADT-models on the subject of incompleteness and inconsistency that take place when building these models, entered the appropriate criteria for assessing the quality of SADT models, proposed methods for verification of specified criteria and methods of elimination of incompleteness and inconsistency relations.
