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=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
conformance :
ProtocolConformance (0 *); -- source
ProtocolStateMachine![](/se-interop/image/right-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
connectionPoint :
Pseudostate (0 *); -- source
StateMachineThe connection points defined for this StateMachine. They represent the
interface of the StateMachine when used as part of submachine State
{
composite}
Subsets: Namespace.ownedMember
Opposite: Pseudostate.stateMachine
![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
extendedStateMachine :
StateMachine (0 *); -- source
StateMachine![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
region :
Region (1 *); -- source
StateMachine![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
submachineState :
State (0 *); -- source
StateMachine![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
context :
BehavioredClassifier (0 1); -- source
Behavior![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
isReentrant : Boolean (1 1); -- source
Behavior![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
ownedParameter :
Parameter (0 *); -- source
Behavior![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
ownedParameterSet :
ParameterSet (0 *); -- source
Behavior![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
postcondition :
Constraint (0 *); -- source
Behavior![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
precondition :
Constraint (0 *); -- source
Behavior![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
specification :
BehavioralFeature (0 1); -- source
Behavior![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
extension :
Extension (0 *); -- source
Class![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
isAbstract : Boolean (1 1); -- source
Class![](/se-interop/image/right-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
isActive : Boolean (1 1); -- source
ClassDetermines whether an object specified by this Class is active or not.
If true, then the owning Class is referred to as an active Class. If false,
then such a Class is referred to as a passive Class.
Default value: FALSE
![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
nestedClassifier :
Classifier (0 *); -- source
Class![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
ownedAttribute :
Property (0 *); -- source
Class![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
ownedOperation :
Operation (0 *); -- source
Class![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
ownedReception :
Reception (0 *); -- source
Class![](/se-interop/image/right-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
superClass :
Class (0 *); -- source
ClassThe superclasses of a Class, derived from its Generalizations.
{
derived}
Redefines: Classifier.general
![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
classifierBehavior :
Behavior (0 1); -- source
BehavioredClassifier![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
interfaceRealization :
InterfaceRealization (0 *); -- source
BehavioredClassifier![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
ownedBehavior :
Behavior (0 *); -- source
BehavioredClassifier![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
ownedPort :
Port (0 *); -- source
EncapsulatedClassifier![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
ownedConnector :
Connector (0 *); -- source
StructuredClassifier![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
part :
Property (0 *); -- source
StructuredClassifier![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
role :
ConnectableElement (0 *); -- source
StructuredClassifier![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
attribute :
Property (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
collaborationUse :
CollaborationUse (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
feature :
Feature (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
generalization :
Generalization (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
inheritedMember :
NamedElement (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
isFinalSpecialization : Boolean (1 1); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
ownedTemplateSignature :
RedefinableTemplateSignature (0 1); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
ownedUseCase :
UseCase (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
powertypeExtent :
GeneralizationSet (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
redefinedClassifier :
Classifier (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
representation :
CollaborationUse (0 1); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
substitution :
Substitution (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
templateParameter :
ClassifierTemplateParameter (0 1); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
useCase :
UseCase (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
elementImport :
ElementImport (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
importedMember :
PackageableElement (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
member :
NamedElement (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
ownedMember :
NamedElement (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
ownedRule :
Constraint (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
packageImport :
PackageImport (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
package :
Package (0 1); -- source
Type![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
visibility :
VisibilityKind (0 1); -- source
PackageableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
owningTemplateParameter :
TemplateParameter (0 1); -- source
ParameterableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
templateBinding :
TemplateBinding (0 *); -- source
TemplateableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
isLeaf : Boolean (1 1); -- source
RedefinableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
redefinedElement :
RedefinableElement (0 *); -- source
RedefinableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
redefinitionContext :
Classifier (0 *); -- source
RedefinableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
clientDependency :
Dependency (0 *); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
name : String (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
nameExpression :
StringExpression (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
namespace :
Namespace (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
qualifiedName : String (0 1); -- source
NamedElement![](/se-interop/image/right-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
ownedComment :
Comment (0 *); -- source
ElementThe Comments owned by this Element.
{
composite}
Subsets: Element.ownedElement
![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
ownedElement :
Element (0 *); -- source
Element![](/se-interop/image/down-arrow.png?hunchentoot-session=86227%3ABF1E0F83EE8D02E1448703D1833E4CA2)
owner :
Element (0 1); -- source
ElementConstraints:
No additional constraints.
Operations:
No additional operations.
Send questions or comments to
[email protected].