АВТОМАТИЗАЦИЯ КОНСТРУИРОВАНИЯ ЧИСЛЕННЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ С ЗАДАННЫМИ НЕФУНКЦИОНАЛЬНЫМИ СВОЙСТВАМИ НА БАЗЕ ВЫЧИСЛИТЕЛЬНЫХ МОДЕЛЕЙ

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