Class UML 2.5::Transition
Description:
A Transition represents an arc between exactly one source Vertex and exactly
one Target vertex (the source and targets may be the same Vertex). It may
form part of a compound transition, which takes the StateMachine from one
steady State configuration to another, representing the full response of
the StateMachine to an occurrence of an Event that triggered it.
Direct Superclasses: Namespace,
RedefinableElementDirect Subclasses: ProtocolTransitionClass Precedence List: Transition,
Namespace,
RedefinableElement,
NamedElement,
ElementProperties:
![](/se-interop/image/down-arrow.png?hunchentoot-session=10225%3AE869348971EA8F6D13D978CD6EEC8D34)
container :
Region (1 1); -- source
Transition![](/se-interop/image/right-arrow.png?hunchentoot-session=10225%3AE869348971EA8F6D13D978CD6EEC8D34)
effect :
Behavior (0 1); -- source
TransitionSpecifies an optional behavior to be performed when the Transition fires.
{
composite}
Subsets: Element.ownedElement
![](/se-interop/image/right-arrow.png?hunchentoot-session=10225%3AE869348971EA8F6D13D978CD6EEC8D34)
guard :
Constraint (0 1); -- source
TransitionA guard is a Constraint that provides a fine-grained control over the firing
of the Transition. The guard is evaluated when an Event occurrence is dispatched
by the StateMachine. If the guard is true at that time, the Transition
may be enabled, otherwise, it is disabled. Guards should be pure expressions
without side effects. Guard expressions with side effects are ill formed.
{
composite}
Subsets: Namespace.ownedRule
![](/se-interop/image/down-arrow.png?hunchentoot-session=10225%3AE869348971EA8F6D13D978CD6EEC8D34)
kind :
TransitionKind (1 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=10225%3AE869348971EA8F6D13D978CD6EEC8D34)
redefinedTransition :
Transition (0 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=10225%3AE869348971EA8F6D13D978CD6EEC8D34)
redefinitionContext :
Classifier (1 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=10225%3AE869348971EA8F6D13D978CD6EEC8D34)
source :
Vertex (1 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=10225%3AE869348971EA8F6D13D978CD6EEC8D34)
target :
Vertex (1 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=10225%3AE869348971EA8F6D13D978CD6EEC8D34)
trigger :
Trigger (0 *); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=10225%3AE869348971EA8F6D13D978CD6EEC8D34)
elementImport :
ElementImport (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=10225%3AE869348971EA8F6D13D978CD6EEC8D34)
importedMember :
PackageableElement (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=10225%3AE869348971EA8F6D13D978CD6EEC8D34)
member :
NamedElement (0 *); -- source
Namespace![](/se-interop/image/right-arrow.png?hunchentoot-session=10225%3AE869348971EA8F6D13D978CD6EEC8D34)
ownedMember :
NamedElement (0 *); -- source
NamespaceA collection of NamedElements owned by the Namespace.
{
composite,
readonly}
Derived union with sources: (ownedRule)
Subsets: Element.ownedElement, Namespace.member
Opposite: NamedElement.namespace
![](/se-interop/image/down-arrow.png?hunchentoot-session=10225%3AE869348971EA8F6D13D978CD6EEC8D34)
ownedRule :
Constraint (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=10225%3AE869348971EA8F6D13D978CD6EEC8D34)
packageImport :
PackageImport (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=10225%3AE869348971EA8F6D13D978CD6EEC8D34)
isLeaf : Boolean (1 1); -- source
RedefinableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=10225%3AE869348971EA8F6D13D978CD6EEC8D34)
redefinedElement :
RedefinableElement (0 *); -- source
RedefinableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=10225%3AE869348971EA8F6D13D978CD6EEC8D34)
clientDependency :
Dependency (0 *); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=10225%3AE869348971EA8F6D13D978CD6EEC8D34)
name : String (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=10225%3AE869348971EA8F6D13D978CD6EEC8D34)
nameExpression :
StringExpression (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=10225%3AE869348971EA8F6D13D978CD6EEC8D34)
namespace :
Namespace (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=10225%3AE869348971EA8F6D13D978CD6EEC8D34)
qualifiedName : String (0 1); -- source
NamedElement![](/se-interop/image/right-arrow.png?hunchentoot-session=10225%3AE869348971EA8F6D13D978CD6EEC8D34)
visibility :
VisibilityKind (0 1); -- source
NamedElementDetermines whether and how the NamedElement is visible outside its owning
Namespace.
![](/se-interop/image/down-arrow.png?hunchentoot-session=10225%3AE869348971EA8F6D13D978CD6EEC8D34)
ownedComment :
Comment (0 *); -- source
Element![](/se-interop/image/right-arrow.png?hunchentoot-session=10225%3AE869348971EA8F6D13D978CD6EEC8D34)
ownedElement :
Element (0 *); -- source
ElementThe Elements owned by this Element.
{
composite,
readonly}
Derived union with sources: (ownedComment, nameExpression, packageImport, ownedRule, ownedMember, elementImport, trigger, effect)
Opposite: Element.owner
![](/se-interop/image/down-arrow.png?hunchentoot-session=10225%3AE869348971EA8F6D13D978CD6EEC8D34)
owner :
Element (0 1); -- source
ElementConstraints:
No additional constraints.
Operations:
Signature: redefinitionContext.1() : Classifier;
Description: The redefinition context of a Transition is the nearest containing StateMachine.
Expression: result = (let sm : StateMachine = containingStateMachine() in if sm._'context' = null or sm.general->notEmpty() then sm else sm._'context' endif)
Signature: isConsistentWith(redefiningElement : RedefinableElement; ) : Boolean;
Description: The query isConsistentWith() specifies that a redefining Transition is
consistent with a redefined Transition provided that the redefining Transition
has the following relation to the redefined Transition: A redefining Transition
redefines all properties of the corresponding redefined Transition except
the source State and the Trigger.
Expression: result = (-- the following is merely a default body; it is expected that the specific form of this constraint will be specified by profiles true)
Signature: containingStateMachine() : StateMachine;
Description: The query containingStateMachine() returns the StateMachine that contains
the Transition either directly or transitively.
Expression: result = (container.containingStateMachine())
Send questions or comments to
[email protected].