A Formal Representation of Domain-Specific Metamodeling Language XMML Based on First-order Logic

AbstractDomain-Specific Modeling has been widely and successfully used in software system modeling of specific areas. Domain-Specific Metamodeling Language (DSMML) defined by informal method cannot strictly represent its structural semantics, so its properties such as consistency cannot be systematically and precisely verified. In response, the paper proposes a formal representation of the structural semantics of DSMML named XMML. We illustrate our approach by formalization of refinement relationship of XMML based on first-order logic. Based on this, the approach of consistency verification of metamodels built based on XMML is presented