【摘 要】
：
目前,UML已经成为软件建模的标准语言,UML状态图描述了系统在其生命周期中的动态行为。随着系统规模的扩大和复杂度的提高,UML状态图往往包含设计者所未预料到的隐患,如何保
论文部分内容阅读
目前,UML已经成为软件建模的标准语言,UML状态图描述了系统在其生命周期中的动态行为。随着系统规模的扩大和复杂度的提高,UML状态图往往包含设计者所未预料到的隐患,如何保证模型的精确性成为软件开发者所面临的一个新问题。而状态机模型仿真技术为解决这一问题提供过了有效的方法,也成为了人们研究的热点。本文针对软件开发领域中的系统模型仿真和验证问题展开研究工作,探索了基于UML 2.0的模型仿真器开发方法,并以UML2.0模型为基础,状态机模型为核心,设计开发出了一个灵活可用的UML状态机模型仿真软件。论文首先介绍了UML建模语言的基本要素、状态机模型及仿真技术；接着重点介绍了本文设计的状态机模型仿真器的组成结构,并就仿真器引擎中的状态图与仿真器输入语言之间的语义转换方法、仿真器中基于EMF与GEF的状态机模型的建立方法、基于SMV语言的状态机验证方法进行了深入分析和探索,并提出了有效的解决途径。紧接着介绍了UML状态机模型仿真器的设计与实现技术,并对仿真器引擎中的状态转移方法、界面实现方法等进行了详细介绍。最后,通过本文所开发的仿真器测试了choice, fork and join, composite等状态机模型,结果表明其具有较好的实用性和准确性。
其他文献
随着时代的发展，各种信息呈爆炸性增长，因此信息检索技术在处理信息资源时显得尤为重要。但随着传统的基于关键词的信息检索的弊端逐步暴露，检索的结果往往无法满足用户的需求。
随着网络技术的广泛应用，电子商务、电子政务、网上银行等网上交易也得到了迅速发展。在进行各种网上交易时，网络上信息的安全问题成为人们关注的焦点。CA负责为这些网上交易签
DCS(分布式控制系统)在现代工业现场已经运用多年,虽然近些年来不断受到新的控制系统的挑战,但是其庞大的市场应用以及随着技术进步不断提出适应新的需求的发展方向,必将使其
随着网络技术的发展,Agent以及多Agent系统(Multi-Agent System-MAS)已经成为研究的热点。由于Agent的自治性、智能性等特点,利用它可以为系统的集成提供一个崭新的途径,实现
脊波双框架系统是一种基于脊波的新的图像表示系统,它继承了脊波的核心思想即将空间中的“线奇异”转化为“点奇异”,再用小波变换处理这些点奇异,同时,它克服了以往用于图像
传统的GIS信息资源被扩展到互联网上,这为不断增长的GIS用户需求提供了丰富的数据资源。随着越来越多符合规范的稳定易用的空间信息服务被发布到网络上,如何有效地获取、管理
现代快速发展而多变的商务环境,要求企业级应用系统能够迅速适应不断变化发展的业务需求,从而适应新形势下的业务战略的快速部署,而传统的业务解决方案已无法满足这种需求。
利用三维重建技术获取场景3D几何结构的建模方式,能够摆脱传统三维建模繁琐的人工交互模式,使得三维建模过程变得更为简单方便。并且在3D电影,电子游戏,以及三维测量等领域有
随着计算机和互联网的快速发展，平板电脑、电子书写板、各种数码笔等电子笔输入设备得到了广泛应用，用户能在更大的界面上自由地、无约束地输入文本信息。因此，联机连续手写字符
超分辨率图像重建是一个利用多帧具有互补信息的低分辨率图像复原出一幅高分辨率图像的过程。这项技术在遥感、军事、医学和公共安全等领域具有十分重要的应用价值和广阔的应