The consistency or completness of a business process mdoel can be checked using the class attribute "Class cardinalitiy".

A detailed explaination of the class cardinalities can be found in the ADOxx documentation:
http://www.adoxx.org/live/class-cardinalities

A hands-on example, a slide-set and and questions and answers from other community members can also be found on this documentation site.