5 管理的形式化