The Method Of Co-Evolution Of Model And Metamodel

Model-Driven Engineering(MDE)is a modern software engineering approach that regards the model as the main artifact of the development process and model transformation.In MDE,a metamodel is a model that defines concepts for expressing models.Models enable to represent a system at a higher level of abstraction.Analogously to any software artifact,the metamodel is not always the same,and it evolves over time.Though some approaches have been proposed for performing such co-evolution problem,it still has following problems:(1)How to generate complete metamodel constraints in co-evolution.(2)How to verify the consistency between the evolution of the model and the evolved metamodel.Aiming at the problem of the way to generate complete metamodel constraints in coevolution,this thesis improves the existing co evolution method of consistency change propagation,proposes a common evolution framework based on instantiation.According to the idea of instantiation,this thesis improves the existing co-evolution method of consistent change propagation.As a result,a co-evolutionary framework based on instantiation has been put forward.Researched the idea of model-driven development and related Model Driven Architecture(MDA)standards,the representation of models,and the relationship between models and metamodels.A meta-model layer is added to the existing method,and the meta-model is instantiated into a meta-model to generate a constraint of the meta-model.Aiming at the problem of the way to verify the consistency between the evolution of the model and the evolved metamodel,a method to verify the consistency between metamodel and model has been proposed.According to the four-layer structure in the Meta Object Facility(MOF),by using of the descriptive logic knowledge base to represent the meta-meta-model,the meta-model,the model and the constraints contained in the instantiation process,adopts the method of verifying whether the meta-model can be instantiated as a model to verify the consistency of the model and the meta-model.For a typical application scenario,an implementation is designed using an instantiation-based co-evolution framework.By analyzing the constraints of the metamodels violated by the model elements,selecting the changes of the model elements according to the constraints,and using the method of verifying the model and the consistency of the metamodels in the model change,all the alternative schemes for model change,which satisfy the constraints of meta-model,have been obtained.Combined with the constraints of the environment,alternative schemes for the model,which satisfy the constraints of the meta-model and the environment,have been attained.Finally,the model change plan is manually selected to get the model that satisfies the requirements.