基于 common logic 的 UML 类图形式化及验证

• 作者: 江涛 潘文林 郭雨婷
• 来源期刊: 云南民族大学学报（自然科学版）
• 学科: 工学
• 关键词: common logic UML类图 形式化 一致性验证
• 年，卷（期）: 2015,（6）
• 所属期刊栏目: 信息与计算机科学
• 页码范围: 506-509
• 页数: 4页
• 分类号: TP311
• 字数: 2414字
• 语种: 中文
• DOI: 12.3969/j.issn.1672-8513.2015.06.015

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	潘文林	云南民族大学数学与计算机科学学院	33	166	6.0	12.0
5	江涛	云南民族大学数学与计算机科学学院	10	9	2.0	2.0
6	郭雨婷	云南民族大学数学与计算机科学学院	3	27	2.0	3.0