Package uk.ac.ucl.cs.uml.jmi.BehavioralElements.StateMachines

Interface Summary
CallEvent A call event represents the reception of a request to synchronously invoke a specific operation.
CallEventClass Class proxy for type CallEvent.
ChangeEvent A change event models an event that occurs when an explicit boolean expression becomes true as a result of a change in value of one or more attributes or associations.
ChangeEventClass Class proxy for type ChangeEvent.
CompositeState A composite state is a state that contains other state vertices (states, pseudostates, etc.).
CompositeStateClass Class proxy for type CompositeState.
Event An event is a specification of a type of observable occurrence.
EventClass Class proxy for type Event.
FinalState A special kind of state signifying that the enclosing composite state is completed.
FinalStateClass Class proxy for type FinalState.
Guard A guard is a boolean expression that is attached to a transition as a fine-grained control over its firing.
GuardClass Class proxy for type Guard.
PseudoState A pseudostate is an abstraction that encompasses different types of transient vertices in the state machine graph.
PseudoStateClass Class proxy for type PseudoState.
SignalEvent A signal event represents the reception of a particular (asynchronous) signal.
SignalEventClass Class proxy for type SignalEvent.
SimpleState A SimpleState is a state that does not have substates.
SimpleStateClass Class proxy for type SimpleState.
State A state is an abstract metaclass that models a situation during hich some (usually implicit) invariant condition holds.
StateClass Class proxy for type State.
StateMachine A state machine is a specification that describes all possible behaviors of some dynamic model element.
StateMachineClass Class proxy for type StateMachine.
StateMachinesPackage  
StateVertex A StateVertex is an abstraction of a node in a statechart graph.
StateVertexClass Class proxy for type StateVertex.
StubState A stub state can appear within a submachine state and represents an actual subvertex contained within the referenced state machine.
StubStateClass Class proxy for type StubState.
SubmachineState A submachine state is a syntactical convenience that facilitates reuse and modularity.
SubmachineStateClass Class proxy for type SubmachineState.
SynchState A synch state is a vertex used for synchronizing the concurrent regions of a state machine.
SynchStateClass Class proxy for type SynchState.
TimeEvent A TimeEvent models the expiration of a specific deadline.
TimeEventClass Class proxy for type TimeEvent.
Transition A transition is a directed relationship between a source state vertex and a target state vertex.
TransitionClass Class proxy for type Transition.