PowerDesigner provides default model checks to verify the validity of users, groups, and roles.
| 
                             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. 
  | 
Name/Code contains synonyms of glossary terms  | 
[if glossary enabled] Names and codes must not contain synonyms of glossary terms. 
  | 
Name/Code uniqueness  | 
Object names must be unique in the namespace. 
  | 
| 
                             Code maximum length  | 
                             The code length is limited by the maximum length specified in the DBMS definition (MaxLen entry, in the and Group categories). 
  | 
Existence of user  | 
[groups, roles] A group is created to factorize privilege and permission granting to users. A group without user members is useless. 
  | 
| 
                             Password empty  | 
                             [users, groups] Users and groups must have a password to be able to connect to the database. 
  |