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