需求表达

自然语言表达需求是最直接的方式，但由于自然语言存在歧义、无序、省略写法、模糊性等原因，需要将自然语言需求形式化，以便于形成完整、准确、无二义的需求表达。