Automated program design for solution of weather forecasting problem

A.Yu. Doroshenko, P.A. Ivanenko, O.M. Ovdiy, O.A. Yatsenko


The facilities for automated design of parallel code for OpenMP environment on the basis of highlevel algebra-algorithmic specifications are developed. The application of the facilities is illustrated on an example of a problem of atmosphere circulation modeling, which is represented as a service, belonging to the Internet-portal for providing meteorolog-ical forecasting services. The generation of program code was implemented and the results of the conducted experiment, which consisted in execution of the developed parallel weather forecasting pro-gram on a multiprocessor platform, are given.

Prombles in programming 2016; 1: 102-115


parallel computing; meteoro-logical forecasting; software synthesis; algorithms algebra; web portal


Doroshenko A.Yu., Ivanenko P.A., Ovdii O.M. at all. Creation of an Internet portal providing meteorological forecasting services on multi-processor platform // Problems in programming. - 2015. N 3. - P. 24-32 (in Ukrainian).

Andon P.I. et al. Algebra-algorithmic models and methods of parallel programming. Kiev: Academperiodika, 2007 (in Russian).

Doroshenko, A.Yu. & Yatsenko O.A. About the synthesis of Java programs by algebra-algorithmic specifications // Problems in programming. - 2006. - N 4. - P. 58-70 (in Russian).

Doroshenko, A.Yu., Zhereb K.A & Yatsenko O.A. Formalized design of efficient multithreaded programs // Problems in programming. - 2007. - N 1. - P. 17-30 (in Russian).

Yatsenko O.A. (2013) Integration of algebra-algorithmic tools and term rewriting for efficient parallel programs development // Problems in programming. - 2013. - N 2. - P. 62-70 (in Russian).

Doroshenko A.Yu., Beketov O.G., Yatsenko O.A. at all. Development of the service-oriented software for launching parallel programs on a multiprocessor cluster // Problems in programming. - 2014. - N 4. - P. 3-14 (in Ukrainian).

Iovchev V.O. & Mokhnitsa O.S. Algebra-algorithmic tools on Web 2.0 platform // Problems in programming. - 2010. - N 2. - P. 547-555 (in Russian).

Doroshenko A.Yu., Beketov O.G., Ivaniv R.B. at all. Automated generation of parallel programs for graphics processing units based on algorithm schemes. Problems in programming. - 2015. - N 1. - P. 19-28 (in Ukrainian).

Andon, P.I., Doroshenko, A.Yu., Beketov, O.G., Iovchev, V.O. & Yatsenko O.A. (2015) Software tools for automation of parallel programming on the basis of algebra of algorithms // Cybernetics and systems analysis. (1). P. 162-170 (in Russian). CrossRef

Doroshenko A. & Shevchenko R. (2006) A rewriting framework for rule-based programming dynamic applications. Fundamenta Informaticae. Amsterdam: IOS Press. 72 (1-3). - P. 95-108.

Chernysh R.I. (2009) Parallel implementation of atmospheric macroscale circulation model. Bulletin of the University of Kiev, Series: Physics & Mathematics. (2). - P. 155-158 (in Ukrainian).

Chernysh R.I., Tyrchak Yu.M. & Ivanenko, P.A. (2009) Construction of parallel algorithm for numeric solving multidimensional problem of environmental modeling // Problems in programming. (1). - P. 85-91 (in Ukrainian).

Prusov, V.A., Doroshenko, A.Yu. & Chernysh, R.I. (2009) A method for numerical solution of a multidimensional convection-diffusion problem // Cybernetics and systems analysis. (1). - P. 100-107 (in Russian). CrossRef

OPENMP. (2015) OpenMP Application Program Interface.

Sannella D. & Tarlecki A. (2012) Foundations of algebraic specification and formal software development. Berlin: Springer-Verlag. CrossRef

Flener P. (2002) Achievements and prospects of program synthesis. Lecture Notes in Artificial Intelligence. Berlin: Springer-Verlag. 2407. - P. 310-346. CrossRef

Gulwani S. (2010) Dimensions in program synthesis. In Proc. 12th Int. ACM SIGPLAN symposium on Principles and Practice of Declarative Programming. Hagenberg, Austria, 26-28 July 2010. New York: ACM. - P. 13-24. CrossRef

Raghesh A. (2011) A framework for automatic OpenMP code generation. A project report.

Hu K., Zhang T., Yang Z. Multi-threaded code generation from Signal program to OpenMP // Frontiers of Computer Science. - Berlin: Springer-Verlag, 2013. - Vol. 7, N 5. - P. 617-626. CrossRef

PLUTO-COMPILER. (2015) PLUTO - an automatic parallelizer and locality optimizer for multicores.


Kabir M.H. Automatic construction of Java programs from functional program specifications // International Journal Of Advanced Chemical Science and Applications. - Bhubaneswar: IRD India, 2015. - Vol. 6, N 4. - P. 65-72. CrossRef

Schoeberl M., Brooks C., Lee E.A. Code generation for embedded Java with Ptolemy // Proc. 8th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, Waidhofen, Austria (13-15 October, 2010). Lecture Notes in Computer Science. - Berlin: Springer-Verlag, 2010. - Vol. 6399. - P. 155-166. CrossRef

Herrington J. (2003) Code-generation techniques for Java.

ORACLE. (2015) Java documentation. The Java Tutorials. Lesson: Annotations.

Belov P.N. (1967) Practical methods for numerical weather prediction. Saint Petersburg: Hydrometeorological publishing. (in Russian).

Chernysh R.I. (2008) Coordinate-wise decomposition of area for evolutionary tasks of mathematical physics. Bulletin of the University of Kiev, Series: Physics & Mathematics. (4). - P. 191-194 (in Ukrainian).

DWD (2015) Wetter und Klima - Deutscher Wetterdienst.

ICYBCLUSTER. (2015) Supercomputer of IC.



  • There are currently no refbacks.