%0 Journal Article
%T Study on the Formalization of Model Evolution with Model Driven Architecture<br>模型驱动环境下模型演化的形式化研究
%A SUN Wei-jun
%A LI Shi-xian
%A YAN Yu-qing
%A <br>孙为军
%A 李师贤
%A 严玉清
%J 计算机科学
%D 2012
%I 
%X Model evolution involves a series of complex change activities. Based on model driven architecture, the relevant model evolution conceptions were formally defined to accurately describe model and model changes. In MDE, model changes can be classified as the primitive operations and composition operations. The primitive operations are identified as addition, deletion and modification operation and can be imposed on the model clement individually. Merge and union operations arc composition operations based on simple operations.
%K Model driven architecture
%K Model evolution
%K Model difference
%K Metamodel<br>模型驱动体系结构
%K 模型演化
%K 模型差异
%K 元模型
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=48D1E5032809D5D490DC533C90566B13&yid=99E9153A83D4CB11&vid=7C3A4C1EE6A45749&iid=B31275AF3241DB2D&sid=8477411EEDB08A86&eid=DE304CE7E77494A8&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0