11.1.3 基于过程的数据类型分析技术