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

作     者：崔妍妍 

作者单位：云南大学 

学位级别：硕士

导师姓名：梁志宏

授予年度：2010年

学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

主      题：模型驱动开发 特定领域建模 特定领域语言 模型 元建模 元模型 

摘      要：软件是计算机的灵魂、计算机应用系统的关键,但“软件危机的出现成为了软件产业发展过程中必须面对的一大难题。如何高效率、高质量、低成本地开发软件成为了软件产业关注的焦点。 回顾软件开发的历史,抽象水平的提高是开发者的生产力水平飞跃发展的原因。研究表明,第三代编程语言使得开发人员的生产力水平比汇编语言时代提高了惊人的450%。然而,后来引入的面向对象的语言,在提高生产力方面不尽如人意。此后,模型驱动的软件开发将软件开发从以代码为中心提高到了以模型为中心,但对提高软件开发生产率贡献甚微。因此,特定领域建模出现了,它的主要思想就是对某一领域进行建模,由模型来直接生成目标代码。 本文的主要贡献就是设计出基于某一特定领域的动态元建模语言,该语言能够实现对系统的行为建模,即动态建模,对将来模型到代码的转换奠定基础。为实现该目的,本文整合了良好定义的行为语义来充分支持特定领域的行为建模。此外,还建立了动作规约与模型约束的语言,为模型的动态行为提供精确的定义。最后,以行为场景为行为建模的核心,从行为过程的视角建模,以行为场景描述系统行为进而实现系统目标。 本文结合特定领域建模技术、元建模技术分析和设计出了基于特定领域的动态元建模语言D-SDMML,该语言在可视化元建模语言XMML的语义基础上进行扩展,本文给出了该语言的架构、抽象语法、具体语法以及用于描述操作和约束的AS&MC的具体语法以及行为场景;D-SDMML的具体语法使用XML Schema来定义,AS&MC为可执行的特定领域模型的建模提供了精确的动作规约和模型约束。最后,结合基于手机的会议注册系统证明该语言是可行的。