Typical ArchiMate models often do not fully conform to the ArchiMate metamodel. This is due to the fact that during the modelling process, abstraction rules
are used to create simplified views of the architecture. These abstractions have,
however, a formal basis in an operator that has been derived for the composition of
relations.