Моделирование суперкомпьютерной вычислительной системы объектно-атрибутной архитектуры с управлением потоком данных

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