The Formal Semantics Of A Domain-Specific Modelling Language