模型转换中特性保持的描述与验证
模型转换主要用于模型的演化、求精以及重构.模型转换需要遵循一定的约束规则以保持模型的某些特性.模型演化通常要求保持已有的接口;模型重构则必须保证重构前后的软件具有相同的外部行为特性.为了严格证明某个模型转换规则是否满足这些约束,特性保持约束必须形式化地加以描述.为了实现证明过程的自动化,需要总结通用的证明过程并给出实现算法.提出了一种基于图转换的特性保持约束描述机制,将模型演化与重构中的转换规则以及特性保持约束都描述为图转换规则.借助图转换的冲突检测机制,给出了严格证明转换规则是否满足特性保持约束的算法.
模型转换、特性保持、行为保持、重构、演化、MDA(model driven architecture)
18
TP311(计算技术、计算机技术)
国家自然科学基金60473064;60773152;国家高技术研究发展计划863计划2007AA01Z127;国家重点基础研究发展计划973计划2005CB321805;国家科技攻关项目2003BA904B02
2007-12-28(万方平台首次上网日期,不代表论文的发表时间)
共11页
2369-2379