Contract Checks

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

Check	Description and Correction
Name/Code contains terms not in glossary	[if glossary enabled] Names and codes must contain only approved terms drawn from the glossary. Manual correction - Modify the name or code to contain only glossary terms. Automatic correction - None.
Name/Code contains synonyms of glossary terms	[if glossary enabled] Names and codes must not contain synonyms of glossary terms. Manual correction - Modify the name or code to contain only glossary terms. Automatic correction - Replaces synonyms with their associated glossary terms.
Name/Code uniqueness	Object names must be unique in the namespace. Manual correction - Modify the duplicate name or code. Automatic correction - Appends a number to the duplicate name or 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