Computer Engineering and Applications ›› 2006, Vol. 42 ›› Issue (2期): 14-16.

• 博士论坛 • Previous Articles     Next Articles

Towards Rewriting Logic Based Architecture for Model Transformation

Yin Jian Fei,   

  1. 深圳大学
  • Received:2005-10-11 Revised:1900-01-01 Online:2006-01-11 Published:2006-01-11
  • Contact: Yin Jian Fei

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

尹剑飞,王学斌   

  1. 深圳大学
  • 通讯作者: 尹剑飞 xiterator xiterator

Abstract: Rule based model transformation takes an important role in the implementations of model transformation under the Model-Driven Architecture context. But there are some problems in the current implementations, such as different explantations to transformation rules, limited supports for the coordination, mathematic properties like termination and consistency of model transformation. The paper proposes an Maude Rewriting Logic Based Architecture (RLBA) for the model transformation. Using generative specfication, multi-method styled design of rewriting rules, Object Configuration (OC) and Object Message (OM) rewriting rules classification and model checking tools, the auto-generation of object-oriented executable algebraic specifications, strict formal definition of transformation rules, descirption of the coordination aspect of transformation and verfication of termination and consistency of transformation can be supported.

Key words: model transformation, rewriting logic, executable algebraic specification, MDA

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

关键词: 模型转换, 重写逻辑, 可执行代数规范, 模型驱动构架