Various ARIS semantic checks were developed to validate an ARIS BPMN models against the BPMN specification. Those semantic checks (and a semantic check profile which contains them) are currently distributed in separate files and can be imported via the usual import mechanism.

The following list contains the BPMN constrains which are being validated by those semantic checks.