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=12635%3AF83ABAB43E5F477B30EE23B82C4ACCAC)
container :
Region (1 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=12635%3AF83ABAB43E5F477B30EE23B82C4ACCAC)
effect :
Behavior (0 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=12635%3AF83ABAB43E5F477B30EE23B82C4ACCAC)
guard :
Constraint (0 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=12635%3AF83ABAB43E5F477B30EE23B82C4ACCAC)
kind :
TransitionKind (1 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=12635%3AF83ABAB43E5F477B30EE23B82C4ACCAC)
redefinedTransition :
Transition (0 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=12635%3AF83ABAB43E5F477B30EE23B82C4ACCAC)
redefinitionContext :
Classifier (1 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=12635%3AF83ABAB43E5F477B30EE23B82C4ACCAC)
source :
Vertex (1 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=12635%3AF83ABAB43E5F477B30EE23B82C4ACCAC)
target :
Vertex (1 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=12635%3AF83ABAB43E5F477B30EE23B82C4ACCAC)
trigger :
Trigger (0 *); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=12635%3AF83ABAB43E5F477B30EE23B82C4ACCAC)
elementImport :
ElementImport (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=12635%3AF83ABAB43E5F477B30EE23B82C4ACCAC)
importedMember :
PackageableElement (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=12635%3AF83ABAB43E5F477B30EE23B82C4ACCAC)
member :
NamedElement (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=12635%3AF83ABAB43E5F477B30EE23B82C4ACCAC)
ownedMember :
NamedElement (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=12635%3AF83ABAB43E5F477B30EE23B82C4ACCAC)
ownedRule :
Constraint (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=12635%3AF83ABAB43E5F477B30EE23B82C4ACCAC)
packageImport :
PackageImport (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=12635%3AF83ABAB43E5F477B30EE23B82C4ACCAC)
isLeaf : Boolean (1 1); -- source
RedefinableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=12635%3AF83ABAB43E5F477B30EE23B82C4ACCAC)
redefinedElement :
RedefinableElement (0 *); -- source
RedefinableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=12635%3AF83ABAB43E5F477B30EE23B82C4ACCAC)
clientDependency :
Dependency (0 *); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=12635%3AF83ABAB43E5F477B30EE23B82C4ACCAC)
name : String (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=12635%3AF83ABAB43E5F477B30EE23B82C4ACCAC)
nameExpression :
StringExpression (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=12635%3AF83ABAB43E5F477B30EE23B82C4ACCAC)
namespace :
Namespace (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=12635%3AF83ABAB43E5F477B30EE23B82C4ACCAC)
qualifiedName : String (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=12635%3AF83ABAB43E5F477B30EE23B82C4ACCAC)
visibility :
VisibilityKind (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=12635%3AF83ABAB43E5F477B30EE23B82C4ACCAC)
ownedComment :
Comment (0 *); -- source
Element![](/se-interop/image/down-arrow.png?hunchentoot-session=12635%3AF83ABAB43E5F477B30EE23B82C4ACCAC)
ownedElement :
Element (0 *); -- source
Element![](/se-interop/image/down-arrow.png?hunchentoot-session=12635%3AF83ABAB43E5F477B30EE23B82C4ACCAC)
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].