简述需求规约的定义，并写出需求规约需满足的基本性质。