模型转换中特性保持的描述与验证 |
| |
引用本文: | 刘辉,麻志毅,邵维忠.模型转换中特性保持的描述与验证[J].软件学报,2007,18(10):2369-2379. |
| |
作者姓名: | 刘辉 麻志毅 邵维忠 |
| |
作者单位: | 北京大学,信息科学技术学院,软件研究所,北京,100871;高可信软件技术教育部重点实验室(北京大学),北京,100871 |
| |
基金项目: | 国家自然科学基金;国家高技术研究发展计划(863计划);国家重点基础研究发展计划(973计划);国家科技攻关项目 |
| |
摘 要: | 模型转换主要用于模型的演化、求精以及重构.模型转换需要遵循一定的约束规则以保持模型的某些特性.模型演化通常要求保持已有的接口;模型重构则必须保证重构前后的软件具有相同的外部行为特性.为了严格证明某个模型转换规则是否满足这些约束,特性保持约束必须形式化地加以描述.为了实现证明过程的自动化,需要总结通用的证明过程并给出实现算法.提出了一种基于图转换的特性保持约束描述机制,将模型演化与重构中的转换规则以及特性保持约束都描述为图转换规则.借助图转换的冲突检测机制,给出了严格证明转换规则是否满足特性保持约束的算法.
|
关 键 词: | 模型转换 特性保持 行为保持 重构 演化 |
收稿时间: | 9/7/2006 12:00:00 AM |
修稿时间: | 9/7/2006 12:00:00 AM |
本文献已被 维普 万方数据 等数据库收录! |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|