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

Towards Rewriting Logic Based Architecture for Model Transformation

作　　者：尹剑飞[1] 王学斌[2] 

机构地区：[1]深圳大学信息工程学院,深圳518060 [2]国防科学技术大学计算机学院网络与信息安全研究所,长沙410073

出　　处：《计算机工程与应用》2006年第2期14-16,19,共4页Computer Engineering and Applications

基　　金：国家973重点基础研究发展规划资助项目(编号:G20000263)

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

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]