Class UML 2.4.1::ProtocolStateMachine
Description:
A protocol state machine is always defined in the context of a classifier.
It specifies which operations of the classifier can be called in which
state and under which condition, thus specifying the allowed call sequences
on the classifier's operations. A protocol state machine presents the possible
and permitted transitions on the instances of its context classifier, together
with the operations which carry the transitions. In this manner, an instance
lifecycle can be created for a classifier, by specifying the order in which
the operations 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,
EncapsulatedClassifier,
StructuredClassifier,
BehavioredClassifier,
Classifier,
Namespace,
Type,
PackageableElement,
ParameterableElement,
RedefinableElement,
NamedElement,
TemplateableElement,
ElementProperties:
![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
conformance :
ProtocolConformance (0 *); -- source
ProtocolStateMachine![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
connectionPoint :
Pseudostate (0 *); -- source
StateMachine![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
extendedStateMachine :
StateMachine (0 *); -- source
StateMachine![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
region :
Region (1 *); -- source
StateMachine![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
submachineState :
State (0 *); -- source
StateMachine![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
context :
BehavioredClassifier (0 1); -- source
Behavior![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
isReentrant : Boolean (1 1); -- source
Behavior![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
ownedParameter :
Parameter (0 *); -- source
Behavior![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
ownedParameterSet :
ParameterSet (0 *); -- source
Behavior![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
postcondition :
Constraint (0 *); -- source
Behavior![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
precondition :
Constraint (0 *); -- source
Behavior![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
specification :
BehavioralFeature (0 1); -- source
Behavior![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
extension :
Extension (0 *); -- source
Class![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
isAbstract : Boolean (1 1); -- source
Class![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
isActive : Boolean (1 1); -- source
Class![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
nestedClassifier :
Classifier (0 *); -- source
Class![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
ownedAttribute :
Property (0 *); -- source
Class![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
ownedOperation :
Operation (0 *); -- source
Class![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
ownedReception :
Reception (0 *); -- source
Class![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
superClass :
Class (0 *); -- source
Class![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
ownedPort :
Port (0 *); -- source
EncapsulatedClassifier![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
ownedConnector :
Connector (0 *); -- source
StructuredClassifier![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
part :
Property (0 *); -- source
StructuredClassifier![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
role :
ConnectableElement (0 *); -- source
StructuredClassifier![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
classifierBehavior :
Behavior (0 1); -- source
BehavioredClassifier![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
interfaceRealization :
InterfaceRealization (0 *); -- source
BehavioredClassifier![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
ownedBehavior :
Behavior (0 *); -- source
BehavioredClassifier![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
attribute :
Property (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
collaborationUse :
CollaborationUse (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
feature :
Feature (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
generalization :
Generalization (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
inheritedMember :
NamedElement (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
isFinalSpecialization : Boolean (1 1); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
ownedTemplateSignature :
RedefinableTemplateSignature (0 1); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
ownedUseCase :
UseCase (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
powertypeExtent :
GeneralizationSet (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
redefinedClassifier :
Classifier (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
representation :
CollaborationUse (0 1); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
substitution :
Substitution (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
templateParameter :
ClassifierTemplateParameter (0 1); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
useCase :
UseCase (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
elementImport :
ElementImport (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
importedMember :
PackageableElement (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
member :
NamedElement (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
ownedMember :
NamedElement (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
ownedRule :
Constraint (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
packageImport :
PackageImport (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
package :
Package (0 1); -- source
Type![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
visibility :
VisibilityKind (1 1); -- source
PackageableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
owningTemplateParameter :
TemplateParameter (0 1); -- source
ParameterableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
isLeaf : Boolean (1 1); -- source
RedefinableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
redefinedElement :
RedefinableElement (0 *); -- source
RedefinableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
redefinitionContext :
Classifier (0 *); -- source
RedefinableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
clientDependency :
Dependency (0 *); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
name : String (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
nameExpression :
StringExpression (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
namespace :
Namespace (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
qualifiedName : String (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
templateBinding :
TemplateBinding (0 *); -- source
TemplateableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
ownedComment :
Comment (0 *); -- source
Element![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
ownedElement :
Element (0 *); -- source
Element![](/se-interop/image/down-arrow.png?hunchentoot-session=174719%3A650D1DFEF1ACD30A1F5822CC05EF65C2)
owner :
Element (0 1); -- source
ElementConstraints:
Signature: protocol_transitions() : Boolean;
Description: All transitions of a protocol state machine must be protocol transitions.
(transitions as extended by the ProtocolStateMachines package)
Expression: region->forAll(r | r.transition->forAll(t | t.oclIsTypeOf(ProtocolTransition)))
Signature: ports_connected() : Boolean;
Description: If two ports are connected, then the protocol state machine of the required
interface (if defined) must be conformant to the protocol state machine
of the provided interface (if defined).
Expression: true
Signature: entry_exit_do() : Boolean;
Description: The states of a protocol state machine cannot have entry, exit, or do activity
actions.
Expression: region->forAll(r | r.subvertex->forAll(v | v.oclIsKindOf(State) implies (v.entry->isEmpty() and v.exit->isEmpty() and v.doActivity->isEmpty())))
Signature: deep_or_shallow_history() : Boolean;
Description: Protocol state machines cannot have deep or shallow history pseudostates.
The OCL used here is not normative.Editor's notes: Pseudo not Psuedo, removed close paren.
Expression: region->forAll (r | r.subvertex->forAll (v | v.oclIsKindOf(Pseudostate) implies
((v.kind <> #deepHistory) and (v.kind <> #shallowHistory))))
Original: region->forAll (r | r.subvertex->forAll (v | v.oclIsKindOf(Psuedostate) implies ((v.kind <> #deepHistory) and (v.kind <> #shallowHistory)))))
Signature: classifier_context() : Boolean;
Description: A protocol state machine must only have a classifier context, not a behavioral
feature context.
Expression: (not context->isEmpty( )) and specification->isEmpty()
Operations:
No additional operations.
Send questions or comments to
[email protected].