Class UML 2.5::ProtocolTransition
Description:
A ProtocolTransition specifies a legal Transition for an Operation. Transitions
of ProtocolStateMachines have the following information: a pre-condition
(guard), a Trigger, and a post-condition. Every ProtocolTransition is associated
with at most one BehavioralFeature belonging to the context Classifier
of the ProtocolStateMachine.
Direct Superclasses: TransitionDirect Subclasses: Class Precedence List: ProtocolTransition,
Transition,
Namespace,
RedefinableElement,
NamedElement,
ElementProperties:
![](/se-interop/image/right-arrow.png?hunchentoot-session=4225%3A925648598176E6B17F72288BF8934E0D)
postCondition :
Constraint (0 1); -- source
ProtocolTransitionSpecifies the post condition of the Transition which is the Condition that
should be obtained once the Transition is triggered. This post condition
is part of the post condition of the Operation connected to the Transition.
{
composite}
Subsets: Namespace.ownedRule
![](/se-interop/image/down-arrow.png?hunchentoot-session=4225%3A925648598176E6B17F72288BF8934E0D)
preCondition :
Constraint (0 1); -- source
ProtocolTransition![](/se-interop/image/right-arrow.png?hunchentoot-session=4225%3A925648598176E6B17F72288BF8934E0D)
referred :
Operation (0 *); -- source
ProtocolTransitionThis association refers to the associated Operation. It is derived from
the Operation of the CallEvent Trigger when applicable.
{
readonly,
derived}
![](/se-interop/image/down-arrow.png?hunchentoot-session=4225%3A925648598176E6B17F72288BF8934E0D)
container :
Region (1 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=4225%3A925648598176E6B17F72288BF8934E0D)
effect :
Behavior (0 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=4225%3A925648598176E6B17F72288BF8934E0D)
guard :
Constraint (0 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=4225%3A925648598176E6B17F72288BF8934E0D)
kind :
TransitionKind (1 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=4225%3A925648598176E6B17F72288BF8934E0D)
redefinedTransition :
Transition (0 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=4225%3A925648598176E6B17F72288BF8934E0D)
redefinitionContext :
Classifier (1 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=4225%3A925648598176E6B17F72288BF8934E0D)
source :
Vertex (1 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=4225%3A925648598176E6B17F72288BF8934E0D)
target :
Vertex (1 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=4225%3A925648598176E6B17F72288BF8934E0D)
trigger :
Trigger (0 *); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=4225%3A925648598176E6B17F72288BF8934E0D)
elementImport :
ElementImport (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=4225%3A925648598176E6B17F72288BF8934E0D)
importedMember :
PackageableElement (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=4225%3A925648598176E6B17F72288BF8934E0D)
member :
NamedElement (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=4225%3A925648598176E6B17F72288BF8934E0D)
ownedMember :
NamedElement (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=4225%3A925648598176E6B17F72288BF8934E0D)
ownedRule :
Constraint (0 *); -- source
Namespace![](/se-interop/image/right-arrow.png?hunchentoot-session=4225%3A925648598176E6B17F72288BF8934E0D)
packageImport :
PackageImport (0 *); -- source
NamespaceReferences the PackageImports owned by the Namespace.
{
composite}
Subsets: Element.ownedElement
Opposite: PackageImport.importingNamespace
![](/se-interop/image/down-arrow.png?hunchentoot-session=4225%3A925648598176E6B17F72288BF8934E0D)
isLeaf : Boolean (1 1); -- source
RedefinableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=4225%3A925648598176E6B17F72288BF8934E0D)
redefinedElement :
RedefinableElement (0 *); -- source
RedefinableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=4225%3A925648598176E6B17F72288BF8934E0D)
clientDependency :
Dependency (0 *); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=4225%3A925648598176E6B17F72288BF8934E0D)
name : String (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=4225%3A925648598176E6B17F72288BF8934E0D)
nameExpression :
StringExpression (0 1); -- source
NamedElement![](/se-interop/image/right-arrow.png?hunchentoot-session=4225%3A925648598176E6B17F72288BF8934E0D)
namespace :
Namespace (0 1); -- source
NamedElementSpecifies the Namespace that owns the NamedElement.
{
readonly}
Derived union with sources: (container)
Subsets: Element.owner
Opposite: Namespace.ownedMember
![](/se-interop/image/down-arrow.png?hunchentoot-session=4225%3A925648598176E6B17F72288BF8934E0D)
qualifiedName : String (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=4225%3A925648598176E6B17F72288BF8934E0D)
visibility :
VisibilityKind (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=4225%3A925648598176E6B17F72288BF8934E0D)
ownedComment :
Comment (0 *); -- source
Element![](/se-interop/image/right-arrow.png?hunchentoot-session=4225%3A925648598176E6B17F72288BF8934E0D)
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=4225%3A925648598176E6B17F72288BF8934E0D)
owner :
Element (0 1); -- source
ElementConstraints:
No additional constraints.
Operations:
Signature: referred.1() : Operation;
Description: Derivation for ProtocolTransition::/referred
Expression: result = (trigger->collect(event)->select(oclIsKindOf(CallEvent))->collect(oclAsType(CallEvent).operation)->asSet())
Send questions or comments to
[email protected].