一种基于数学概念符号体系来编制需求规约，其风格属于____的需求规约。