В докладе рассматриваются проблемы проектирования параллельных процессов на основе автоматных моделей. Параллельная модель на базе модели конечного автомата, как модели отдельного процесса, и сети автоматов, как модели процессов, — основной претендент на базовую модель мира параллельных вычислений. Предлагается и обсуждается технология автоматного программирования, которая включает: выбор алгоритмической модели последовательного алгоритма/процесса; выбор параллельной модели множества взаимосвязанных алгоритмов; формулировка алгебры процессов на множестве алгоритмов; выбор тестовой задачи для проверки модели вычислений; создание параллельной модели задачи; создание эквивалентной модели тестовой задачи; сравнение результатов работы эквивалентной и исходной моделей с учетом фактических знаний о работе тестовой задачи.