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