Class UML 2.3::ProtocolTransition
Description:
A protocol transition specifies a legal transition for an operation. Transitions
of protocol state machines have the following information: a pre condition
(guard), on trigger, and a post condition. Every protocol transition is
associated to zero or one operation (referred BehavioralFeature) that belongs
to the context classifier of the protocol state machine.
Direct Superclasses: TransitionDirect Subclasses: Class Precedence List: ProtocolTransition,
Transition,
Namespace,
RedefinableElement,
NamedElement,
ElementProperties:
![](/se-interop/image/down-arrow.png?hunchentoot-session=209138%3A60A7F1A6A251A0650BBE4C47CB6EA3D5)
postCondition :
Constraint (0 1); -- source
ProtocolTransition![](/se-interop/image/down-arrow.png?hunchentoot-session=209138%3A60A7F1A6A251A0650BBE4C47CB6EA3D5)
preCondition :
Constraint (0 1); -- source
ProtocolTransition![](/se-interop/image/down-arrow.png?hunchentoot-session=209138%3A60A7F1A6A251A0650BBE4C47CB6EA3D5)
referred :
Operation (0 *); -- source
ProtocolTransition![](/se-interop/image/down-arrow.png?hunchentoot-session=209138%3A60A7F1A6A251A0650BBE4C47CB6EA3D5)
container :
Region (1 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=209138%3A60A7F1A6A251A0650BBE4C47CB6EA3D5)
effect :
Behavior (0 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=209138%3A60A7F1A6A251A0650BBE4C47CB6EA3D5)
guard :
Constraint (0 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=209138%3A60A7F1A6A251A0650BBE4C47CB6EA3D5)
kind :
TransitionKind (1 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=209138%3A60A7F1A6A251A0650BBE4C47CB6EA3D5)
redefinedTransition :
Transition (0 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=209138%3A60A7F1A6A251A0650BBE4C47CB6EA3D5)
redefinitionContext :
Classifier (1 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=209138%3A60A7F1A6A251A0650BBE4C47CB6EA3D5)
source :
Vertex (1 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=209138%3A60A7F1A6A251A0650BBE4C47CB6EA3D5)
target :
Vertex (1 1); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=209138%3A60A7F1A6A251A0650BBE4C47CB6EA3D5)
trigger :
Trigger (0 *); -- source
Transition![](/se-interop/image/down-arrow.png?hunchentoot-session=209138%3A60A7F1A6A251A0650BBE4C47CB6EA3D5)
elementImport :
ElementImport (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=209138%3A60A7F1A6A251A0650BBE4C47CB6EA3D5)
importedMember :
PackageableElement (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=209138%3A60A7F1A6A251A0650BBE4C47CB6EA3D5)
member :
NamedElement (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=209138%3A60A7F1A6A251A0650BBE4C47CB6EA3D5)
ownedMember :
NamedElement (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=209138%3A60A7F1A6A251A0650BBE4C47CB6EA3D5)
ownedRule :
Constraint (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=209138%3A60A7F1A6A251A0650BBE4C47CB6EA3D5)
packageImport :
PackageImport (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=209138%3A60A7F1A6A251A0650BBE4C47CB6EA3D5)
isLeaf : Boolean (1 1); -- source
RedefinableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=209138%3A60A7F1A6A251A0650BBE4C47CB6EA3D5)
redefinedElement :
RedefinableElement (0 *); -- source
RedefinableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=209138%3A60A7F1A6A251A0650BBE4C47CB6EA3D5)
clientDependency :
Dependency (0 *); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=209138%3A60A7F1A6A251A0650BBE4C47CB6EA3D5)
name : String (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=209138%3A60A7F1A6A251A0650BBE4C47CB6EA3D5)
nameExpression :
StringExpression (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=209138%3A60A7F1A6A251A0650BBE4C47CB6EA3D5)
namespace :
Namespace (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=209138%3A60A7F1A6A251A0650BBE4C47CB6EA3D5)
qualifiedName : String (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=209138%3A60A7F1A6A251A0650BBE4C47CB6EA3D5)
visibility :
VisibilityKind (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=209138%3A60A7F1A6A251A0650BBE4C47CB6EA3D5)
ownedComment :
Comment (0 *); -- source
Element![](/se-interop/image/down-arrow.png?hunchentoot-session=209138%3A60A7F1A6A251A0650BBE4C47CB6EA3D5)
ownedElement :
Element (0 *); -- source
Element![](/se-interop/image/down-arrow.png?hunchentoot-session=209138%3A60A7F1A6A251A0650BBE4C47CB6EA3D5)
owner :
Element (0 1); -- source
ElementConstraints:
Signature: refers_to_operation() : Boolean;
Description: If a protocol transition refers to an operation (i. e. has a call trigger
corresponding to an operation), then that operation should apply to the
context classifier of the state machine of the protocol transition.
Expression: true
Signature: belongs_to_psm() : Boolean;
Description: A protocol transition always belongs to a protocol state machine.
Expression: container.belongsToPSM()
Signature: associated_actions() : Boolean;
Description: A protocol transition never has associated actions.
Expression: effect->isEmpty()
Operations:
No additional operations.
Send questions or comments to
[email protected].