支持MDD的建模语言体系结构框架研究

摘要：

针对MDD软件开发中需要多种建模语言支持模型建立及模型之间可转换的要求，提出基于MOF的建模语言体系结构ICES-MLA，支持按需定义新的建模语言，包括抽象语法和具体语法，能够有效纳入、精化UML等现有语言并支持建模语言的演化．引入OWL实现了建模语言的形式化描述以支持模型验证与模型转换．基于Eclipse设计实现了支持ICES-MLA的建模工具ICE-Modeling Tool．在物流服务业的应用验证表明，该体系及工具能够有效支持MDD过程中准确描述语义，低成本、快速验证模型及进行模型转换．

关键词： 建模语言 软件开发 形式化描述 快速验证模型

作者: 李晋 战德臣 聂兰顺 徐晓飞

作者单位: 哈尔滨工业大学计算机科学与技术学院，黑龙江 哈尔滨 150001 哈尔滨工程大学计算机科学与技术学院，黑龙江 哈尔滨 150001 哈尔滨工业大学计算机科学与技术学院，黑龙江 哈尔滨 150001

会议类型: 国内会议

会议名称: 中国计算机学会全国软件与应用学术会议(NASAC2009)

会议地点: 沈阳

会议语种:中文

页码: 361-368

在线出版日期: 2009-09-22（万方平台首次上网日期，不代表论文的发表时间）