Abstract. We propose an approach to automated development of programs, which is based on the use of ontological facilities and algebra-algorithmic tools for design and synthesis of programs. The approach is illustrated on the example of developing a parallel program in the meteorological forecasting domain, as well as software application to execute the developed program on a cloud computing platform.
Keywords: ontology, algebra of algorithms, design and synthesis of programs, parallel program, cloud computing.
1 Institute of Software Systems of National Academy of Sciences of Ukraine and National Technical University
of Ukraine “Igor Sikorsky Kyiv Polytechnic Institute,” Kyiv, Ukraine,
e-mail: anatoliy.doroshenko@gmail.com.
2 Institute of
Software Systems, National Academy of Sciences of Ukraine, Kyiv, Ukraine,
e-mail: olga.ovdiy@gmail.com.
3 Institute of
Software Systems, National Academy of Sciences of Ukraine, Kyiv, Ukraine,
e-mail: oayat@ukr.net.