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