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=9483%3AC8F835D7A09406BA8A4BE8D09CB3BCF3)
postCondition :
Constraint (0 1); -- source
ProtocolTransition![](/se-interop/image/down-arrow.png?hunchentoot-session=9483%3AC8F835D7A09406BA8A4BE8D09CB3BCF3)
preCondition :
Constraint (0 1); -- source
ProtocolTransition![](/se-interop/image/right-arrow.png?hunchentoot-session=9483%3AC8F835D7A09406BA8A4BE8D09CB3BCF3)
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=9483%3AC8F835D7A09406BA8A4BE8D09CB3BCF3)
container :
Region (1 1); -- source
Transition![](/se-interop/image/right-arrow.png?hunchentoot-session=9483%3AC8F835D7A09406BA8A4BE8D09CB3BCF3)
effect :
Behavior (0 1); -- source
TransitionSpecifies an optional behavior to be performed when the Transition fires.
{
composite}
Subsets: Element.ownedElement
![](/se-interop/image/down-arrow.png?hunchentoot-session=9483%3AC8F835D7A09406BA8A4BE8D09CB3BCF3)
guard :
Constraint (0 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=9483%3AC8F835D7A09406BA8A4BE8D09CB3BCF3)
kind :
TransitionKind (1 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=9483%3AC8F835D7A09406BA8A4BE8D09CB3BCF3)
redefinedTransition :
Transition (0 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=9483%3AC8F835D7A09406BA8A4BE8D09CB3BCF3)
redefinitionContext :
Classifier (1 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=9483%3AC8F835D7A09406BA8A4BE8D09CB3BCF3)
source :
Vertex (1 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=9483%3AC8F835D7A09406BA8A4BE8D09CB3BCF3)
target :
Vertex (1 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=9483%3AC8F835D7A09406BA8A4BE8D09CB3BCF3)
trigger :
Trigger (0 *); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=9483%3AC8F835D7A09406BA8A4BE8D09CB3BCF3)
elementImport :
ElementImport (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=9483%3AC8F835D7A09406BA8A4BE8D09CB3BCF3)
importedMember :
PackageableElement (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=9483%3AC8F835D7A09406BA8A4BE8D09CB3BCF3)
member :
NamedElement (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=9483%3AC8F835D7A09406BA8A4BE8D09CB3BCF3)
ownedMember :
NamedElement (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=9483%3AC8F835D7A09406BA8A4BE8D09CB3BCF3)
ownedRule :
Constraint (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=9483%3AC8F835D7A09406BA8A4BE8D09CB3BCF3)
packageImport :
PackageImport (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=9483%3AC8F835D7A09406BA8A4BE8D09CB3BCF3)
isLeaf : Boolean (1 1); -- source
RedefinableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=9483%3AC8F835D7A09406BA8A4BE8D09CB3BCF3)
redefinedElement :
RedefinableElement (0 *); -- source
RedefinableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=9483%3AC8F835D7A09406BA8A4BE8D09CB3BCF3)
clientDependency :
Dependency (0 *); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=9483%3AC8F835D7A09406BA8A4BE8D09CB3BCF3)
name : String (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=9483%3AC8F835D7A09406BA8A4BE8D09CB3BCF3)
nameExpression :
StringExpression (0 1); -- source
NamedElement![](/se-interop/image/right-arrow.png?hunchentoot-session=9483%3AC8F835D7A09406BA8A4BE8D09CB3BCF3)
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/right-arrow.png?hunchentoot-session=9483%3AC8F835D7A09406BA8A4BE8D09CB3BCF3)
qualifiedName : String (0 1); -- source
NamedElementA name that allows the NamedElement to be identified within a hierarchy
of nested Namespaces. It is constructed from the names of the containing
Namespaces starting at the root of the hierarchy and ending with the name
of the NamedElement itself.
{
readonly,
derived}
![](/se-interop/image/down-arrow.png?hunchentoot-session=9483%3AC8F835D7A09406BA8A4BE8D09CB3BCF3)
visibility :
VisibilityKind (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=9483%3AC8F835D7A09406BA8A4BE8D09CB3BCF3)
ownedComment :
Comment (0 *); -- source
Element![](/se-interop/image/right-arrow.png?hunchentoot-session=9483%3AC8F835D7A09406BA8A4BE8D09CB3BCF3)
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=9483%3AC8F835D7A09406BA8A4BE8D09CB3BCF3)
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].