An Approach Of Meta-model Matching And Model Tracing

As software systems become more complicated,in the process of software system development,model designing,code writing and test case tracking becomes more and more important.However,trace information often had to be abandoned in practice,because recording and maintaining trace information is a tedious and time consuming task due to the lack of automatic or semi-automatic support.MDE(Model-driven Engineering)is regard as an effective way to solve this problem.Since the products of every stage in an MDE software development process are mainly models,the trace information,that is,the links between model elements can be handled using any model processing technique.But MDE in the actual software development process has not been widely used.The main reasons are: First,in the model transformation process,because the matching elements between the two meta-models of models need to manually find,so transformation rules between models need to manually write,there is a lot of duplication of work.Secondly,the existing model of transformation tools can only achieve static model to code transformation,but not be achieved dynamic model to code transformation.For this,this paper do the following the studies on the two issues of MDE.First,In-depth study of the existing theories and methods meta-model match,especially Similarity Flooding,Extend Semi-automatic Matching Tool for Model Driven Engineering(SAMT4MDE+)and Ontology Engineering Space,points out the strengths and weaknesses of the theory and method of meta-model matching.According to the theory of the models transformation in MDE,this paper proposes a method based on provenance and MDE meta-model matching.The method sets meta-model matching rules in meta-meta-model layer,using elemental matching and structural matching to implement meta-model matching.This method draws on the advantages of existing meta-model matching method to improve the accuracy of meta-model matching.And through examples and comparative experiments verify the correctness and validity of the method.Secondly,many existing modeling tools could not achieve a dynamic model to code transformation,for this problem,combined meta-model matching method proposed in this paper,we propose an approach based on model coordination.Although this method can't achieve a dynamic model to code transformation,the method achieves a variety of models to code tracing,which can be used to detect the model to the code are the same,and then determine whether the code can fully cover the design model.Finally,this paper uses structured document parsing technology and code compilation technology to implement a preliminary design model to code tracing system.And the design model and the code of several software develo pment projects have been traced to verify the feasibility and effectiveness of the tracing system.