托管形式化