ОБЗОР ПРОБЛЕМНО-ОРИЕНТИРОВАННЫХ ЯЗЫКОВ ПРОГРАММИРОВАНИЯ ДЛЯ ПАРАЛЛЕЛЬНОГО АНАЛИЗА СТАТИЧЕСКИХ ГРАФОВ Фролов А. С., Семенов А. С. <...> ОБЗОР ПРОБЛЕМНО-ОРИЕНТИРОВАННЫХ ЯЗЫКОВ ПРОГРАММИРОВАНИЯ ДЛЯ ПАРАЛЛЕЛЬНОГО АНАЛИЗА СТАТИЧЕСКИХ ГРАФОВ1 Фролов Александр Сергеевич, начальник отдела, АО «НИЦЭВТ», e-mail: frolov@nicevt.ru Семенов Александр Сергеевич, канд. техн. наук, начальник сектора, АО «НИЦЭВТ», e-mail: semenov@nicevt.ru Аннотация: В статье содержится обзор подходов к реализации проблемно-ориентированных языков программирования на примере Green-Marl, OptiGraph, Elixir и Falcon, предназначенных для анализа статических графов. <...> Представлены основные особенности рассматриваемых языков, а также их сравнение с точки зрения выразительности параллелизма и применимости для генерации высокоэффективных параллельных программ для суперкомпьютеров и кластерных систем. <...> Ключевые слова: проблемно-ориентированные языки программирования, параллельная обработка графов, программные модели, суперкопьютеры. <...> A SURVEY OF DOMAIN-SPECIFIC LANGUAGES FOR PARALLEL STATIC GRAPH ANALYSIS Frolov Alexander Sergeevich, head of department, JSC NICEVT, e-mail: frolov@nicevt.ru Semenov Alexander Sergeevich, Ph.D., head of sector, JSC NICEVT, e-mail: semenov@nicevt.ru Abstract: In the paper a survey of domain-specific languages (DSL) for parallel static graph analysis is presented. <...> Достаточно часто реальные графы могут достигать очень больших размеров, так что обработка таких графов требует огромных вычислительных ресурсов и использования технологий распределенных и/или параллельных вычислений. <...> В контексте наметившейся тенденции на сближение технологий обработки больших данных (Big Data) и параллельных вычислений с применением высокопроизводительных вычислительных комплексов (HPC) [1], параллельная обработка больших графов является той прикладной областью, где слияние этих двух технологических парадигм проявляет себя наиболее заметно. <...> Таким образом, между конечными пользователями и существующими технологиями параллельной обработки графов существует разрыв, ликвидировать который призваны специа1 Работа выполнена <...>