论文部分内容阅读
在模型驱动开发中,模型演化由一系列复杂的变化活动组成,模型的变化可以分为直接施加在模型元素上的增加、删除、更改等基本演化操作以及这些基本演化操作的组合。基于模型驱动体系结构,给出了模型和模型变化的形式化定义。模型的变化以模型差异来描述,在模型差异的基础上,研究了模型的合并、逆和组合运算。
模型驱动环境下模型演化的形式化研究
【摘 要】
：
在模型驱动开发中,模型演化由一系列复杂的变化活动组成,模型的变化可以分为直接施加在模型元素上的增加、删除、更改等基本演化操作以及这些基本演化操作的组合。基于模型驱
【机 构】
：
中山大学计算机科学系,广东工业大学计算机学院,广东外语外贸大学思科信息学院
【出 处】
：
计算机科学
【发表日期】
：
2012年6期
【基金项目】
：
国家自然科学基金（60774095）, 广东省自然科学基金（9451009001002777）资助
其他文献
随着软件技术的发展,更多的软件出现,维护和再工程的需求也更加迫切。通用的软件再工程的基本概念和模型无法保证再工程的高效低风险。创造性地将平行迭代模型与Agent技术结
Hessian LLE算法是一种经典的流形学习算法,但该方法是以批处理的方式进行的,当新的数据点加入时,必须重新运行整个算法,计算所有数据点低维嵌入,原来的运算结果被全部丢弃。
粗糙集模型的推广是粗糙集理论研究的重要方向之一。在分子格的框架下,定义了一个从分子到一般元素的映射,基于该映射,分别构造了两种上近似算子和两种下近似算子,并讨论了这
高可用性是无线传感器网络的设计目标之一，远程代码更新可增加或更新运行在传感器节点上的软件，是提高无线传感器网络可用性的重要支撑。分析和总结了传感器网络远程代码更新研
Epidemic算法在某些场景中具有很高的传输成功率、很小的传输延迟,但其适应性较差,在另一些场景中性能会显著下降。分析了影响Epidemic算法性能的因素,认为挤出效应是导致算
传统的中国画和书法是我国的艺术瑰宝。随着数字技术的迅速发展,越来越多的传统中国书画作品被数字化,如何快速有效地检索这些数字图像已成为一个热门的研究课题。如果能够准确地将中国画和书法图像首先进行二分类,将为中国书画图像的进一步检索和分类打下坚实的基础。提出了一种基于主体颜色特征的中国传统书画图像的二分类方法。该算法首先对书画图像中的留白区域进行检测,然后将其去掉,因为历史久远,这些留白区域含有过多的
分子生物计算是一门很有潜力的发展中学科。首次尝试将其用于解决公交网络问题。通过对公交网络问题的分析,巧妙地将该出行优化问题转化成一个赋权图问题,综合考虑道路长度、
构建一个新的四维超混沌系统,并对系统的基本非线性动力学特性进行了较系统的分析。利用主动控制同步法设计合适的非线性反馈控制器,同时将此同步系统成功地运用到混沌遮掩保
随着Web服务的快速发展,大量相似的Web服务功能发布至Internet。为从Web服务集合中过滤出请求者需求的Web服务,探讨了一种基于QoS与可信度融合的Web服务选择机制。针对Web功
在对用户查询意图进行分析分类的基础上,提出了一种Web搜索优化模型。该模型通过识别用户查询意图来查询意图特征词和内容主题词的双重约束,再结合用户查询行为获得查询目标,