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

В статье представлены основы разрабатываемого формального аппарата (ОА-сеть) для описания и анализа вычислительного процесса в системах и приложениях, работающих в парадигме dataflow (управление вычислениями c помощью потока данных). Основой аппарата стали объектно-атрибутный подход к организации вычислительного процесса, теория конечных автоматов и теория процессных сетей Кана. Разработанный аппарат позволяет описывать все нюансы параллельного вычислительного процесса в распределенной вычислительной системе и найдет применение в имитационном моделировании, для оценки параметров вычислительной системы и поиска тупиковых ситуаций.