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

ePC Model consistency check (command line) (HOME)

jCOM model consistency (command line) receives Models folder as parameter and displays report for all jCOM1 model files (*.jpp)

This application could reduce time necessary to eliminate logical errors from jCOM1 model diagrams.

 

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

ePC Model analyzer applies various graph analysis algorithms to detect and report information about model errors, 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 jCOM model consistency check

Application is available as windows-less Win32 application for integration with third party applications.

EZY-SOFTWARE