一种形式化描述语言,用于建模!是一种基于数学的形式化描述语言!