Research on ASM based meta-model formalization semantics
Pan Li · Jisuanji yingyong yanjiu · 2012
This paper presented a formal semantic description method in the process of the model-driven development.This approach used meta-model to describe the mapping relationship between meta-model and its semantics formally for the precise semantic description.Thus,it also provided support to MOD.It applied the description frame to the definition of model transformation rules as well as the analysis and verification of meta-model.It took simple Petri net as an example to show that this method can support the model transformation and the code generation effectively.