形式化环境