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=101851%3AA9AB6D6259A5F5B7477C8EE62530EFED)
postCondition :
Constraint (0 1); -- source
ProtocolTransition![](/se-interop/image/right-arrow.png?hunchentoot-session=101851%3AA9AB6D6259A5F5B7477C8EE62530EFED)
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/down-arrow.png?hunchentoot-session=101851%3AA9AB6D6259A5F5B7477C8EE62530EFED)
referred :
Operation (0 *); -- source
ProtocolTransition![](/se-interop/image/down-arrow.png?hunchentoot-session=101851%3AA9AB6D6259A5F5B7477C8EE62530EFED)
container :
Region (1 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=101851%3AA9AB6D6259A5F5B7477C8EE62530EFED)
effect :
Behavior (0 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=101851%3AA9AB6D6259A5F5B7477C8EE62530EFED)
guard :
Constraint (0 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=101851%3AA9AB6D6259A5F5B7477C8EE62530EFED)
kind :
TransitionKind (1 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=101851%3AA9AB6D6259A5F5B7477C8EE62530EFED)
redefinedTransition :
Transition (0 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=101851%3AA9AB6D6259A5F5B7477C8EE62530EFED)
redefinitionContext :
Classifier (1 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=101851%3AA9AB6D6259A5F5B7477C8EE62530EFED)
source :
Vertex (1 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=101851%3AA9AB6D6259A5F5B7477C8EE62530EFED)
target :
Vertex (1 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=101851%3AA9AB6D6259A5F5B7477C8EE62530EFED)
trigger :
Trigger (0 *); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=101851%3AA9AB6D6259A5F5B7477C8EE62530EFED)
elementImport :
ElementImport (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=101851%3AA9AB6D6259A5F5B7477C8EE62530EFED)
importedMember :
PackageableElement (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=101851%3AA9AB6D6259A5F5B7477C8EE62530EFED)
member :
NamedElement (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=101851%3AA9AB6D6259A5F5B7477C8EE62530EFED)
ownedMember :
NamedElement (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=101851%3AA9AB6D6259A5F5B7477C8EE62530EFED)
ownedRule :
Constraint (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=101851%3AA9AB6D6259A5F5B7477C8EE62530EFED)
packageImport :
PackageImport (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=101851%3AA9AB6D6259A5F5B7477C8EE62530EFED)
isLeaf : Boolean (1 1); -- source
RedefinableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=101851%3AA9AB6D6259A5F5B7477C8EE62530EFED)
redefinedElement :
RedefinableElement (0 *); -- source
RedefinableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=101851%3AA9AB6D6259A5F5B7477C8EE62530EFED)
clientDependency :
Dependency (0 *); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=101851%3AA9AB6D6259A5F5B7477C8EE62530EFED)
name : String (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=101851%3AA9AB6D6259A5F5B7477C8EE62530EFED)
nameExpression :
StringExpression (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=101851%3AA9AB6D6259A5F5B7477C8EE62530EFED)
namespace :
Namespace (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=101851%3AA9AB6D6259A5F5B7477C8EE62530EFED)
qualifiedName : String (0 1); -- source
NamedElement![](/se-interop/image/right-arrow.png?hunchentoot-session=101851%3AA9AB6D6259A5F5B7477C8EE62530EFED)
visibility :
VisibilityKind (0 1); -- source
NamedElementDetermines whether and how the NamedElement is visible outside its owning
Namespace.
![](/se-interop/image/right-arrow.png?hunchentoot-session=101851%3AA9AB6D6259A5F5B7477C8EE62530EFED)
ownedComment :
Comment (0 *); -- source
ElementThe Comments owned by this Element.
{
composite}
Subsets: Element.ownedElement
![](/se-interop/image/down-arrow.png?hunchentoot-session=101851%3AA9AB6D6259A5F5B7477C8EE62530EFED)
ownedElement :
Element (0 *); -- source
Element![](/se-interop/image/right-arrow.png?hunchentoot-session=101851%3AA9AB6D6259A5F5B7477C8EE62530EFED)
owner :
Element (0 1); -- source
ElementThe Element that owns this Element.
{
readonly}
Derived union with sources: (namespace, container)
Opposite: Element.ownedElement
Constraints:
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].