To eliminate the incompleteness,inconsistence and ambiguity in the software requirement,the formal method could be used to describe the requirement.

• 为了消除软件需求中存在的不完整性、二义性和不一致性,可以用形式化方法描述软件需求;