C++ STL containers and algorithms are introduced to represent data type description of Z specification for the purpose of automatic transform from abstractive description to executive code.

• 以Z规格说明向可执行代码的自动转换为目的，结合C++语言中STL模板库对数据结构和通用算法的强大支持功能，提出了用STL中的容器表示Z规格说明数据类型的方法。