An Approach for Automatically Reasoning Consistency of Domain Specific Modelling

Domain-Specific Modeling Language (DSML) defined by informal way cannot precisely represent its structural semantics, so properties of models such as consistency cannot be systematically analyzed and verified. In response, the paper proposes an approach for automatical-ly reasoning consistency of DS