模型的形式 自然语言形式 绝对的表达能力和灵活性 能选择各种不同的概念框架一 非常难以捕获模型的语义 用于需求抽取,或为便于沟通进行模型的标记等方面比较好 半形式化表示(如:图,表,结构化英语等) 捕获结构和一定的语义 可以实施一定的推理,一致性检查,模拟,等等 ●比如:图、表、结构化英语、等等 形式化表示 非常精确的语义,外延推理成为可能 离开应用领域还有很长的距离 ●注意:需求形式化主要是为了认知的考虑,因此与计算机科学的形式化 有点不同模型的形式  自然语言形式 ◼ 绝对的表达能力和灵活性 ◼ 非常难以捕获模型的语义 ◼ 用于需求抽取，或为便于沟通进行模型的标记等方面比较好  半形式化表示（如：图，表，结构化英语等） ◼ 捕获结构和一定的语义 ◼ 可以实施一定的推理，一致性检查，模拟，等等 ⚫ 比如：图、表、结构化英语、等等  形式化表示 ◼ 非常精确的语义，外延推理成为可能 ◼ 离开应用领域还有很长的距离 ⚫ 注意：需求形式化主要是为了认知的考虑，因此与计算机科学的形式化 有点不同 能 选 择 各 种 不 同 的 概 念 框 架