期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
模型转换中特性保持的描述与验证 被引量:19
1
作者 刘辉 麻志毅 邵维忠 《软件学报》 EI CSCD 北大核心 2007年第10期2369-2379,共11页
模型转换主要用于模型的演化、求精以及重构.模型转换需要遵循一定的约束规则以保持模型的某些特性.模型演化通常要求保持已有的接口;模型重构则必须保证重构前后的软件具有相同的外部行为特性.为了严格证明某个模型转换规则是否满足这... 模型转换主要用于模型的演化、求精以及重构.模型转换需要遵循一定的约束规则以保持模型的某些特性.模型演化通常要求保持已有的接口;模型重构则必须保证重构前后的软件具有相同的外部行为特性.为了严格证明某个模型转换规则是否满足这些约束,特性保持约束必须形式化地加以描述.为了实现证明过程的自动化,需要总结通用的证明过程并给出实现算法.提出了一种基于图转换的特性保持约束描述机制,将模型演化与重构中的转换规则以及特性保持约束都描述为图转换规则.借助图转换的冲突检测机制,给出了严格证明转换规则是否满足特性保持约束的算法. 展开更多
关键词 模型转换 特性保持 行为保持 重构 演化 MDA
在线阅读 下载PDF
模型驱动开发中模型演化语法和语义特性研究
2
作者 孙为军 李师贤 严玉清 《计算机科学》 CSCD 北大核心 2012年第7期123-126,143,共5页
模型演化由一系列复杂的变化活动组成,要遵循一定的约束以保持模型的某些特性。以一个实例描述模型演化的过程,并以集值映射为基础,定义模型成分与语义域的映射,通过定义模型演化的语义函数,研究模型演化的语法和语义性质,包括特性保持... 模型演化由一系列复杂的变化活动组成,要遵循一定的约束以保持模型的某些特性。以一个实例描述模型演化的过程,并以集值映射为基础,定义模型成分与语义域的映射,通过定义模型演化的语义函数,研究模型演化的语法和语义性质,包括特性保持、一致性、等价性和吸收性等。 展开更多
关键词 模型驱动体系结构 模型演化 特性保持 一致性
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部