Computer Engineering and Applications ›› 2006, Vol. 42 ›› Issue (2期): 14-16.
• 博士论坛 • Previous Articles Next Articles
Yin Jian Fei,
Received:
Revised:
Online:
Published:
Contact:
尹剑飞,王学斌
通讯作者:
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(对象消息)重写规则分类等技术并结合模型检查工具,为自动产生元模型和模型的面向对象可执行代数规范、转换规则的严格形式化定义、转换协调方面的刻画、终止性和一致性等的验证提供支持。
关键词: 模型转换, 重写逻辑, 可执行代数规范, 模型驱动构架
Yin Jian Fei,. Towards Rewriting Logic Based Architecture for Model Transformation[J]. Computer Engineering and Applications, 2006, 42(2期): 14-16.
尹剑飞,王学斌. 模型转换的重写逻辑构架研究[J]. 计算机工程与应用, 2006, 42(2期): 14-16.
0 / Recommend
Add to citation manager EndNote|Ris|BibTeX
URL: http://cea.ceaj.org/EN/
http://cea.ceaj.org/EN/Y2006/V42/I2期/14