If there are mandatory attributes in ARIS, non-maintained mandatory attributes should be highlighted in color in the event of a storage process (e.g. red frame, configurable) and, similar to the Semantic Check, the affected object or model should ...