Анализ модели вычисления в виде графа "операции-операнды", которая может использоваться для описания информационных зависимостей в выбираемых алгоритмах решения задач. Оценка эффективности максимально возможного параллелизма в результате их использования.