Class UML 2.5::ProtocolStateMachine
Description:
A ProtocolStateMachine is always defined in the context of a Classifier.
It specifies which BehavioralFeatures of the Classifier can be called in
which State and under which conditions, thus specifying the allowed invocation
sequences on the Classifier's BehavioralFeatures. A ProtocolStateMachine
specifies the possible and permitted Transitions on the instances of its
context Classifier, together with the BehavioralFeatures that carry the
Transitions. In this manner, an instance lifecycle can be specified for
a Classifier, by defining the order in which the BehavioralFeatures can
be activated and the States through which an instance progresses during
its existence.
Direct Superclasses: StateMachineDirect Subclasses: Class Precedence List: ProtocolStateMachine,
StateMachine,
Behavior,
Class,
BehavioredClassifier,
EncapsulatedClassifier,
StructuredClassifier,
Classifier,
Namespace,
Type,
PackageableElement,
ParameterableElement,
TemplateableElement,
RedefinableElement,
NamedElement,
ElementProperties:
![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
conformance :
ProtocolConformance (0 *); -- source
ProtocolStateMachine![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
connectionPoint :
Pseudostate (0 *); -- source
StateMachine![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
extendedStateMachine :
StateMachine (0 *); -- source
StateMachine![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
region :
Region (1 *); -- source
StateMachine![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
submachineState :
State (0 *); -- source
StateMachine![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
context :
BehavioredClassifier (0 1); -- source
Behavior![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
isReentrant : Boolean (1 1); -- source
Behavior![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
ownedParameter :
Parameter (0 *); -- source
Behavior![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
ownedParameterSet :
ParameterSet (0 *); -- source
Behavior![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
postcondition :
Constraint (0 *); -- source
Behavior![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
precondition :
Constraint (0 *); -- source
Behavior![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
specification :
BehavioralFeature (0 1); -- source
Behavior![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
extension :
Extension (0 *); -- source
Class![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
isAbstract : Boolean (1 1); -- source
Class![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
isActive : Boolean (1 1); -- source
Class![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
nestedClassifier :
Classifier (0 *); -- source
Class![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
ownedAttribute :
Property (0 *); -- source
Class![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
ownedOperation :
Operation (0 *); -- source
Class![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
ownedReception :
Reception (0 *); -- source
Class![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
superClass :
Class (0 *); -- source
Class![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
classifierBehavior :
Behavior (0 1); -- source
BehavioredClassifier![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
interfaceRealization :
InterfaceRealization (0 *); -- source
BehavioredClassifier![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
ownedBehavior :
Behavior (0 *); -- source
BehavioredClassifier![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
ownedPort :
Port (0 *); -- source
EncapsulatedClassifier![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
ownedConnector :
Connector (0 *); -- source
StructuredClassifier![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
part :
Property (0 *); -- source
StructuredClassifier![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
role :
ConnectableElement (0 *); -- source
StructuredClassifier![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
attribute :
Property (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
collaborationUse :
CollaborationUse (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
feature :
Feature (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
generalization :
Generalization (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
inheritedMember :
NamedElement (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
isFinalSpecialization : Boolean (1 1); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
ownedTemplateSignature :
RedefinableTemplateSignature (0 1); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
ownedUseCase :
UseCase (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
powertypeExtent :
GeneralizationSet (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
redefinedClassifier :
Classifier (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
representation :
CollaborationUse (0 1); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
substitution :
Substitution (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
templateParameter :
ClassifierTemplateParameter (0 1); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
useCase :
UseCase (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
elementImport :
ElementImport (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
importedMember :
PackageableElement (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
member :
NamedElement (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
ownedMember :
NamedElement (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
ownedRule :
Constraint (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
packageImport :
PackageImport (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
package :
Package (0 1); -- source
Type![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
visibility :
VisibilityKind (0 1); -- source
PackageableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
owningTemplateParameter :
TemplateParameter (0 1); -- source
ParameterableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
templateBinding :
TemplateBinding (0 *); -- source
TemplateableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
isLeaf : Boolean (1 1); -- source
RedefinableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
redefinedElement :
RedefinableElement (0 *); -- source
RedefinableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
redefinitionContext :
Classifier (0 *); -- source
RedefinableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
clientDependency :
Dependency (0 *); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
name : String (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
nameExpression :
StringExpression (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
namespace :
Namespace (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
qualifiedName : String (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
ownedComment :
Comment (0 *); -- source
Element![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
ownedElement :
Element (0 *); -- source
Element![](/se-interop/image/down-arrow.png?hunchentoot-session=51495%3A601D3DE89BF61C46FA578D47C25405EC)
owner :
Element (0 1); -- source
ElementConstraints:
No additional constraints.
Operations:
No additional operations.
Send questions or comments to
[email protected].