Issue 7862: 15.3.11 State (from BehaviorStateMachines, ProtocolStateMachines) (uml2-superstructure-ftf)
Source:  (, )
Nature: Uncategorized Issue
Severity: 
Summary: 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.

 




Resolution: 
Revised Text: 
Actions taken:
August 31, 1999: received issue
October 14, 2004: received issue
Discussion: 

End of Annotations:=====
tate (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.