形式化描述，并识别其中的核心问题，称为问题识别