A formal representation of the structural semantics of Domain-Specific Modeling Language

Domain-Specific Modeling has been widely and successfully used in system design and modeling of specific areas. Due to informal definition of Domain-Specific Modeling Language (DSML) and Meta-Modeling Language (DSMML), the structural semantics of DSMLs and DSMMLs cannot be strictly described and the properties based on it also cannot be systematically analyzed and validated. In response, the paper proposes a formal description method of the structural semantics of DSML and DSMML. Firstly, a formal definition of domain and meta-domain based on algebra is presented, secondly, a mapping mechanism from domain and meta-domain to the corresponding first-order logic system is established, based on this, the method of formalization of structural semantics of DSML based on first-order logic is presented, finally, the formalization automatic mapping engine is designed and relevant test is performed to show the feasibility of our formal method.