Research Of Several Key Technologies On Interaction Between Compiler And IDE Of The Platform For Modeling And Simulation Of Multi-Domain Physical Systems

As complex engineering systems mostly consist of several domain subsystems which are coupled, traditional single-domain simulation tools are not capable of modeling and simulation for them. Modelica, a standard physical modeling language, is well suited for efficiently modeling and simulating of complex tightly-coupled multi-domain physical systems for its supporting oriented-object modeling, multi-domain unified modeling, declarative modeling, and continuous-discrete hybrid modeling.MWorks, a Modelica-based platform for modeling and simulation of multi-domain physical systems, has been developing by CAD center of Huazhong University of Science and Technology. It is composed of integrated development environment (IDE), compiler, solver and postprocessor. As the core transformation sector from modeling to simulating, compiler performs lexical, syntactical, semantic analyses and flat instantiation for the models. Compiler supplies I/O interfaces for IDE to operate models, and generates flat equation systems as input of the solver. Several involved key technologies on interaction between compiler and IDE have been deeply researched, including I/O serialization, code formatting, and Modelica model library management.I/O Serialization is the key technology in the process of loading Modelica model library in MWorks. With respect of syntactical characteristic of Modelica, serialization principles of Modelica have been designed based on Document Object Model (Dom), an object-oriented container presentation of the result of lexical and syntactical analysis.Code formatting is the key technology to display Modelica code in a uniform visual layout style. The key points of format-art have been summarized by studying the fundamental theorem of formatting. With the respect of these points and lexical and syntactical characteristic of Modelica, especially the concept of structured entity, code formatting technology has been implemented, based on Dom.Modelica model library management has been designed for operating library. Functions of management have been specified, by analyzing the process of library operated by users. A series of interfaces has been implemented for library data transfer between compiler and IDE.These key technologies have been carried out in MWorks based on the studies. The corresponding instances have been shown to validate the research achievement at the end of the thesis.