Services‎ > ‎

BPMN Quality Assurance

Not sure if your BPMN models are correct?  CPI can help.
CPI uses the method of Abstract State Machines (ASM) [1] [2] to Quality assure BPMN models.  This method enables the elimination of all ambiguities with regards to incomplete or poor BPMN specification. Our QA report includes scientific-precise assessment with regards to:
  1. Un-normalized function abstractions
  2. Errors with regards to start-stop abstraction
  3. Absence of or incomplete swim-lanes
  4. Unbalanced send and receive states
  5. Incomplete internal behaviour specification per swim-lane.
To request this service,  click here.


[1]   Fleischmann, A et al: Subject-Oriented Business Process Management
       D01 10.1007/978-3-642-32392-8_12; (c) The Author(s) 2012.
       Springer, 2012

[2]  Börger E and Stärk, R: Abstract State Machines - A Method for High-Level System Design and
      Springer, 2003.