帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 文献详情
文献详细Journal detailed

模型转换的重写逻辑构架研究
Towards Rewriting Logic Based Architecture for Model Transformation

作  者: ; ;

机构地区: 深圳大学信息工程学院

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

摘  要: 规则式的模型转换技术在模型驱动构架的模型转换实施中占有重要地位,但目前诸实施对于转换规则的定义存在多种解释、转换的协调方面、终止性和一致性等数学属性缺乏支持。该文提出一种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.

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

领  域: [自动化与计算机技术] [自动化与计算机技术]

相关作者

相关机构对象

相关领域作者

作者 李文姬
作者 邵慧君
作者 杜松华
作者 周国林
作者 邢弘昊