Contract Checks

PowerDesigner provides default model checks to verify the validity of contracts.

Check

Description and Correction

Contract name and code uniqueness

Contract names and codes must be unique in the model.

Manual correction: Modify the duplicate name/code.

Automatic correction: Appends a number to the duplicate name/code.

Contracts are not correctly used

Contracts must have at least one incoming and one outgoing link with an application service, a business service, or a role.

Manual correction: Create input and output links with the appropriate objects.

Automatic correction: None

Multiple input service types

Contracts must have either roles, business services, or application services as inputs, but not any combination of these types.

Manual correction: Remove any input links that are not of the same type.

Automatic correction: None

Same input and output link

Contracts cannot be the intermediary between the same service.

Manual correction: Modify the input or output link.

Automatic correction: None