名词解释

【参考答案】

一种常用的形式化建模语言,可以实现离散并行系统的数学表示。