基于Common Logic 的UML 类图形式化及验证

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