UML25 — 15.3.11 State (from BehaviorStateMachines, ProtocolStateMachines)

1. Attributes:

/isComposite

/isSimple

/isSubmachineState

defined without a type ( it must be Boolean).

2. Associations:

redefinedState : State [0..1]

Must be subsets RedefinableElement::redefinedElement.

3.

region : Region [*] – subsets ownedMember

Must be “subsets Namespace::ownedMember”.

4.

/redefinitionContext : Classifier [1]

This member must redefine RedefinableElement::redefinitionContext (they have different multiplicity).

5.

region : Region [0..1]

Second member named ‘region’ with another multiplicity and different semantic.

6. I think some associations must subset members from parents, but this is not present in spec. I think this chapter needs review.

Discussion
This issue has already been resolved by, or no longer applies to, the UML 2.5 Beta 1 specification.
Disposition: Closed - No Change