Skip to content

Modeler_audit_rules_R2650

Jump to bottom
Antonin Abhervé edited this page Sep 3, 2020 · 1 revision

R2650

Summary

The context of a protocol state machine must be a Classifier.

Details

A protocol state machine is always defined in the context of a Classifier. It 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.

Tips

You should change the context of the state machine and choose a Classifier.

Clone this wiki locally