基于common logic的UML类图形式化及验证
A formalization and validation of the UML-class diagram based on common logic
云南民族大学学报:自然科学版,2015,24(6):506-509

郭雨婷 GYT

摘要


统一建模语言(UML)是目前广泛使用的一种面向对象建模语言,其图形化,半形式化的特点,使其缺乏精确的语义描述,模型之间容易出现不一致问题,因此,UML类图的形式化问题尤为重要.common logic是一阶逻辑的一个特殊拓展,语法简洁,无符号,易读易掌握易使用,语义精确,满足一阶模型理论,相较于其它逻辑语言,更适合UML类图进行形式化规约.因此,提出采用common logic对UML类图进行形式化,得到形式化的语义规约,并对实例模型进行一致性验证. UML, a widely used object-oriented modeling language which is graphical but not completely formal, lacks precise semantic description and has inconsistent problems. So, the formalization of the UML-class diagram is very important. Common logic, a special expansion of first-order logic whose grammar is concise and unsigned, semantically precise, and can satisfy the first-order model theory, is easy to read, understand and use. Compared with other logical languages, Common logic is more suitable to formalize the UML-class diagram. Therefore, this research uses it to formalize the UML-class diagram and verifies its consistency with examples.

参考



全文: PDF      下载: 789      浏览: 214


counter for myspace
云南民族大学学报(自然科学版) 1991—2016 Copyright
地址:云南省昆明市一二.一大街134号 邮编:650031 全国邮发代号:64-47
电话:0871-65132114 传真:0871-65137493 Email:ynmzxyxb@163.com