Research on Metamodels Consistency Verification Based on Formalization of Domain-Specific Metamodeling Language
JIANG Tao (江涛), WANG Xin (王新)
Journal of shanghai Jiaotong University (Science) . 2012, (2): 171 -177 .  DOI: 10.1007/s12204-012-1248-2