Рассматривается вопрос создания системы автоматизированного проектирования технологических процессов сборки заготовок верха обуви с целью интенсификации работ по подготовке моделей для запуска в производство. Приводится методика построения математической модели системы с применением средств логики предикатов