Cameo Business Modeler has the functionality to check if a created BPMN model corresponds to the most important modeling rules defined in the Business Process Modeling and Notation (BPMN) standard.
Cameo Business Modeler provides the following three validation suites to validate BPMN models:

BPMN2 Correctness, Completeness, and BPMN2 Export Completeness validation rules are available only in the Architect edition.