Due to informal definition of Domain-Specific Metamodeling Language (DSMML), properties of metamodels built based on DSMML cannot be precisely and automatically analyzed. In response, based on formalization of DSMML named XMML, the paper proposes an automatic mapping mechanism for formalizing metamo