Розглядається один із можливих підходів до стандартизації логічного проектування великомасштабних ІУС на ранніх стадіях з використанням методів формалізованого опису систем на рівні ДТД.

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