基于common logic的UML类图形式化及验证 |
| |
作者单位: | ;1.云南民族大学数学与计算机科学学院;2.云南民族大学云南省高校物联网应用技术重点实验室 |
| |
摘 要: | 统一建模语言(UML)是目前广泛使用的一种面向对象建模语言,其图形化,半形式化的特点,使其缺乏精确的语义描述,模型之间容易出现不一致问题,因此,UML类图的形式化问题尤为重要.common logic是一阶逻辑的一个特殊拓展,语法简洁,无符号,易读易掌握易使用,语义精确,满足一阶模型理论,相较于其它逻辑语言,更适合UML类图进行形式化规约.因此,提出采用common logic对UML类图进行形式化,得到形式化的语义规约,并对实例模型进行一致性验证.
|
关 键 词: | common logic UML类图 形式化 一致性验证 |
A formalization and validation of the UML- class diagram based on common logic |
| |
Affiliation: | ,School of Mathematics and Computer Science,Yunnan Minzu University,Key Laboratory of IOT Application Technology of Universities in Yunnan Province,Yunnan Minzu University |
| |
Abstract: | |
| |
Keywords: | common logic UML-class diagram formalization consistency verification |
本文献已被 CNKI 等数据库收录! |
|