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:
postCondition :
Constraint (0 1); -- source
ProtocolTransition preCondition :
Constraint (0 1); -- source
ProtocolTransition referred :
Operation (0 *); -- source
ProtocolTransition container :
Region (1 1); -- source
Transition effect :
Behavior (0 1); -- source
Transition guard :
Constraint (0 1); -- source
TransitionA guard is a Constraint that provides a fine-grained control over the firing
of the Transition. The guard is evaluated when an Event occurrence is dispatched
by the StateMachine. If the guard is true at that time, the Transition
may be enabled, otherwise, it is disabled. Guards should be pure expressions
without side effects. Guard expressions with side effects are ill formed.
{
composite}
Subsets: Namespace.ownedRule
kind :
TransitionKind (1 1); -- source
Transition redefinedTransition :
Transition (0 1); -- source
Transition redefinitionContext :
Classifier (1 1); -- source
Transition source :
Vertex (1 1); -- source
Transition target :
Vertex (1 1); -- source
Transition trigger :
Trigger (0 *); -- source
Transition elementImport :
ElementImport (0 *); -- source
Namespace importedMember :
PackageableElement (0 *); -- source
Namespace member :
NamedElement (0 *); -- source
Namespace ownedMember :
NamedElement (0 *); -- source
Namespace ownedRule :
Constraint (0 *); -- source
Namespace packageImport :
PackageImport (0 *); -- source
Namespace isLeaf : Boolean (1 1); -- source
RedefinableElement redefinedElement :
RedefinableElement (0 *); -- source
RedefinableElement clientDependency :
Dependency (0 *); -- source
NamedElement name : String (0 1); -- source
NamedElement nameExpression :
StringExpression (0 1); -- source
NamedElement namespace :
Namespace (0 1); -- source
NamedElement qualifiedName : String (0 1); -- source
NamedElement visibility :
VisibilityKind (0 1); -- source
NamedElement ownedComment :
Comment (0 *); -- source
Element ownedElement :
Element (0 *); -- source
Element 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].