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