Цахим шуудангийн бүртгэл: Формализация проектирования процессов обработки резанием