特定领域动态元建模语言研究

来源 :云南大学 | 被引量 : 0次 | 上传用户:hahanikan
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件是计算机的灵魂、计算机应用系统的关键,但“软件危机”的出现成为了软件产业发展过程中必须面对的一大难题。如何高效率、高质量、低成本地开发软件成为了软件产业关注的焦点。回顾软件开发的历史,抽象水平的提高是开发者的生产力水平飞跃发展的原因。研究表明,第三代编程语言使得开发人员的生产力水平比汇编语言时代提高了惊人的450%。然而,后来引入的面向对象的语言,在提高生产力方面不尽如人意。此后,模型驱动的软件开发将软件开发从以代码为中心提高到了以模型为中心,但对提高软件开发生产率贡献甚微。因此,特定领域建模出现了,它的主要思想就是对某一领域进行建模,由模型来直接生成目标代码。本文的主要贡献就是设计出基于某一特定领域的动态元建模语言,该语言能够实现对系统的行为建模,即动态建模,对将来模型到代码的转换奠定基础。为实现该目的,本文整合了良好定义的行为语义来充分支持特定领域的行为建模。此外,还建立了动作规约与模型约束的语言,为模型的动态行为提供精确的定义。最后,以行为场景为行为建模的核心,从行为过程的视角建模,以行为场景描述系统行为进而实现系统目标。本文结合特定领域建模技术、元建模技术分析和设计出了基于特定领域的动态元建模语言D-SDMML,该语言在可视化元建模语言XMML的语义基础上进行扩展,本文给出了该语言的架构、抽象语法、具体语法以及用于描述操作和约束的AS&MC的具体语法以及行为场景;D-SDMML的具体语法使用XML Schema来定义,AS&MC为可执行的特定领域模型的建模提供了精确的动作规约和模型约束。最后,结合基于手机的会议注册系统证明该语言是可行的。
其他文献
目前,CT图像重建算法主要包括解析法和迭代法。解析法以卷积反投影算法最为常用,该算法的重建速度快,成像质量较好,但是,它要求完全的、等间距的投影数据,积分路径(射线)要为
摘要:智能规划(AI planning)是人工智能(AI)的重要研究领域,其主要任务是根据系统的初始状态和给定的动作集合,在计算机的辅助下自动或半自动地生成动作序列(称为一个计划plan
司法民意是一把双刃剑,它既可以成为一种于司法有益的支配力量,也可能损害司法公正。这种弊端产生的根本原因在于司法民意与法官职业思维的不同。在对案件裁决的过程中,法官
不作为犯的归责问题最早是在因果关系的名义下研究的,但对于"不作为犯的因果关系"这一命题本身来说存在不少争议。不作为犯的所谓"因果关系"实应为"条件关系",属于客观构成要
胫骨下1/3螺旋骨折合并后踝骨折是一种有规律性的复合骨折,损伤中后踝多为隐匿性骨折,在普通平片下常常不能显示骨折线,此类骨折漏诊率极高。各种影像学检查方法对胫骨下1/3
针对10 k V高供低计的专用变电器提出一种具有远程费控功能的新型计量箱设计方案,智能预付费防窃电计量箱运用用电信息采集系统、营销系统,结合现场的高压负控终端、电能表和
目的:观察附子汤加味治疗寒湿瘀阻型顽痹(类风湿性关节炎)的临床疗效,并对其药物进行分析,为临床治疗RA提供有效治疗方案。方法:将60例患者随机分为两组,治疗组给予附子汤加
古代词家论者仅从词与音乐协不协律来区别婉约派与豪放派,有失偏颇。豪放派突 破音乐的局限而写词的原因,必须从时代环境、社会生活、个人气质等方面去分析。婉约派与豪 放派
目前,大量非政府组织积极参与到大湄公河次区域环境治理中,其日渐强大的影响已经不容忽视。本文将针对参与大湄公河次区域环境治理的环保非政府组织,从国际关系的角度对其在
工匠建房巫术是一种具有世界意义的民俗事象,可以说一部建筑史主要是由技术史、巫术史及艺术史交织而成的。在我国,出现三种形态的建房巫术。第一种是原初形态;第二种是以鲁