The Z language is a formal language for specifying data-related characteristics of transformational systems. however, it is not designed to model behaviour.

• Z语言是一种描述转换系统相关数据特征的形式化语言,然而不适合建立动态行为的模型。