Высокоуровневые средства автоматизации проектирования параллельных алгоритмов

Abstract

В работе рассматриваются вопросы создания инструментария, ориентированного на разработку параллельных алгоритмов и программ. Предусматривается реализация системы в распределенной среде, предоставление ей Web-интерфейса и специализация системы в конкретных предметных областях, в которых алгебро-алгоритмические спецификации и превращения алгоритмов объединены с мощными средствами автоматизации и синтеза программ на основе Web 2.0.У роботі розглядаються проблеми створення інструментарію, що орієнтований на розробку паралельних алгоритмів та програм. Передбачається реалізація системи у розподіленому середовищі, надання їй Web-інтерфейсу та спеціалізації системи у конкретних предметних областях, в яких алгебро-алгоритмічні специфікації та перетворення алгоритмів об'єднано з потужними засобами автоматизації та синтезу програм на основі Web 2.0.particular subject domains in which algebraic-algorithmic specifications and transformations of algorithms are incorporated with powerful facilities of automation and synthesis of the programs on the basis of Web 2.0.