Рассмотрены принципы формирования автоматной модели последовательностей взаимодействия модулей проблемно-
ориентированных программных комплексов и использования соответствующего автоматного метода в целях повышения
надежности программной системы на этапе формирования структуры программного комплекса. Показано использование
автоматного метода в условиях динамически меняющихся требований заказчика, позволяющего повысить надежность системы
при ее конфигурации.