Semantic check patterns are used to validate the source model. The semantic check patterns of a model transformation check whether the source model is consistently modeled.
The semantic check pattern consists of a single model and any assignments in which a modeling error of a fragment is modeled.
Semantic check patterns that specify restrictions on the number of an object type are defined using object factors. If an item is not permitted in the modeled content, its object factor must be set to 0.
For example, restrictions of this type could be that a maximum of two organizational units can be linked to a function. In this case, you model exactly this error.
If a semantic check pattern identifies points in the model fragment that do not comply with the permitted conventions, the transformation is canceled and a corresponding message is displayed. The Description attribute of the source model is used as additional information in this message.