Package de.mid.innovator.srv2api.icw2sm
The StateMachine package defines a set of concepts that can be used for
modeling discrete behavior through finite statetransition systems. In addition
to expressing the behavior of a part of the system, state machines can also be
used to express the usage protocol of part of a system.
-
Interface Summary Interface Description SMChoice SMDeepHistory DeepHistory represents the most recent active configuration of the composite state that directly contains this pseudostate - the state configuration that was active when the composite state was last exited.SMEntryPoint An entry point pseudostate is an entry point of a state machine or composite state.SMExitPoint An exit point pseudostate is an exit point of a state machine or composite state.SMFinalState SMInit An initial pseudostate represents a default vertex that is the source for a single transition to the default state of a composite state.SMJoinFork Joins vertices serve to merge several transitions emanating from source vertices in different orthogonal regions.SMJunction Junction vertices are semantic-free vertices that are used to chain multiple transitions together.SMProtocolConformance Protocol state machines can be redefined into more specific protocol state machines or into behavioral state machines.SMProtocolStateMachine A protocol state machine is always defined in the context of a classifier.SMPseudoState A pseudostate is an abstraction that encompasses different types of transient vertices in the state machine graph.SMRegion A region is an orthogonal part of either a composite state or a state machine.SMRegularState SMShallowHistory shallowHistory represents the most recent active substate of its containing state (but not the substates of that substate).SMState A state model is a situation which an invariant condition (usually implicit) usually holds in.SMStateMachine State machines can be used to express the behavior of part of a system.SMTerminator Entering a terminate pseudostate implies that the execution of this state machine by means of its context object is terminated.SMTransExt kind=external implies that the transition, if triggered, will exit the composite (source) state.SMTransInt kind=internal implies that the transition, if triggered, occurs without exiting or entering the source state.SMTransition A transition is a directed relationship between a source vertex and a target vertex.SMVertex A vertex is an abstraction of a node in a state machine graph. -
Class Summary Class Description ARG_SMRegionInsertAtSelection SMChoiceHelper SMDeepHistoryHelper DeepHistory represents the most recent active configuration of the composite state that directly contains this pseudostate - the state configuration that was active when the composite state was last exited.SMEntryPointHelper An entry point pseudostate is an entry point of a state machine or composite state.SMExitPointHelper An exit point pseudostate is an exit point of a state machine or composite state.SMFinalStateHelper SMInitHelper An initial pseudostate represents a default vertex that is the source for a single transition to the default state of a composite state.SMJoinForkHelper Joins vertices serve to merge several transitions emanating from source vertices in different orthogonal regions.SMJunctionHelper Junction vertices are semantic-free vertices that are used to chain multiple transitions together.SMProtocolStateMachineHelper A protocol state machine is always defined in the context of a classifier.SMRegionHelper A region is an orthogonal part of either a composite state or a state machine.SMRegularStateHelper This is a utility class for SMRegularState that provides static methods for creation or other purposes.SMShallowHistoryHelper shallowHistory represents the most recent active substate of its containing state (but not the substates of that substate).SMStateMachineHelper State machines can be used to express the behavior of part of a system.SMTerminatorHelper Entering a terminate pseudostate implies that the execution of this state machine by means of its context object is terminated.SMTransExtHelper kind=external implies that the transition, if triggered, will exit the composite (source) state.