Z规格说明中集合论算子向C++转换的实现

摘要

采用自然语言描述的非形式的规格说明通常具有模糊性和歧义性,为了克服自然语言描述规格说明的缺陷,人们提出了形式化方法.Z是目前最为流行的一种形式规格说明语言.但由于Z缺少自己的编译环境,在工业界尚未达到广泛应用的程度.针对这种情况提出了Z规格说明到高级程序语言自动转换的思想.本文主要研究的是Z规格说明中集合论算子向C++的自动转换,文中具体讨论了Z的基本数据类型和集合论算子中属于操作的转换.