Verifying the Design › Prototyping › Check for Correctness

Check for Correctness

Perform correctness checking to ensure that:

• Each process implementing procedure accurately reflects the requirements of each of its client processes.
• Compare the process definition, expected effects, and Procedure Action Diagrams to ensure that procedures faithfully reflect the processes they implement. Someone other than the designer who built the procedure using the techniques of facilitated sessions, walkthroughs, and inspections should perform this comparison. These techniques are described in Facilitated Sessions, Walkthroughs, and Inspections.
• Each design object is properly formed. These design objects include screens, action diagrams, and dialog flows.
• The Consistency Check facility is used to check that:
  • Each dialog flow is initiated by an exit state.
  • Each import and export view of an online procedure step is placed on a screen or defined as hidden.
  • Each Procedure Action Diagram has at least one action statement.