Copyright (C) 2009. EDMGROUP Pty Ltd. All rights reserved

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:

  1. States without transaction

  2. Subjects without End state

  3. Missing RECEIVE

  4. Missing SEND

  5. Invalid start state

  6. Incompatible message parameters

  7. Message to Unknown subject

  8. Unused messages

  9. Usage of non-existing messages

  10. Identical state names

  11. Suspicious state naming conventions:
    (more than one transaction with same name and different destination state)

  12. Subject without role

  13. Incompatible message parameters
    (Subject and message parameters incompatibility)

Download ePC Model Explorer