统一建模语言(UML)是目前广泛使用的一种面向对象建模语言，其图形化，半形式化的特点，使其缺乏精确的语义描述,模型之间容易出现不一致问题，因此，UML 类图的形式化问题尤为重要。Common Logic 是一阶逻辑的一个特殊拓展，语法简洁，无符号，易读易掌握易使用，语义精确，满足一阶模型理论，相较于其它逻辑语言，更适合UML 类图进行形式化规约。因此，提出采用Common Logic 对UML 类图进行形式化，得到形式化的语义规约，并对实例模型进行一致性验证。