-
Notifications
You must be signed in to change notification settings - Fork 114
Modeler_audit_rules_R2660
Antonin Abhervé edited this page Sep 3, 2020
·
1 revision
A state belonging to a protocol state machine should not have ‘entry’, ‘exit’ or ‘do’ InternalTransitions.
A protocol state machine specifies which operations of the classifier can be called in which state and under which conditions, thus specifying the authorized call sequences on the classifier’s operations. Therefore the state belonging to a protocol state machine should not describe actions.