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, StructuredClassifier, TemplateableElement, Type
All Known Subinterfaces:
ProtocolStateMachine

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

StateMachines can be used to express event-driven behaviors of parts of a system. Behavior is modeled as a traversal of a graph of Vertices interconnected by one or more joined Transition arcs that are triggered by the dispatching of successive Event occurrences. During this traversal, the StateMachine may execute a sequence of Behaviors associated with various elements of the StateMachine.

The following features are supported:

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

    • getConnectionPoint

      Collection<Pseudostate> getConnectionPoint()
      Returns the value of the 'Connection Point' containment reference list. The list contents are of type Pseudostate. It is bidirectional and its opposite is 'State Machine'. The connection points defined for this StateMachine. They represent the interface of the StateMachine when used as part of submachine State
      Returns:
      the value of the 'Connection Point' containment reference list.
      See Also:
      Model:
      opposite="stateMachine" containment="true" resolveProxies="true" ordered="false"
      Generated:
    • getSubmachineState

      Collection<State> getSubmachineState()
      Returns the value of the 'Submachine State' reference list. The list contents are of type State. It is bidirectional and its opposite is 'Submachine'. References the submachine(s) in case of a submachine State. Multiple machines are referenced in case of a concurrent State.
      Returns:
      the value of the 'Submachine State' reference list.
      See Also:
      Model:
      opposite="submachine" ordered="false"
      Generated:
    • getExtendedStateMachine

      Collection<StateMachine> getExtendedStateMachine()
      Returns the value of the 'Extended State Machine' reference list. The list contents are of type StateMachine. It is bidirectional and its opposite is '.StateMachine#get_stateMachineOfExtendedStateMachine state Machine Of Extended State Machine'. The StateMachines of which this is an extension.
      Returns:
      the value of the 'Extended State Machine' reference list.
      See Also:
      Model:
      opposite="_stateMachineOfExtendedStateMachine" ordered="false"
      Generated:
    • get_stateMachineOfExtendedStateMachine

      Collection<StateMachine> get_stateMachineOfExtendedStateMachine()
      Returns the value of the 'state Machine Of Extended State Machine' reference list. The list contents are of type StateMachine. It is bidirectional and its opposite is 'Extended State Machine'.

      If the meaning of the 'state Machine Of Extended State Machine' reference isn't clear, there really should be more of a description here...

      Returns:
      the value of the 'state Machine Of Extended State Machine' reference list.
      See Also:
      Model:
      opposite="extendedStateMachine" ordered="false"
      Generated:
    • getRegion

      Collection<Region> getRegion()
      Returns the value of the 'Region' containment reference list. The list contents are of type Region. It is bidirectional and its opposite is 'State Machine'. The Regions owned directly by the StateMachine.
      Returns:
      the value of the 'Region' containment reference list.
      See Also:
      Model:
      opposite="stateMachine" containment="true" resolveProxies="true" required="true" ordered="false"
      Generated:
    • hasConnectionPoint

      boolean hasConnectionPoint() throws javax.jmi.reflect.JmiException
      Throws:
      javax.jmi.reflect.JmiException
      Generated:
    • hasSubmachineState

      boolean hasSubmachineState() throws javax.jmi.reflect.JmiException
      Throws:
      javax.jmi.reflect.JmiException
      Generated:
    • hasExtendedStateMachine

      boolean hasExtendedStateMachine() throws javax.jmi.reflect.JmiException
      Throws:
      javax.jmi.reflect.JmiException
      Generated:
    • has_stateMachineOfExtendedStateMachine

      boolean has_stateMachineOfExtendedStateMachine() throws javax.jmi.reflect.JmiException
      Throws:
      javax.jmi.reflect.JmiException
      Generated:
    • hasRegion

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