模型转换的重写逻辑构架研究

• 作者: 尹剑飞 王学斌
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 模型转换 重写逻辑 可执行代数规范 模型驱动构架
• 年，卷（期）: 2006,（2）
• 所属期刊栏目: 博士论坛
• 页码范围: 14-16,19
• 页数: 4页
• 分类号: TP311
• 字数: 4363字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2006.02.004

摘要

规则式的模型转换技术在模型驱动构架的模型转换实施中占有重要地位,但目前诸实施对于转换规则的定义存在多种解释、转换的协调方面、终止性和一致性等数学属性缺乏支持.该文提出一种Maude重写逻辑基础的构架(RLBA)以实施模型转换,通过产生式规范、多方法风格的重写规则集设计、OC(对象配置)和OM(对象消息)重写规则分类等技术并结合模型检查工具,为自动产生元模型和模型的面向对象可执行代数规范、转换规则的严格形式化定义、转换协调方面的刻画、终止性和一致性等的验证提供支持.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	尹剑飞	深圳大学信息工程学院	7	43	3.0	6.0
2	王学斌	国防科学技术大学计算机学院网络与信息安全研究所	3	80	2.0	3.0