Research and design of an executable modeling language based on MOF

The ultimate aim of software development is to produce executable code, which is the most core of the model application at the same time. Currently various models which are built by kinds of modeling technologies can not be executed. And all of these attribute to non-execution of modeling language itself. This paper studies the function of MOF in the modeling language field and behavior abstract model of OCL, and on this foundation I design a sort of modeling language named XKL that described by text. The rationale of its design of structure metamodel comes from the basic structure of EMOF, at the same time the design of its behavior metamodel comes from the expression abstract syntax model of OCL. In this way, not only XKL conforms to the MOF standard in the modeling structure, but also embodies the ability of the OCL language in the aspect of describing model constraint. So the models which are built by the XKLbased modeling tool are executable.