General conventions are often used for modeling with ARIS. These rules should be followed in order to create models that are logical, consistent and meaningful. The Semantic Check Wizard uses these rules to help you check your models and objects.
ARIS provides you with all the fundamental rules. You can also specify your own conventions for modeling. Define rules and use them to check your models.
Profiles
Select a profile to run a semantic check. You manage rules for the semantic check in profiles. You can combine several rules of one particular rule type or rules of different rule types in a profile. For example, profiles can combine rules that are only applicable to specific model or object types. The existing rules in ARIS are all assigned to specific profiles.
Individual rules can occur in various profiles.
If you start semantic check profiles containing rules for objects and models for groups, you can evaluate all objects/models of the group and its subgroups. To do this, script administrators must adapt the file atsall<language code>.js, for example, atsallen.js.
Rule types
The individual rules are assigned to fundamental rule types.
When you create a profile select the relevant rules from these rule types. The six rule types can be divided into two groups. One group includes the predefined rule types whose rules you can create, extend or modify only if you have programming knowledge. The other group includes extendable rule types whose rules you can extend or modify without having programming knowledge.
Predefined rule types
Check the relationships and structures in the selected models. This check is model type-specific. Accordingly, the rules are combined in groups that pertain to specific model types. Model checking always takes place at occurrence level.
Check the relationship of an object definition to its assigned models. If the assigned model meets the conditions of the rule, it is recognized as a complete and correct assignment. The assignment rules are combined in groups that relate to specific object types.
Extendable rule types
Check the consistency of contents among multiple models. You can use these rules to check how frequently an object type occurs in source and target models of a specific type.
Check allocations of objects of one type to objects of a different type using defined relationship types.
Check whether selected attribute types are specified for all objects of a specific type. This check takes place at the definition level.
Check whether selected attribute types are specified for all models of a specific type.
Check whether selected attributes are specified for all relationships of a certain connection type.
Check the relationships and structures relevant to ARIS Optimizer calculations within one or more models.