“一种基于良构数学概念的符号体系来编制需求规约”的表达风格是（）。