| Previous | UML Classes | Table of Contents | UML Packages | Next |
•
NamedElement (from Kernel , Dependencies ) on page 99
A vertex is an abstraction of a node in a state machine graph. In general, it can be the source or destination of any number
of transitions.
Attributes
No additional attributes
Associations
Issue 8445 - fix multiplicities form 1..* to 0..*
• outgoing: Transition[0..*] Specifies the transitions departing from this vertex.
• incoming: Transition[0..*] Specifies the transitions entering this vertex.
• container: Region [0..1] The region that contains this vertex. {Subsets Element::owner}
Additional operations
Issue 8445 - ‘state’ instead of ‘sate’
[1] The operation containingStatemachine() returns the state machine in which this Vertex is defined.
context Region ::containingStatemachine() : StateMachine
post: result = if not container->isEmpty() then-- the container is a regioncontainer.containingStateMachine()else if (oclIsKindOf(Pseudostate)) then-- entry or exit point?if (kind = #entryPoint) or (kind = #exitPoint) then
stateMachineelse if (oclIsKindOf(ConnectionPointReference )) thenstate.containingStateMachine() -- no other valid cases possible