-
Notifications
You must be signed in to change notification settings - Fork 114
Modeler_audit_rules_R2640
Antonin Abhervé edited this page Sep 3, 2020
·
1 revision
A state machine defines the behavior of an instantiated classifier; therefore it cannot define an interface.
Since an interface specifies conformity characteristics, it does not own detailed behavior specifications. Instead, interfaces may own a protocol state machine that specifies event sequences and pre/post conditions for the operations described by the interface.