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/down-arrow.png?hunchentoot-session=28691%3A4976D06F3FA3C159A45C005AE3460790)
postCondition :
Constraint (0 1); -- source
ProtocolTransition![](/se-interop/image/right-arrow.png?hunchentoot-session=28691%3A4976D06F3FA3C159A45C005AE3460790)
preCondition :
Constraint (0 1); -- source
ProtocolTransitionSpecifies the precondition of the Transition. It specifies the Condition
that should be verified before triggering the Transition. This guard condition
added to the source State will be evaluated as part of the precondition
of the Operation referred by the Transition if any.
{
composite}
Subsets: Transition.guard
![](/se-interop/image/right-arrow.png?hunchentoot-session=28691%3A4976D06F3FA3C159A45C005AE3460790)
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=28691%3A4976D06F3FA3C159A45C005AE3460790)
container :
Region (1 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=28691%3A4976D06F3FA3C159A45C005AE3460790)
effect :
Behavior (0 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=28691%3A4976D06F3FA3C159A45C005AE3460790)
guard :
Constraint (0 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=28691%3A4976D06F3FA3C159A45C005AE3460790)
kind :
TransitionKind (1 1); -- source
Transition![](/se-interop/image/right-arrow.png?hunchentoot-session=28691%3A4976D06F3FA3C159A45C005AE3460790)
redefinedTransition :
Transition (0 1); -- source
TransitionThe Transition that is redefined by this Transition.
Subsets: RedefinableElement.redefinedElement
![](/se-interop/image/down-arrow.png?hunchentoot-session=28691%3A4976D06F3FA3C159A45C005AE3460790)
redefinitionContext :
Classifier (1 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=28691%3A4976D06F3FA3C159A45C005AE3460790)
source :
Vertex (1 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=28691%3A4976D06F3FA3C159A45C005AE3460790)
target :
Vertex (1 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=28691%3A4976D06F3FA3C159A45C005AE3460790)
trigger :
Trigger (0 *); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=28691%3A4976D06F3FA3C159A45C005AE3460790)
elementImport :
ElementImport (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=28691%3A4976D06F3FA3C159A45C005AE3460790)
importedMember :
PackageableElement (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=28691%3A4976D06F3FA3C159A45C005AE3460790)
member :
NamedElement (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=28691%3A4976D06F3FA3C159A45C005AE3460790)
ownedMember :
NamedElement (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=28691%3A4976D06F3FA3C159A45C005AE3460790)
ownedRule :
Constraint (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=28691%3A4976D06F3FA3C159A45C005AE3460790)
packageImport :
PackageImport (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=28691%3A4976D06F3FA3C159A45C005AE3460790)
isLeaf : Boolean (1 1); -- source
RedefinableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=28691%3A4976D06F3FA3C159A45C005AE3460790)
redefinedElement :
RedefinableElement (0 *); -- source
RedefinableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=28691%3A4976D06F3FA3C159A45C005AE3460790)
clientDependency :
Dependency (0 *); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=28691%3A4976D06F3FA3C159A45C005AE3460790)
name : String (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=28691%3A4976D06F3FA3C159A45C005AE3460790)
nameExpression :
StringExpression (0 1); -- source
NamedElement![](/se-interop/image/right-arrow.png?hunchentoot-session=28691%3A4976D06F3FA3C159A45C005AE3460790)
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=28691%3A4976D06F3FA3C159A45C005AE3460790)
qualifiedName : String (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=28691%3A4976D06F3FA3C159A45C005AE3460790)
visibility :
VisibilityKind (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=28691%3A4976D06F3FA3C159A45C005AE3460790)
ownedComment :
Comment (0 *); -- source
Element![](/se-interop/image/right-arrow.png?hunchentoot-session=28691%3A4976D06F3FA3C159A45C005AE3460790)
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=28691%3A4976D06F3FA3C159A45C005AE3460790)
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].