UML/OCL工具的一致性检查研究

游皓聃; 朱鸿

首页> 中文期刊> 《计算机与现代化》 >UML/OCL工具的一致性检查研究

UML/OCL工具的一致性检查研究

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

UML作为一种通用的可视化建模语言已被广泛应用,但UML模型的一致性问题一直限制着在软件开发中更有效地应用UML.本文阐述了UML模型一致性的相关概念,介绍了一种以OCL表示模型的一致性规则、并基于这些对模型进行一致性检查的方法.将此方法实现为一致性检查工具,提供了模型分析、语法检查和模型一致性检查等功能.

著录项

来源
《计算机与现代化》 |2009年第12期|63-67|共5页
作者
游皓聃; 朱鸿;
展开▼
作者单位

国防科学技术大学计算机学院;

湖南;

长沙;

410073;

国防科学技术大学计算机学院;

湖南;

长沙;

410073;

展开▼
原文格式 PDF
正文语种 chi
中图分类软件工程;
关键词
UML; OCL; 模型一致性; 约束; 一致性检测; 工具;

相似文献

中文文献
外文文献
专利

1. UML可视化建模工具中模型一致性检查机制的研究与实现 [J] . 田丽从 ,周伯生 . 计算机应用与软件 . 2005,第001期
2. 基于UML模型和OCL约束的类间交互测试用例生成方法研究 [J] . 柴玉梅 ,冯秋燕 ,王黎明 . 电子学报 . 2013,第006期
3. 基于UML和OCL的类间交互测试用例生成算法研究 [J] . 冯秋燕 . 计算机工程与设计 . 2012,第011期
4. UML/OCL在公路票务系统建模中的应用 [J] . 王友 . 聊城大学学报（自然科学版） . 2012,第003期
5. 基于UML/OCL的C4ISR效能概念建模分析 [J] . 蒋鑫 ,王智学 ,董庆超 . 系统工程与电子技术 . 2012,第008期
6. 基于UML类图的本体模型一致性检查方法 [C] . 董庆超 ,王智学 ,候蕾 . 第十三届全国青年通信学术会议 . 2008
7. 基于UML模型和OCL约束的类间交互测试用例生成方法研究 [A] . 冯秋燕 . 2012

UML/OCL工具的一致性检查研究

摘要

著录项

相似文献

相关主题

期刊订阅