郭雨婷
- 作品数：3 被引量：2H指数：1
- 供职机构：云南民族大学数学与计算机科学学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- UML类图的一种表示方法被引量：1
- 2015年
- 由于UML类图元模型的庞大性和复杂性,为此,提出UML类图元模型基于描述逻辑的一种表示方法。通过分析UML类图元模型各元素与描述逻辑SHOIN(D)的对应关系,给出UML类图元模型基于SHOIN(D)的表示方法。
- 李晶晶郭雨婷和晓萍
- 关键词：UML形式化
- UML类图元模型基于描述逻辑的表示及验证
- 2015年
- UML类图元模型采用非形式化的表示,无法对其结构语义进行严格的描述,因此提出一种UML类图元模型基于描述逻辑表示及验证的方法.在对UML类图元模型进行分析的基础上,构建了UML类图元模型基于描述逻辑SHOIN(D)的约束规则集,并验证了UML类图元模型与其构建模型间的一致性.
- 李晶晶江涛郭雨婷李迪王米利
- 关键词：UML类图元模型
- 基于common logic的UML类图形式化及验证被引量：1
- 2015年
- 统一建模语言(UML)是目前广泛使用的一种面向对象建模语言,其图形化,半形式化的特点,使其缺乏精确的语义描述,模型之间容易出现不一致问题,因此,UML类图的形式化问题尤为重要.common logic是一阶逻辑的一个特殊拓展,语法简洁,无符号,易读易掌握易使用,语义精确,满足一阶模型理论,相较于其它逻辑语言,更适合UML类图进行形式化规约.因此,提出采用common logic对UML类图进行形式化,得到形式化的语义规约,并对实例模型进行一致性验证.
- 郭雨婷潘文林江涛
- 关键词：COMMONLOGICUML类图形式化
