Skip to main content

Get help for ARIS

Available semantic checks

You can run the following semantic checks. Only the semantic checks that can be applied to items you selected are available. For example, the semantic check Validation of a BPMN model (BPMN 2.0) is available only if you have selected models of type BPMN 2.0, such as BPMN process diagram (BPMN 2.0).

Name

Description

Allocation rules for EPC

This profile contains allocation rules for object types of EPCs.

Automation

Checks whether the relationships and the structure of models are correct (modeling conventions) to enable automation. Checks also whether all required items and information are available. You can start the semantic check for Value-added chain diagrams and EPCs. Optionally, you can specify the scope of the check.

BO semantic check rules

Contains BO semantic check rules for objects in process models, as well as BO attribute rules for cost category and cost driver diagrams.

Consistency of service allocation

Checks whether the business services assigned to functions match the required capabilities. Also checks whether the software services and their operations which are assigned to the business services provide at least the same capabilities as the business services.

General structure rules for all model types

Checks the structure of your models.

Mandatory semantic checks

Contains all relevant checks for models/objects. The macro specifies the attributes Time of last semantic check and Semantic check successful for checked models/objects. If an error is found in a model/object: Boolean = FALSE. If no error is found or the model/object cannot be checked because the rule does not apply to the model/object: Boolean = TRUE.

Rules for design specification level

Contains the following rules:

  • Existence rules for model types of the design specification level

  • Allocation rules for object types of the design specification level

Rules for data elements

Contains the following rules:

  • Rules for checking the existence of clusters, entity types, relationship types, ERM attributes, and technical terms

  • Rules for checking the assignments of data view elements (relationship type, entity type, generalization type, etc.)

  • Object attribute rules for objects in the data view

  • Allocation rules for object type ERM attribute

Rules for functions

Contains the following rules:

  • Rules for checking the existence of functions

  • Rules for checking assignments of functions to which a model of type Function tree, EPC, PCD, or Function allocation diagram is assigned

  • Allocation rules for object type Function

Rules for organizational elements

Contains the following rules:

  • Rules for checking the existence of Organizational units, Positions, Groups, and Persons

  • Object attribute rules for objects in the organization view

  • Allocation rules for object types Organizational unit, Position, Group, and Person

Structure rules for hierarchy models

Contains structure rules for hierarchy models (function trees, organizational charts, etc.).

Structure rules for models of type 'eERM'

Contains rules for checking the structure of eERM models.

Structure rules for process models

Contains rules for checking the structure of process models (EPC, Process chain diagram, etc.).

Structure rules for specific hierarchy models

Contains structure rules for specified hierarchy models.

Validate process schedule

Contains structure rules for time-based modeling.

Validation for an EPC-to-BPMN transformation

Contains semantic check rules for models of type EPC.

Validation of a BPMN diagram (BPMN 2.0)

Validation of a BPMN diagram (BPMN 2.0)

Validation of a service-oriented BPMN model

Validation of a service-oriented BPMN model

Validation of a service-oriented EPC

Contains structure rules for service-oriented EPCs.