State Action Checks

PowerDesigner provides default model checks to verify the validity of state actions.

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.
Unspecified trigger event	Each action on a state must have a trigger event specified. This trigger event indicates when the action is executed. Note that this check does not apply to actions defined on transitions because transitions have an implicit event corresponding to the end of execution of internal actions (of the source state). Manual correction: Specify a trigger event in the action property sheet Automatic correction: None
Duplicated occurrence	Two distinct actions of a same state should not occur simultaneously. The occurrence of an action is defined by combining a trigger event and a condition. Manual correction: Change the trigger event or the condition of the action Automatic correction: None