Аннотация. Предложен подход к автоматизированной разработке программ, основанный на использовании средств онтологий и алгеброалгоритмического инструментария проектирования и синтеза программ. Применение подхода проиллюстрировано на примере разработки параллельной программы из области метеорологического прогнозирования, а также приложения, предназначенного для выполнения созданной программы в «облачной» среде.
Ключевые слова: онтология, алгебра алгоритмов, проектирование и синтез программ, параллельная программа, «облачные» вычисления.
Дорошенко Анатолий Ефимович,
доктор физ.-мат. наук, профессор, заведующий отделом Института программных систем НАН Украины и профессор кафедры Национального технического университета Украины «Киевский политехнический институт имени Игоря Сикорского»,
e-mail: anatoliy.doroshenko@gmail.com.
Овдей Ольга Михайловна,
младший научный сотрудник Института программных систем НАН Украины, Киев,
e-mail: olga.ovdiy@gmail.com.
Яценко Елена Анатольевна,
кандидат физ.-мат. наук, старший научный сотрудник Института программных систем НАН Украины, Киев,
e-mail: oayat@ukr.net.