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