收藏本站
《计算机研究与发展》 2000年01期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

UML可视化建模系统的模型一致性检查机制

王云  刘又诚  周伯生  
【摘要】:UML标准建模语言是面向对象技术领域中的重要成果.使用UML解决现实世界中的问题是当前该领域的研究热点.UML集成化支持环境既可提高建模的效率,也可在一定程度上保证所建模型间的一致性;通过模拟动态模型的行为,可在建模的早期发现模型中存在的问题;代码生成、逆向变换系统将模型和程序代码有机地统一起来.文中首先介绍北京航空航天大学软件工程研究所研制的UML集成化支持环境的基本组成,然后介绍其中的UML可视化建模系统,并重点论述可视化建模系统中的模型一致性检查机制.

【引证文献】
中国期刊全文数据库 前10条
1 陈英,施兴华,赵小林;基于UML软件开发过程的CASE平台研制[J];北京理工大学学报;2001年01期
2 石柯,阳富民,胡贯荣;基于UML的嵌入式系统模型验证机制的研究[J];计算机工程与应用;2001年23期
3 刘宪凯,张维石;UML在Web组件建模中的应用研究[J];计算机工程与应用;2002年01期
4 王锦,张激;UML模型一致性问题研究[J];计算机工程;2004年21期
5 朱俊,刘刚;统一建模语言UML及其CASE工具初探[J];交通与计算机;2000年S1期
6 田丽从,周伯生;UML可视化建模工具中模型一致性检查机制的研究与实现[J];计算机应用与软件;2005年01期
7 张少华,郑玉墙;基于UML可视化建模工具的研制[J];空军雷达学院学报;2005年01期
8 张永;迟忠先;;基于UML的系统测试[J];计算机工程与设计;2006年09期
9 孙涌,戴晓静;基于UML技术的“电梯仿真系统”的设计与实现[J];微机发展;2002年04期
10 万麟瑞,胡宏,孙红星;面向构件的软件开发方法学研究[J];小型微型计算机系统;2003年03期
中国重要会议论文全文数据库 前1条
1 张益兵;甘仞初;;应用UML的WEB信息系统的页面建模研究[A];2001年中国管理科学学术会议论文集[C];2001年
中国博士学位论文全文数据库 前6条
1 王锦;基于域分析的CAPP软件体系结构[D];西北工业大学;2001年
2 吴镇;优化设计中的智能方法与可视化技术研究[D];武汉理工大学;2002年
3 李留英;UML测试技术的研究与实现[D];中国人民解放军国防科学技术大学;2000年
4 李绪蓉;面向业务构件的可重构信息系统的模型研究[D];南京航空航天大学;2002年
5 何晓晔;任务空间概念建模技术及其VV&A研究[D];国防科学技术大学;2005年
6 王洪媛;UML行为模型之间模型转换的研究[D];吉林大学;2007年
中国硕士学位论文全文数据库 前10条
1 吴丽影;基于UML的软件系统建模应用研究[D];长春理工大学;2007年
2 梁浩;系统体系结构设计的一致性约束和检验[D];华中科技大学;2006年
3 谢刚;构件化与语义模型驱动的林业通用报表系统研究与应用[D];中国林业科学研究院;2007年
4 曾雪辉;虚拟实验室组件注册及管理系统的设计与实现[D];中南大学;2007年
5 吕智林;UML在多层分布式系统建模中的研究与应用[D];广西大学;2001年
6 柳青;一种分布式工作流系统的建模方法:DWfS-UMLOPN[D];华中师范大学;2001年
7 张昌利;物流系统移动数据终端的设计与实现[D];浙江大学;2002年
8 裴发展;UML在柔性开发模式中的应用研究[D];大连理工大学;2002年
9 安建伟;基于UML的软件系统建模研究[D];西南交通大学;2002年
10 刘艳霞;基于UML的需求获取工具的研究与设计[D];江西师范大学;2002年
【同被引文献】
中国期刊全文数据库 前10条
1 修胜龙,罗雪山,罗爱民;C~4ISR体系结构的可执行模型生成方法研究[J];湖南工程学院学报(自然科学版);2005年01期
2 罗雪山,朱德成,沈雪石;IDEF0方法在军事综合电子信息系统分析设计中的应用[J];国防科技大学学报;2001年03期
3 邓小妮,袁卫卫,曾熠,罗雪山;指挥控制的形式化描述与性质验证[J];国防科技大学学报;2003年06期
4 黄力,罗爱民,罗雪山;C~4ISR体系结构工程概念研究[J];国防科技大学学报;2004年01期
5 黄力,罗爱民,邱涤珊,罗雪山;C~4ISR体系结构框架研究进展[J];火力与指挥控制;2004年03期
6 朱小军,袁卫卫,黄光奇,罗雪山;C~4ISR体系结构设计方法[J];火力与指挥控制;2005年03期
7 石双元,刘高峡;IDEF1X信息建模与逻辑设计[J];华中理工大学学报;1997年04期
8 丁俊华,孙圣强,杨大军,吕建;一种多视角的需求定义及其一致性验证方法[J];计算机研究与发展;1998年03期
9 尚文利,王成恩,张士杰,尹朝万;基于IDEF与UML的系统建模方法[J];计算机集成制造系统-CIMS;2004年03期
10 程华云,尹迪,汪铭东;美军C~4ISR系统核心体系结构数据模型的分析[J];情报指挥控制系统与仿真技术;2005年03期
中国博士学位论文全文数据库 前3条
1 徐志红;基于事件语义的时空数据模型的研究[D];武汉大学;2005年
2 沈延森;快速可重构信息系统及其关键技术研究[D];南京航空航天大学;2001年
3 李绪蓉;面向业务构件的可重构信息系统的模型研究[D];南京航空航天大学;2002年
中国硕士学位论文全文数据库 前10条
1 陈耿;基于UML的应用系统建模研究[D];武汉大学;2004年
2 别文群;UML统一的建模语言的研究与实践[D];武汉大学;2004年
3 彭坤;基于UML建模的分析检测数据管理系统的设计与实现[D];中南大学;2005年
4 朱丽;基于构件化软件重用的ERP系统研究[D];四川大学;2005年
5 曾敏;面向构件与模型驱动技术在SCM中的分析与实现[D];四川大学;2005年
6 赵姗;基于构件技术的多层架构WebGIS研究[D];中国人民解放军信息工程大学;2005年
7 裴慧民;基于Internet的虚拟实验室平台的设计与实现[D];中南大学;2002年
8 陆炜妮;基于CORBA技术的虚拟实验室平台的架构设计与实现[D];中南大学;2004年
9 刘芳;UML语言及实际中建模的应用[D];山东科技大学;2003年
10 李楠;UML语言的研究与应用——基于UML的数传系统建模实践[D];成都理工大学;2004年
【二级引证文献】
中国期刊全文数据库 前10条
1 江金龙,周献中,孙勇成;基于UML状态图的C4ISR系统的建模和实时分析[J];计算机工程;2005年22期
2 单锦辉,姜瑛,孙萍;软件测试研究进展[J];北京大学学报(自然科学版);2005年01期
3 李留英,王戟,齐治昌;UML statecharts的测试用例生成方法[J];计算机研究与发展;2001年06期
4 缪淮扣,占学德,刘玲;基于UML Statecharts的测试用例生成[J];小型微型计算机系统;2005年04期
5 占学德;缪淮扣;;基于UML Statecharts面向对象软件的测试框架[J];应用科学学报;2006年05期
6 陆波,华祖耀;应用UML进行反辐射导弹对抗仿真建模[J];计算机仿真;2003年12期
7 陆波,华祖耀;火控雷达模拟训练系统中的反辐射导弹诱偏仿真[J];系统仿真学报;2003年10期
8 刘然,陈英,赵小林;基于UML的CASE平台的代码自动生成[J];北京理工大学学报;2002年02期
9 邹静,陈英,姜波;多用户界面应用程序代码自动生成机制研究[J];北京理工大学学报;2003年05期
10 朱玉文,王俊,贾云得;一种基于特征跟踪的图像稳定方法[J];北京理工大学学报;2003年05期
中国重要会议论文全文数据库 前1条
1 陈亮亮;孔祥艳;程甜甜;李云飞;;基于体系结构和面向构件的虚拟仪器开发方法[A];2007'中国仪器仪表与测控技术交流大会论文集(一)[C];2007年
中国博士学位论文全文数据库 前8条
1 王文斌;嵌入式可重构数控系统及其关键技术研究[D];上海大学;2007年
2 姜晓鹏;可重构制造系统性能综合评价研究[D];西北工业大学;2007年
3 任彦;网络中心战条件下C2组织的知识服务建模方法研究[D];国防科学技术大学;2006年
4 魏臻;企业铁路智能运输调度系统关键技术研究[D];合肥工业大学;2005年
5 董威;面向UML的模型检验研究[D];中国人民解放军国防科学技术大学;2002年
6 占学德;基于UML statecharts测试方法的研究[D];上海大学;2005年
7 王洪媛;UML行为模型之间模型转换的研究[D];吉林大学;2007年
8 李绪蓉;面向业务构件的可重构信息系统的模型研究[D];南京航空航天大学;2002年
中国硕士学位论文全文数据库 前10条
1 孙莹;Petri网和UML在建模过程中的转换机制研究[D];大连海事大学;2008年
2 于风山;中小型管理信息系统设计模式的研究与应用[D];山东科技大学;2007年
3 傅欣;基于组件开发的应用软件的容错策略研究[D];上海师范大学;2007年
4 张峻;基于UML2.0动态视图的Web服务模型测试方法及其应用[D];苏州大学;2007年
5 郭瑛;基于UML的运动控制软件设计及其在电脑绗缝机中的应用研究[D];青岛科技大学;2007年
6 梁浩;系统体系结构设计的一致性约束和检验[D];华中科技大学;2006年
7 姜晓丽;基于领域工程的人力资源管理系统研究[D];哈尔滨理工大学;2007年
8 李丹;网络化制造环境下协同项目计划与控制系统[D];哈尔滨理工大学;2007年
9 祝晶;基于元模型的信贷管理软件构架研究[D];南京航空航天大学;2007年
10 殷翔;面向方面的电子结算软件构架研究[D];南京航空航天大学;2006年
【相似文献】
中国期刊全文数据库 前10条
1 赵振东,孟洛明;TMN管理信息模型一致性测试抽象测试方法的研究[J];通信学报;1999年04期
2 王云,刘又诚,周伯生;UML可视化建模系统的模型一致性检查机制[J];计算机研究与发展;2000年01期
3 赵振东,孟洛明,陈俊亮;TMN管理信息模型一致性测试类型定义树的概念及生成算法[J];通信学报;2000年06期
4 王锦,张激;UML模型一致性问题研究[J];计算机工程;2004年21期
5 田丽从,周伯生;UML可视化建模工具中模型一致性检查机制的研究与实现[J];计算机应用与软件;2005年01期
6 路为,徐伟,陈红勋;系统仿真模型的统计验证方法[J];上海大学学报(自然科学版);2005年04期
7 尹剑飞;郭荷清;欧毓毅;;基于重写逻辑的UML模型一致性检查方法[J];计算机工程;2006年08期
8 赵彧;范玉顺;;基于元对象机制的多视图企业模型一致性问题[J];机械工程学报;2006年07期
9 刘晓建;李战怀;;基于规则的UML设计模型的一致性检验[J];计算机工程与应用;2006年25期
10 杨书新;王坚;陶亚雄;兰天;;支持动态变更的柔性工作流模型一致性研究[J];西南师范大学学报(自然科学版);2006年05期
中国重要会议论文全文数据库 前2条
1 H.Lydia Deng;Bin Wang;Keh Pann;陈生昌;;近地表静校和地下构造的同时估计[A];美国勘探地球物理学家学会第65届年会论文集[C];1995年
2 蒲建春;高才喜;;作战模拟多分辨率模型系评估方法研究[A];中国系统仿真学会第五次全国会员代表大会暨2006年全国学术年会论文集[C];2006年
中国硕士学位论文全文数据库 前4条
1 刘舒婷;顺序图与状态图的一致性研究[D];吉林大学;2006年
2 王祯;UML建模过程中的不一致性分析[D];山东大学;2006年
3 朱晨;UML模型一致性检测的研究与设计[D];上海交通大学;2007年
4 郑丽钰;基于DEVS的石化多层次物流模型建模和仿真研究[D];浙江大学;2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026