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:

conformance :
ProtocolConformance (0 *); -- source
ProtocolStateMachine
connectionPoint :
Pseudostate (0 *); -- source
StateMachine
extendedStateMachine :
StateMachine (0 *); -- source
StateMachine
region :
Region (1 *); -- source
StateMachine
submachineState :
State (0 *); -- source
StateMachine
context :
BehavioredClassifier (0 1); -- source
Behavior
isReentrant : Boolean (1 1); -- source
Behavior
ownedParameter :
Parameter (0 *); -- source
Behavior
ownedParameterSet :
ParameterSet (0 *); -- source
Behavior
postcondition :
Constraint (0 *); -- source
Behavior
precondition :
Constraint (0 *); -- source
Behavior
specification :
BehavioralFeature (0 1); -- source
Behavior
extension :
Extension (0 *); -- source
Class
isAbstract : Boolean (1 1); -- source
Class
isActive : Boolean (1 1); -- source
Class
nestedClassifier :
Classifier (0 *); -- source
Class
ownedAttribute :
Property (0 *); -- source
Class
ownedOperation :
Operation (0 *); -- source
Class
ownedReception :
Reception (0 *); -- source
Class
superClass :
Class (0 *); -- source
Class
classifierBehavior :
Behavior (0 1); -- source
BehavioredClassifier
interfaceRealization :
InterfaceRealization (0 *); -- source
BehavioredClassifier
ownedBehavior :
Behavior (0 *); -- source
BehavioredClassifier
ownedPort :
Port (0 *); -- source
EncapsulatedClassifier
ownedConnector :
Connector (0 *); -- source
StructuredClassifier
part :
Property (0 *); -- source
StructuredClassifier
role :
ConnectableElement (0 *); -- source
StructuredClassifier
attribute :
Property (0 *); -- source
Classifier
collaborationUse :
CollaborationUse (0 *); -- source
Classifier
feature :
Feature (0 *); -- source
Classifier
generalization :
Generalization (0 *); -- source
Classifier
inheritedMember :
NamedElement (0 *); -- source
Classifier
isFinalSpecialization : Boolean (1 1); -- source
Classifier
ownedTemplateSignature :
RedefinableTemplateSignature (0 1); -- source
Classifier
ownedUseCase :
UseCase (0 *); -- source
Classifier
powertypeExtent :
GeneralizationSet (0 *); -- source
Classifier
redefinedClassifier :
Classifier (0 *); -- source
Classifier
representation :
CollaborationUse (0 1); -- source
Classifier
substitution :
Substitution (0 *); -- source
Classifier
templateParameter :
ClassifierTemplateParameter (0 1); -- source
Classifier
useCase :
UseCase (0 *); -- source
Classifier
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
package :
Package (0 1); -- source
Type
visibility :
VisibilityKind (0 1); -- source
PackageableElement
owningTemplateParameter :
TemplateParameter (0 1); -- source
ParameterableElement
templateBinding :
TemplateBinding (0 *); -- source
TemplateableElement
isLeaf : Boolean (1 1); -- source
RedefinableElement
redefinedElement :
RedefinableElement (0 *); -- source
RedefinableElement
redefinitionContext :
Classifier (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
ownedComment :
Comment (0 *); -- source
Element
ownedElement :
Element (0 *); -- source
Element
owner :
Element (0 1); -- source
ElementConstraints:
No additional constraints.
Operations:
No additional operations.
Send questions or comments to
[email protected].