原则28 了解形式化方法