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