Checking a BPM

The business process model is a very flexible tool, which allows you quickly to develop your model without constraints. You can check the validity of your BPM at any time.

A valid BPM conforms to the following kinds of rules:

Each object name or code must be unique in a BPM
Each process must have at least one input flow and at least one output flow
Each data created in the model must be used

Note: We recommend that you check your business process model before generating code or another model from it . If the check encounters errors, generation will be stopped. The Check model option is enabled by default in the Generation dialog box.

You can check your model in any of the following ways:

Press F4, or
Select Tools > Check Model, or
Right-click the diagram background and select Check Model from the contextual menu

The Check Model Parameters dialog opens, allowing you to specify the kinds of checks to perform, and the objects to apply them to. The following sections document the BPM -specific checks available by default. For information about checks made on generic objects available in all model types and for detailed information about using the Check Model Parameters dialog, see Core Features Guide > Modeling with PowerDesigner > Objects > Checking Models.

Package Checks
PowerDesigner provides default model checks to verify the validity of packages.
Process Checks
PowerDesigner provides default model checks to verify the validity of processes.
Decision Checks
PowerDesigner provides default model checks to verify the validity of decisions.
Synchronization Checks
PowerDesigner provides default model checks to verify the validity of synchronizations.
Flow Checks
PowerDesigner provides default model checks to verify the validity of flows.
Resource Checks
PowerDesigner provides default model checks to verify the validity of resources.
Resource Flow Checks
PowerDesigner provides default model checks to verify the validity of resource flows.
Organization Unit Checks
PowerDesigner provides default model checks to verify the validity of organization units.
Start and End Checks
PowerDesigner provides default model checks to verify the validity of starts and ends.
Message Format Checks
PowerDesigner provides default model checks to verify the validity of message formats.
Data Checks
PowerDesigner provides default model checks to verify the validity of data.
Service Provider and Interface Checks
PowerDesigner provides default model checks to verify the validity of service providers and interfaces.
Operation Checks
PowerDesigner provides default model checks to verify the validity of operations.
Variable Checks
PowerDesigner provides default model checks to verify the validity of variables.
Data Transformation Checks
PowerDesigner provides default model checks to verify the validity of data transformations.
Correlation Key Checks
PowerDesigner provides default model checks to verify the validity of correlation keys.
Event Checks
PowerDesigner provides default model checks to verify the validity of events.
Choreography Task Checks
PowerDesigner provides default model checks to verify the validity of choreography tasks
Conversation Node Checks
PowerDesigner provides default model checks to verify the validity of conversation nodes.
Communication Link Checks
PowerDesigner provides default model checks to verify the validity of communication links.