| State with Constraint association |
States that have either the PMP_Alert or the PMP_OpsControl stereotype applied must have
an associated constraint with the PMP_Resolution stereotype. |
| Transition reference to Event |
The name of a transition needs to reference (same name) an event type (signal with
PMP_Event stereotype). |
| Constraint(Resolution) State check |
The constraint for the resolution needs to be associated with a state. |
| Constraint(Object Filter) to Transition check |
A constraint with the PMP_ObjFilter stereotype applied needs to be associated with a
transition. |
| Constraint(Object Selector) to Transition check |
A constraint with the PMP_ObjectSelector stereotype applied needs to be associated with
a transition. |
| Event stereotype check |
Event types require that the PMP_Event stereotype is applied to them. |
| Property(Expected Context) Event check |
A property with the PMP_ExpectedContext stereotype applied must be associated with a
signal (event). |
| Action stereotype check |
Actions require that the PMP_Action stereotype is applied to them. |
| Unused Transition |
Unused transition, which means that it is defined in the model but is not shown in the
diagram. |
| Transition Source not defined |
Transitions must have a source state. |
| Transition Target not defined. |
Transitions must have a target state. |
| Unused Event |
Unused event, which is a defined event that is not referenced by any transition. |
| Unused Action |
Unused action, which is a defined action that is not referenced by any
transition. |
| Duplicate Event |
Duplicate event. |
| Duplicate Action |
Duplicate action. |
| Action Documentation |
An action is missing documentation. The documentation is not present or is
blank. |
| Finite State Machine Documentation |
A finite state machine (FSM) is missing documentation. The documentation is not present
or is blank. |
| FSM MasterObjectSelector stereotype property |
An FSM is missing this stereotype property. The property is not present or is
blank. |
| Unused State |
Unused state, which is a state that has no transitions to or from it. |
| Constraint stereotype |
Constraint with no PMP stereotypes. |
| Constraint body undefined |
Empty constraint because the body is blank. Constraints with the PMP_Resolution
stereotype applied are not included in this rule. |
| Constraint name undefined |
Empty constraint because the name is blank. Only constraints with the PMP_Resolution
stereotype applied are included in this rule. |
| Unnamed Transition |
A transition has no name. |
| Unnamed Activity |
An activity has no name. |
| Transition Guard Constraint Body Syntax |
Validate the syntax of the body of a transition guard constraint against a template. A
template is 1 $Context{ 1} 1 where 1 can be any string and $Context{ 1} can
appear multiple times. |
| One Transition Constraint(ObjFilter) allowed |
A transition can have at most one constraint (ObjFiler) applied. |
| One Transition Constraint(ObjectSelector) allowed |
A transition can have at most one constraint (ObjectSelector) applied. |
| Transition Constraint container check |
The constraints of a transition need to have the transition as their container. Use the
Fix Transitions function to resolve this problem. |
| Constrained Elements list check |
A constraint with a PMP stereotype applied (PMP_ObjFilter or PMP_ObjectSelector) can
constrain only one element in the model, and that element must be a transition. |
| Constraint(PMP_Resolution) name length check |
The maximum length for the constraint name was exceeded. |
| Constraint Resolution implementation check |
The transition that is associated with the operator resolution is not correctly
implemented. |
| Event Classification Code duplicate entry |
The event needs to have a single corresponding classification scheme - code
entry. |
| Event Classification Code missing entry |
The event needs to have a corresponding classification scheme - code entry. |
| Event Name length check |
The maximum length for the event name was exceeded. |
| FSM ObjectType length check |
The maximum length for the FSM ObjectType PMP_Fsm stereotype property was
exceeded. |
| ImageCustomerFileName length check |
The maximum length for the ImageCustomerFileName PMP_State stereotype property was
exceeded. |
| Master Object Selector syntax check |
The expression for this object selector needs to be an SQL select statement. |
| Override Object Selector syntax check |
The expression for this object selector needs to be an SQL select statement. |
| Publish Rule associated referenced PMP_Event |
For each signal with only a PMP_Publish_Rule stereotype applied, an event with the same
name and the PMP_Event stereotype must be applied. |
| Publish Rule description length |
The description of a publish rule must not exceed a predefined length. |
| Publish Rule Emitter blank check |
The emitter value of a publish rule is not defined or is blank. |
| Publish Rule Event Filter Aggr. check |
The event filter must reference a context parameter that is defined in the event and
that context must not be aggregatable. |
| Publish Rule Ext Event name length |
The Ext event name of a publish rule must not exceed a predefined length. |
| Publish Rule Filter expression syntax |
Validate the syntax of the publish rule filter. |
| Publish Rule filter value length |
The filter value of a publish rule must not exceed a predefined length. |
| Publish Rule location value length |
The location value of a publish rule must not exceed a predefined length. |
| Publish Rule name length |
The name of a publish rule must not exceed a predefined length. |
| Publish Rule Param length |
The Param value of a publish rule must not exceed a predefined length. |
| State Classification Code duplicate entry |
The state needs to have a single corresponding classification scheme - code
entry. |
| State Classification Code missing entry |
The state needs to have a corresponding classification scheme - Code entry. |
| State name |
The state name must be set. |
| State name length check |
The maximum length for the state name was exceeded. |
| State properties differ |
A state, or states, with the same name exists in the model with different
properties. |
| Transition Command feedback missing check |
Operator commands require the feedback action to be called. |
| Transition Deprecated command style check |
Checks that a deprecated command style is not used. |
| Transition Effect Stereotype check |
Checks that a PMP_Alert stereotype is not applied to a transition effect
(activity). |
| Transition Effect to Action |
The name of a transition effect must reference (same name) an action (activity with
PMP_Action stereotype). |
| Transition Event Filter Aggr. check |
The event filter must reference a context parameter that is defined in the event and
that context must not be aggregatable. |
| Transition Event Filter expression syntax |
Validate the syntax of the event filter of a transition (the guard constraint). |
| Transition Event Filter mixed macros check |
Validate all event filter expressions to ensure that both old and new macro formats do
not exist. |