摘要：ＳＴＥＰ是ＩＳＯ制定的关于产品数据表达和交换的国际标准。ＳＴＥＰ文件是能够完整地表达产品定义数据的中性交换介质。本文介绍了ＳＴＥＰ后置处理器的设计原理及实现方法，作者运用了ＳＴＥＰ产品数据表达和数据交换的思想，根据ＳＴＥＰ文件结构及符号（Ｔｏｋｅｎ）定义，开发了ＳＴＥＰ的词法分析器并根据不同的应用系统提出了相应的数据转换器的设计思想。

摘要：统一建模语言(UML)是一种通用的图形化建模语言,在面向对象系统的分析和设计中,它已成为事实上的工业标准。但是UML不是形式化的建模语言,缺乏精确的语义描述,因此会导致一些问题。Z是一种广泛使用的形式化规约语言,Z适合用来精确地表示模型的语法和语义。文章采用Z符号来表示UML类图的组成元素的语法和语义及其映射关系,最后对UML类图的一些性质进行分析和验证。