Formal Framework for Domain-Specific Modelling Languages -- Verification of Information