Z is presently the most fashionable formal specification. But as a whole, the theory and technology of Z specification isn't extensively applied in industry field.

是目前最为流行的一种形式规格说明语言，但就总体而言，Z规格说明的理论和技术尚未达到可以在工业界广泛应用的程度。

youdao

In this paper, a mechanical algorithm is proposed for translating description of process description language to Z specification, and temporal status transition system is used as intermediary.

本文利用时序状态转换系统作为中介，提出一种把过程描述语言的项转换成z规格的机械算法。

youdao