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-cardinalitiesA hands-on example, a slide-set and and questions and answers from other community members can also be found on this documentation site.