집행 절차를 정의