模型转换中特性保持的描述与验证

被引：18

作者：

刘辉

麻志毅

邵维忠

机构：

[1] 北京大学信息科学技术学院软件研究所

来源：

软件学报 | 2007年 / 10期

基金：

国家科技攻关计划;

关键词：

模型转换; 特性保持; 行为保持; 重构; 演化; MDA(model driven architecture);

D O I：

暂无

中图分类号：

TP311.52 [];

学科分类号：

摘要：

模型转换主要用于模型的演化、求精以及重构.模型转换需要遵循一定的约束规则以保持模型的某些特性.模型演化通常要求保持已有的接口;模型重构则必须保证重构前后的软件具有相同的外部行为特性.为了严格证明某个模型转换规则是否满足这些约束,特性保持约束必须形式化地加以描述.为了实现证明过程的自动化,需要总结通用的证明过程并给出实现算法.提出了一种基于图转换的特性保持约束描述机制,将模型演化与重构中的转换规则以及特性保持约束都描述为图转换规则.借助图转换的冲突检测机制,给出了严格证明转换规则是否满足特性保持约束的算法.

引用

页码：2369 / 2379

页数：11

共 4 条

[1] 青鸟面向对象软件建模工具的研究与实现 [J].

麻志毅 ;

赵俊峰 ;

孟祥文 ;

张文娟 .

软件学报, 2003, (01) :97-102

[2]

面向对象的系统设计.[M].邵维忠;杨芙清著;.清华大学出版社.2003,

[3]

Efficient Detection of Conflicts in Graph-based Model Transformation.[J].Leen Lambers;Hartmut Ehrig.Electronic Notes in Theoretical Computer Science.2006,

[4] SEMANTICS PRESERVING TRANSFORMATION RULES FOR PROLOG [J].

PROIETTI, M ;

PETTOROSSI, A .

SIGPLAN NOTICES, 1991, 26 (09) :274-284

← 1 →