以一种基于良构数学概念的符号体系来编制需求规约，则称为_______________需求规约。