Modeler_audit_rules_R2640

R2640

Summary

An Interface cannot have StateMachines, except a protocol StateMachine.

Details

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.

Tips

• Move the state machine to an instantiable Classifier.

• Modify the state machine to define it as a protocol state machine.