Modelling errors

Model development takes time and for many reasons, before completion, model consists of many errors. It could be also a case, when consistent model requires alteration and this alteration brings to the model errors and logical inconsistency.

ePC Model analyzer applies various graph analysis algorithms to detect and report information about model errors and model inconsistency, such as:

States without transaction
Subjects without End state
Missing RECEIVE
Missing SEND
Invalid start state
Incompatible message parameters
Message to Unknown subject
Unused messages
Usage of non-existing messages
Identical state names
Suspicious state naming conventions:
(more than one transaction with same name and different destination state)
Subject without role
Incompatible message parameters
(Subject and message parameters incompatibility)

Download ePC Model Explorer