Many Domain-Specific Modelling Languages (DSML) can not formally define their semantics, which inevitably brings many problems, such as accurate descr iption and automatic verification of model properties. In this paper, we propose a formal descr ipt