UML 类图的形式化及分析

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