【摘 要】
:
SMP是欧航局(ESA)基于模型驱动架构(MDA)的思想提出的仿真模型规范,致力于实现仿真模型的可移植性和可重用性。模型设计对仿真应用开发起到关键作用,而实现模型约束能够增强
论文部分内容阅读
SMP是欧航局(ESA)基于模型驱动架构(MDA)的思想提出的仿真模型规范,致力于实现仿真模型的可移植性和可重用性。模型设计对仿真应用开发起到关键作用,而实现模型约束能够增强模型的准确性和语义完整性。本文针对SMP元模型对静态语义的定义并不完善,且基于SMP开发的模型需要实现模型约束的问题,提出基于Eclipse建模框架(EMF)和对象约束语言(OCL)的SMP约束建模方法。包括SMP元模型和模型约束的定义,支持元模型约束验证的RCP应用开发,支持模型约束定义的方法与工具,基于Free Marker的模型约束代码生成等。主要体现在以下几个方面:(1)分析了SMP元模型待实现的静态语义约束,运用OCL实现SMP元模型静态语义的形式化定义。(2)基于Eclipse平台,运用EMF等插件实现EMF Ecore元模型的创建,并运用Complete OCL实现SMP元模型的约束建模,同时开发了工具OCLModeling用于OCL约束的扩展。(3)基于EMF代码生成机制开发RCP应用用于SMP模型开发,并实现其元模型静态语义约束的验证。同时,通过增加Constraint元素扩展了SMP元模型,实现基于SMP标准的SMP模型约束的定义。(4)基于RCP应用进行了一个攻防仿真系统模型及相关的模型约束的设计,并基于Free Marker模板引擎和模板文件实现模型及模型约束代码的生成。
其他文献
本文以Microchip公司生产的高性能的PIC24系列微控制器为硬件平台,设计和实现了一种基于PIC24系列微控制器的嵌入式实时操作系统,包括操作系统内核和Bootloader程序。随着嵌
本文以工业过程控制领域中的几类复杂被控过程为研究对象,针对现有二自由度控制结构特点和存在的不足,提出几种新的二自由度控制结构,主要内容如下: 1.根据内模原理,针对工
随着网络和信息传输的的发展,信息流量越来越大,为了减小信息传输量,信号量化器的使用越来越普遍。信号量化后,会引入量化误差,从而给系统的稳定性和系统性能带来不利的影响
激光陀螺快速寻北系统、激光陀螺捷联惯导系统完全自主、全天候工作和精度高的技术优势,使其在民用、军事等领域的研究不断深入,应用不断拓展。论文面向高精度快速定向导航应
21世纪,人类将面临严重的能源紧缺问题,而石油作为世界上最重要的能源也将在未来的100年内面临枯竭。而电能已经是而且将来也是地球上长远使用的的重要能源,它必将会成为各种
惯性/视觉组合导航由于具有良好的互补性和自主性,已成为导航技术领域的研究热点。RatSLAM算法通过模拟啮齿类动物大脑海马区导航机制,实现实时定位,是当今较为实用的一种仿
人脸识别,即通过对人脸图像的分析来确定人的身份,是一种新兴的生物识别技术。相对于其他生物识别技术,例如,指纹识别、虹膜识别等,人脸识别的优点在于:这种识别不需要被测对
人群仿真技术在安全管理、计算机动画及虚拟现实等众多领域有着广泛的应用。而当前人群行为仿真中面临的行为模型真实性差,人群行为生成方法单一等问题,本文开展了人群行为仿
随着全球导航卫星系统的不断发展,其对于军事应用领域的作用已达到无可替代的地步,尤其是弹载导航定位系统,它的使用不仅可以提高武器打击精度以及毁伤效率,还可以降低武器试
实时性和可靠性是现代工业生产对工业监控系统的基本要求。工业监控系统目前采用的软件体系结构主要有C/S(Client/Server,客户-服务器模式)和B/S(Browser/Server,浏览器-服务器)模