UML22 — StateMachine - Constraints

"[1] The classifier context of a state machine cannot be an interface"

should be:

[1] The context classifier of a state machine cannot be an interface. not redefinitionContext.oclIsKindOf(Interface)

"[2] The context classifier of the method state machine of a behavioral feature must be the classifier that owns the behavioral feature."

should be:

[2] The context classifier of the method state machine of a behavioral feature must be one of the classifier that features the behavioral feature

– note that a behavorial feature can be associated with 1..* – classifiers if self.specification->notEmpty() then self.specification.featuringClassifier->includes(redefinitionContext) endif

"[3] The connection points of a state machine are pseudostates of kind entry point or exit point."

should be:

[3] The connection points of a state machine are pseudostates of kind entry point or exit point. connectionPoint->forAll(cp | cp.kind = #entryPoint or cp.kind = #exitPoint )

"[4] A state machine as the method for a behavioral feature cannot have entry/exit connection points."

should be:

[4] A state machine as the method for a behavioral feature cannot have entry/exit connection points. self.specification->notEmpty() implies ( self.connectionPoint->forAll(cp | not (cp.kind = #entryPoint or cp.kind = #exitPoint) ) )

Discussion
In UML 2.5, all of the above have been rewritten and corresponding OCL inserted.
Disposition: Closed - No Change