Implementation of the check component which allows to define constraints that are validated for the metamodel