中间语言 目标机 抽象机 中心信息库 面向对象 标号树 CASE工具 代码自动生成