根据软件过程中的任务和工具特点，确定了全局约束变元和约束条件，建立了静态约束模型，并对分支和搜索策略进行了讨论。
According to the tasks and tools of software process , the global variables and constraints are determined , a static constraint model is established , and branch and search strategies are discussed .
约束变元