TY  - EJOU
AU  - Jiang, Tao 

TI  - A Description Method for Formalizing Domain-Specific Modelling Language
T2  - Computer Systems Science and Engineering

PY  - 2018
VL  - 33
IS  - 5
SN  - 

AB  - Many Domain-Specific Modelling Languages (DSML) can not formally define their semantics, which inevitably brings many problems, such as accurate
description and automatic verification of model properties. In this paper, we propose a formal description method of the structural semantics of DSML for
verifying consistency of models built based on DSML. Firstly, domain indicating structural semantics of DSML is formally defined based on algebra, and
then, we briefly describe our framework for formalizing DSML and verifying consistency of DSML and its models and use a classic case to illustrate our
approach; based on this, we construct an automatic translator for formalizing DSML and its models. Finally, many successful experiments on automatic
translating and automatic verifying show feasibility of our formal approach.
KW  - Domain-Specific Modelling Language (DSML)
KW  -  domain
KW  -  formal framework
KW  -  automatic verification

DO  - 10.32604/csse.2018.33.299