基于动作语义的UML模型模拟研究与实现

来源 :北京航空航天大学 | 被引量 : 0次 | 上传用户:lunxyxd
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于面向对象思想的建模技术成为当前计算机领域解决各类复杂问题的首选,相关建模方法、建模语言、建模工具也都蓬勃发展:UML是面向对象领域事实上的标准建模语言;"模型驱动开发"是新近出现的以模型为中心、通过建模完成开发的开发模式,为得到正确且满足需求的系统,开发过程中必须进行模型的模拟验证;动作语义是UML新的组成部分,是支持模型模拟的语义基础.该文基于UML1.x版和动作语义,针对实现UML模型模拟所需建模语言、模型结构、模拟原理等内容进行了一些研究尝试.首先,论文介绍了模型驱动开发的知识,力图使读者理解"以模型为中心"的开发模式;详述了UML实现支持模型驱动开发的重要基础:动作语义;并谈及一些在研究部分支持模型驱动开发的工具过程中获得的、对课题研究有益的启发.接着,论文对研究UML模型模拟涉及的三方面研究,建模语言、模型结构和模拟原理进行阐述:课题设计可视化动作说明语言VAL原型,它和UML 1.x一些图形元素相结合可建造支持模拟的UML模型;使用前述建模语言所建模型在结构上必须符合一定规则使得可以将模型信息和建模语言的语义定义结合起来、实现模型模拟;此外,论文还对UML模型模拟结果的展示和结果正确性判定依据进行了讨论.最后,针对前述UML模型模拟研究的结果,论文介绍了课题原型的软件体系结构及相关软件模块:UML数据引擎、后台支持数据库、VAL原型定义、MdlBuilder原型、MdlSimulator原型.原型目前支持进行简单的、侧重演示原理的UML模型模拟.
其他文献
该文对网络缓存技术进行了系统地分析,归纳总结了网络缓存技术的概念、特点、分类,并且阐述了缓存技术的应用和发展方向.在此基础上,提出了一种基于Cache Digest的分布式缓存
随着网络技术和多媒体技术的不断发展,网络视频会议系统被广泛应用.但是目前的视频会议系统存在着二个主要的问题和不足.一个是系统支持的同时在线的用户数量有限,即缺乏支持
学位
云计算通过虚拟化等技术将软硬件资源整合后构建为资源池,并以服务的形式按需提供给用户,具有高可扩展性、高可靠性和弹性服务的特点,提高了资源利用效率,成为信息技术领域研
WWW是一个开放的全球性的资源,它包含了海量的跟人类生活密切相关的数据.随着WWW上信息的爆炸性的增长,在如此大量的数据中发现有用的信息变得困难.而数据挖掘技术是从大量的
随着XML标准在信息交换等数据管理作用中的日益增强,数据库底层支持XML海量存储,已经成为诸多系统的关键组成部分。 同时,在这样一个信息爆炸的时代,如何高效管理各种类型的“
Mpeg2标准是针对标准数字电视和高清晰度电视在各种应用下的压缩方案和系统层的详细规定,编码码率从每秒3兆比特~100兆比特,特别适用于广播级的数字电视的编码和传送,目前在
该文首先介绍了拓扑管理在网络中的作用,以及在IPv4网络环境中拓扑发现的方法,然后通过分析IPv6相对于IPv4协议产生的变化和IPv6的相关概念、技术、应用,提出IPv6网络拓扑自
国土房屋管理是政府部门的重要职能之一,与百姓生活和房地产企业息息相关.实现国土房屋管理的科学化、信息化是当今社会发展的必然趋势.该论文以国土房管系统为背景项目,对数
随着互联网技术的发展,具有良好可扩展性的、松散耦合的分布式访问和集成技术——Web服务越来越广泛地应用于电子商务、企业间的信息共享和业务整合、电信等领域.在目前采用