-
Notifications
You must be signed in to change notification settings - Fork 123
Modeler_audit_rules_R2670
Antonin Abhervé edited this page Sep 3, 2020
·
1 revision
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 history vertices should not be used in a protocol state machine.