首页> 中文期刊> 《云南民族大学学报：自然科学版》 >UML类图元模型基于描述逻辑的表示及验证

UML类图元模型基于描述逻辑的表示及验证

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

UML类图元模型采用非形式化的表示,无法对其结构语义进行严格的描述,因此提出一种UML类图元模型基于描述逻辑表示及验证的方法.在对UML类图元模型进行分析的基础上,构建了UML类图元模型基于描述逻辑SHOIN(D)的约束规则集,并验证了UML类图元模型与其构建模型间的一致性.

著录项

来源
《云南民族大学学报：自然科学版》 |2015年第4期|341-345|共5页
作者
李晶晶; 江涛; 郭雨婷; 李迪; 王米利;
展开▼
作者单位

云南民族大学数学与计算机科学学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
UML类图; 元模型; 描述逻辑SHOIN(D);

相似文献

中文文献
外文文献
专利

1. 基于描述逻辑ALCUQI的UML类图元模型形式化方法 [J] . 杨小钢 . 现代计算机（专业版） . 2018,第025期
2. 基于描述逻辑的带依赖属性UML类图 [J] . 陈振庆 . 计算机工程 . 2011,第015期
3. 基于模糊描述逻辑的模糊UML类图形式化 [J] . 周波 ,张亚非 ,陆建江 . 解放军理工大学学报（自然科学版） . 2010,第004期
4. 基于描述逻辑的UML类图一致性检测 [J] . 陈振庆 . 计算机工程与设计 . 2009,第017期
5. 基于元模型的XML Schema到UML类图的转换 [J] . 黄陇 ,杨宇航 . 计算机工程与应用 . 2010,第023期
6. 基于描述逻辑的电机故障诊断知识表示与推理 [C] . 牛强 ,夏士雄 ,谭国俊 . 第二届全国智能信息处理学术会议 . 2009
7. 基于描述逻辑的农业云本体表示方法研究 [A] . 耿凡凡 . 2017

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号