Research on the Model Transformation Method and Application of Formal Model Driven Engineering (FMDE)

MDE is a software development method with UML modeling and model conversion as the main approach. MDA is a concrete and partial realization way of MDE, and it is a model-driven development framework mainly based on UML. For the graphical modeling language UML, there are problems such as complex and cumbersome language mechanisms, inaccuracy and ambiguity in concepts, lack of formal description and formal derivation, making it difficult to guarantee reliability. Based on the framework of practical formal method (PAR) and model-driven engineering, this paper proposes a new algorithm development method FMDE model transformation method and application research. The model, meta-model, algorithm model and program model proposed by FMDE make model-driven software development more efficient. The grammatical and semantic definitions of the formal modeling languages SNL, Rdal, Apla and the BNF description facilitate the formal derivation and correctness verification of the algorithm program, SNL demand model → Radl algorithm model transformation converts the SNL function requirements of the algorithm problem into Radl algorithm specifications, uses Radl algorithm model → Apla program model transformation to convert the algorithm to Apla program, uses Apla program model → executable code model transformation to convert Apla program It is automatically converted into an executable language program, and finally the correctness of the model transformation is proved through a case, which improves the efficiency, correctness and reliability of algorithm development.