1 【计】 抽象形式模型 — abstract formal model