Study On Formalization And Transformation Of Models In MDA Software Paradigm

Background With the continuous penetration and application of Internet information technology in the medical industry,the traditional medical pattern has gradually shifted to a new type of medical pattern,the modeling and development of the Internet Medical System is imminent.MDA as a new type of software development method,its core content is model and model transformation.The realiztion of the construction of MDA models,fomal description and transfromation will play a role in promoting the development of MDA.Objectives Taking the Internet medical system as the background of research,the MDA models' representation and automatic transformation mechanism were explored.Based on visual modeling,the model was described formally,and the transforamtion mechanism among models was explored and verified based on metamodel.Methods Firstly,an “Internet+” O2 O medical pattern framework was proposed,which lays the foundation for designing and implementing the Internet medical system(IMS).Secondly,the MDA models were visually modeled separately based on UML.Furthermore,the corresponding metamodels of CIM and PIM were constructed,and the formalized systems of CIM metamodel and PIM metamodel were separately constructed based on the category theory.Finally,the experiment for model transformation was designed based on the EMF modeling framework to realize the automatic transformation from the source model to the target model,and the model's modeling,formalization and transformation were separately verified by the case named IMS.Results For the research on formal analysis and application of MDA models based on category theory,firstly,the visual modeling of the model was realized,and CIM was modeled by use case diagram,and PIM was modeled by robust diagram and robust analysis pattern(PPTS).Secondly,the formal description of the CIM and PIM metamodel was implemented,the use cases,actors,and relationship among use cases were taken as the specific formal description objects to implement a formal description of CIM metamodel;bountary objects,control objects,and entity objects and relationship among them were taken as the specific formal description objects to implement a formal description of PIM metamodel.Finally,the modeling and formalization methods proposed in this paper were verified by the case named IMS.For research on the model transformation of IMS based on EMF,an Eclipse platform for model transfromation was built,and two groups of experiments were designed based on EMF modeling framework and related plug-ins,including the first experiment is the transfromation from IMS's CIM metamodel(UCM)to code;and the second experiment is the transfromation from IMS's PIM metamodel(ROM)to code.The CIM metamodel and PIM metamodel were used as the input model respectively,and the CIM and PIM metamodels were defined and edited based on EMF,and the corresponding EMF generator model was implemeted to respectively realize the automatic transformation of UCM and ROM to code.