All Superinterfaces:
BaseElement, Behavior, BehavioredClassifier, Class, Classifier, Cloneable, Comparable, Element, EncapsulatedClassifier, org.eclipse.emf.ecore.EObject, MDObject, com.dassault_systemes.modeler.foundation.model.ModelElement, ModelObject, NamedElement, Namespace, org.eclipse.emf.common.notify.Notifier, PackageableElement, ParameterableElement, RedefinableElement, javax.jmi.reflect.RefBaseObject, javax.jmi.reflect.RefFeatured, javax.jmi.reflect.RefObject, StateMachine, StructuredClassifier, TemplateableElement, Type

public interface ProtocolStateMachine extends StateMachine
A representation of the model object 'Protocol State Machine'.

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.

The following features are supported:

See Also:
Model:
annotation="MOF package='statemachines.mdprotocolstatemachines'"
Generated:
  • Method Details

    • getConformance

      Collection<ProtocolConformance> getConformance()
      Returns the value of the 'Conformance' containment reference list. The list contents are of type ProtocolConformance. It is bidirectional and its opposite is 'Specific Machine'. Conformance between ProtocolStateMachine
      Returns:
      the value of the 'Conformance' containment reference list.
      See Also:
      Model:
      opposite="specificMachine" containment="true" resolveProxies="true" ordered="false"
      Generated:
    • get_protocolConformanceOfGeneralMachine

      Collection<ProtocolConformance> get_protocolConformanceOfGeneralMachine()
      Returns the value of the 'protocol Conformance Of General Machine' reference list. The list contents are of type ProtocolConformance. It is bidirectional and its opposite is 'General Machine'.

      If the meaning of the 'protocol Conformance Of General Machine' reference list isn't clear, there really should be more of a description here...

      Returns:
      the value of the 'protocol Conformance Of General Machine' reference list.
      See Also:
      Model:
      opposite="generalMachine" ordered="false"
      Generated:
    • get_portOfProtocol

      Collection<Port> get_portOfProtocol()
      Returns the value of the 'port Of Protocol' reference list. The list contents are of type Port. It is bidirectional and its opposite is 'Protocol'.

      If the meaning of the 'port Of Protocol' reference list isn't clear, there really should be more of a description here...

      Returns:
      the value of the 'port Of Protocol' reference list.
      See Also:
      Model:
      opposite="protocol" ordered="false"
      Generated:
    • getInterface

      @CheckForNull Interface getInterface()
      Returns the value of the 'Interface' container reference. It is bidirectional and its opposite is 'Protocol'. Specifies the namespace in which the protocol state machine is defined.
      Returns:
      the value of the 'Interface' container reference.
      See Also:
      Model:
      opposite="protocol" transient="false" ordered="false"
      Generated:
    • setInterface

      void setInterface(@CheckForNull Interface value)
      Sets the value of the 'Interface' container reference.
      Parameters:
      value - the new value of the 'Interface' container reference.
      See Also:
      Generated:
    • hasConformance

      boolean hasConformance() throws javax.jmi.reflect.JmiException
      Throws:
      javax.jmi.reflect.JmiException
      Generated:
    • has_protocolConformanceOfGeneralMachine

      boolean has_protocolConformanceOfGeneralMachine() throws javax.jmi.reflect.JmiException
      Throws:
      javax.jmi.reflect.JmiException
      Generated:
    • has_portOfProtocol

      boolean has_portOfProtocol() throws javax.jmi.reflect.JmiException
      Throws:
      javax.jmi.reflect.JmiException
      Generated: