ОПРЕДЕЛЕНИЕ ПОНЯТИЯ ПРОГРАММЫ

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

Список литературы

1. Вальковский В. А., Малышкин В.Э. Синтез параллельных программ и систем на вычис-лительных моделях / . Отв. ред. В.Е. Котов; АН СССР, Сиб. отд-ние, ВЦ. Новосибирск: Наука. Сиб. отд-ние, 1988.— 126 с.
2. Малышкин В.Э. Технология фрагментированного программирования // Вестник ЮУрГУ. Серия: Вычислительная математика и информатика. 2012. №46 (305).
3. Victor Malyshkin. Active Knowledge, LuNA and Literacy for Oncoming Centuries. In Essays Dedicated to Pierpaolo Degano on Programming Languages with Applications to Biology and Security - Volume 9465. Springer-Verlag, Berlin, Heidelberg, 2015. p. 292-303.
4. Вычислимость в произвольных областях и базисах: Сб. научн. ст. — М: ВИНИТИ, 1982. — С. 3—58. — (Семиотика и информатика; Вып. № 19).
5. Янов, Ю.И. Метод сверток для разрешения свойств формальных систем. — М. : ИПМ им. М.В.Келдыша, 1977. — Вып. 11. — 41 с. — (Институт прикладной математики АН СССР. Препринт; № 11 за 1977 г.). — URL: https://library.keldysh.ru/preprint.asp?id=1977-ll.
6. Вальковский В.А. О синтезе оптимальных программ на базе вычислительных моделей // Программирование. — 1980. — №6. — С. 27-36
7. Malyshkin. V., Perepelkin. V., Schukin G. Scalable Distributed Data Allocation in LuNA Fragmented Programming System // Journal of Supercomputing, S.I.: Parallel Computing Technologies - 2017. Springer, 2017. pp. 1-7. DOI: 10.1007/sll227-016-1781-0.
8. Кудрявцев А. А., Малышкин В. Э., Нуштаев Ю. Ю., Перепелкин В. А., Спирин В. А. Эф­фективная фрагментированная реализация краевой задачи фильтрации двухфазной жидкости // Проблемы информатики. 2023. № 2. С. 45-73. DOI: 10.24412/2073-0667-2023-2-45-73
9. Akhmed-Zaki, D., Lebedev, D., Perepelkin, V. Implementation of a three dimensional three-phase fluid flow (“oil-water-gas”) numerical model in LuNA fragmented programming system // Journal of Supercomputing (2017). - 73(2). Springer, 2017. pp. 624-630. DOI: 10.1007/sll227-016-1780-l.
10. Перепелкин В.А., Софронов И.В., Ткачева А.А. Автоматизация конструирования числен­ных параллельных программ с заданными нефункциональными свойствами на базе вычисли­тельных моделей //журнал Проблемы информатики, 2017, № 4. С.47-60.
11. Malyshkin, V.E., Perepelkin, V.A. (2011). LuNA Fragmented Programming System, Main Functions and Peculiarities of Run-Time Subsystem. In: Malyshkin, V. (eds) Parallel Computing Technologies. PaCT 2011. Lecture Notes in Computer Science, vol 6873. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23178-0_5
12. Victor Malyshkin, Vladislav Perepelkin, and Artem Lyamin. 2023. Trace Balancing Technique for Trace Playback in LuNA System. In Parallel Computing Technologies: 17th International Conference, PaCT 2023, Astana, Kazakhstan, August 21-25, 2023, Proceedings. Springer-Verlag, Berlin, Heidelberg, 42-50. https://doi.org/10.1007/978-3-031-41673-6_4
13. Perepelkin V., Malkhanov V., Zakirov V. Preliminary results on fault tolerance support in LuNA system // Bull. Nov. Comp. Center, Comp. Science, 46 (2022), P. 43-55.
14. Malyshkin, V., Akhmed-Zaki, D., Perepelkin, V. Parallel programs execution optimization using behavior control in LuNA system //J Supercomput. — Springer, 2021. — C. 9771-9779. — DOI: 10.1007/sll227-021-03654-2.
15. Малышкин В. Э., Перепелкин В. А. Мультиагентный подход к повышению эффективности исполнения фрагментированных программ в системе LuNA //"Проблемы информатики 2023, № 3, с.55-67. DOL 10.24412/2073-0667-2023-3-55-67.
16. Belyaev, N., Kireev, S. (2019). LuNA-ICLU Compiler for Automated Generation of Iterative Fragmented Programs. In: Malyshkin, V. (eds) Parallel Computing Technologies. PaCT 2019. Lecture Notes in Computer Science(), vol 11657. Springer, Cham, https://doi.org/10.1007/978-3-030-25636- 4 2