Commercial ADONIS offers different mechanisms for an automatic consistency check. In the analysis component it is possible to perform queries on the consistency of the models, e.g., output of all activities without description, etc (also available in ADONIS:CE).
Furthermore, there are mechanisms for the definition of mandatory attributes which can be defined using the Administration Toolkit.
Additional features of ADONIS, called cardinalities, for the applied method determine the basic principles of modelling and can also be defined using the Administration Toolkit. The cardinalities defined can be automatically verified using ADONIS and inform the modeller where the rules are not fulfilled, e.g., after a decision there must be at least two outgoing paths.
The cardinalities in ADONIS indicate:
The field of cardinalities (number of objects, number of connectors) can be limited in the application library (cardinality rules), in order to, for instance, be able to check the modelling guidelines (e.g. max. 20 activities in a process model) or the Simulation condition (exactly an outgoing subsequent connector of an activity).
Checks for the compliance with the cardinality rules can be carried out during modelling or before saving automatically.
In order to control the logical sequence of the process the user may start a process evaluation (such as e.g. path analysis – also available in ADONIS:CE). In such a case the simulation checks if the process can be performed with all its possible paths “from the start to the end” and with the involvement of any sub-processes.