Previous UML Classes Table of Contents UML Packages Next


15.3.15 TransitionKind

BehaviorStateMachines


   TransitionKind is an enumeration type.

*Generalizations

   None

   Description

   TransitionKind is an enumeration of the following literal values:

   Attributes

   No additional attributes

*Associations

   No additional associations

   Constraints

Issue 8444 -add OCL for the constraints

   [1] The source state of a transition with transition kind local must be a composite state.

   context Transition inv: (kind = TransitionKind ::local) implies (source.oclIsKindOf (State) and source.isComposite)

   [2] The source state of a transition with transition kind external must be a composite state.

   context Transition inv: (kind = TransitionKind ::external) implies (source.oclIsKindOf (State) and source.isComposite)

   Semantics

Issue 8444 -‘occurs’ instead of ‘occur’; ‘state’ instead of ‘stat’

   Notation

   Changes from previous UML

   The semantics implied by local is new.