An Automatic Mapping Mechanism for Formalizing Domain-Specific Metamodels

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 metamodels to automatically translate metamodels to the corresponding first-order logic system. Firstly, we briefly present our approach for verifying metamodels consistency, and then, an automatic mapping mechanism for formalizing metamodels is established, finally, we design and implement an automatic mapping engine for formalizing metamodels.