Available semantic checks

You can run the following semantic checks. Depending on your selection, only the semantic checks that can be applied to the selected models are available. For example, the semantic check Validation of a BPMN model (BPMN 2.0) is only available 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

These rules check whether the relationships and the structure of models are correct (modeling conventions) to enable automation. They also check 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

This profile 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

This profile contains rules that check whether the business services assigned to functions match the required capabilities and 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

This profile contains rules for checking the structure of your models.

Mandatory semantic checks

This profile contains all relevant checks for models/objects. You can call it as a predefined macro.

The macro specifies the following attributes for checked models/objects:

  • Time of last semantic check

  • Semantic check successful

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 at design specification level

This profile 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

This profile 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

This profile 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

This profile 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

This profile contains structure rules for hierarchy models (function trees, organizational charts, etc.).

Structure rules for models of type 'eERM'

This profile contains rules for checking the structure of eERM models.

Structure rules for process models

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

Structure rules for specific hierarchy models

This profile contains structure rules for specified hierarchy models.

Validate process schedule

This profile contains structure rules for time-based modeling.

Validation for an EPC-to-BPMN transformation

This profile 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

This profile contains structure rules for service-oriented EPCs.