ptolemy.domains.modal.kernel.ia
Class InterfaceAutomaton

java.lang.Object
  ptolemy.kernel.util.NamedObj
      ptolemy.kernel.InstantiableNamedObj
          ptolemy.kernel.Entity
              ptolemy.kernel.ComponentEntity
                  ptolemy.kernel.CompositeEntity
                      ptolemy.domains.modal.kernel.FSMActor
                          ptolemy.domains.modal.kernel.ia.InterfaceAutomaton

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, Actor, Executable, Initializable, TypedActor, ExplicitChangeContext, Changeable, Debuggable, DebugListener, Derivable, Instantiable, ModelErrorHandler, MoMLExportable, Moveable, Nameable

public class InterfaceAutomaton
extends FSMActor

This class models an Interface Automaton. Interface automata is an automata model defined by de Alfaro and Henzinger in the paper "Interface Automata". An InterfaceAutomaton contains a set of states and InterfaceAutomatonTransitions. There are three kinds transitions: input transition, output transition, and internal transitions. The input and output transitions correspond to input and output ports, respectively. The internal transition correspond to a parameter in this InterfaceAutomaton. The parameter is added automatically when the internal transition is added.

When an InterfaceAutomaton is fired, the outgoing transitions of the current state are examined. An IllegalActionException is thrown if there is more than one enabled transition. If there is exactly one enabled transition then it is taken.

An InterfaceAutomaton enters its initial state during initialization. The name of the initial state is specified by the initialStateName string attribute.

Since:

Ptolemy II 8.0

Version:

$Id: InterfaceAutomaton.java 57044 2010-01-27 22:41:05Z cxh $

Author:

Yuhong Xiong, Xiaojun Liu and Edward A. Lee

See Also:

State, InterfaceAutomatonTransition, Serialized Form

Accepted Rating:

Yellow (kienhuis)

Proposed Rating:

Yellow (liuxj)

Nested Class Summary

private static class

InterfaceAutomaton.Triple

Nested classes/interfaces inherited from class ptolemy.domains.modal.kernel.FSMActor

FSMActor.PortScope

Nested classes/interfaces inherited from class ptolemy.kernel.CompositeEntity

CompositeEntity.ContainedObjectsIterator

Field Summary

private java.util.Set	_illegalStates
private java.util.Set	_inputNames
private java.util.Set	_internalNames
private java.util.Set	_outputNames
private static java.lang.String	NAME_CONNECTOR

Fields inherited from class ptolemy.domains.modal.kernel.FSMActor

_currentState, _initializables, _inputTokenMap, _lastChosenTransition, _stopRequested, finalStateNames, initialStateName, stateDependentCausality

Fields inherited from class ptolemy.kernel.CompositeEntity

_levelCrossingLinks

Fields inherited from class ptolemy.kernel.util.NamedObj

_changeListeners, _changeLock, _changeRequests, _debugging, _debugListeners, _elementName, _isPersistent, _verbose, _workspace, ATTRIBUTES, CLASSNAME, COMPLETE, CONTENTS, DEEP, FULLNAME, LINKS

Fields inherited from interface ptolemy.actor.Executable

COMPLETED, NOT_READY, STOP_ITERATING

Constructor Summary

InterfaceAutomaton()
Construct an InterfaceAutomaton in the default workspace with an empty string as its name.

InterfaceAutomaton(CompositeEntity container, java.lang.String name)
Create an InterfaceAutomaton in the specified container with the specified name.

InterfaceAutomaton(Workspace workspace)
Construct an InterfaceAutomaton in the specified workspace with an empty string as its name.

Method Summary

protected void	_addRelation(ComponentRelation relation) Add an InterfaceAutomatonTransition to this InterfaceAutomaton.
private State	_addState(InterfaceAutomaton product, State stateInThis, State stateInArgument, java.util.HashMap frontier)
private void	_addTransition(InterfaceAutomaton automaton, java.lang.String relationNamePrefix, State sourceState, State destinationState, java.lang.String label)
private void	_check()
private void	_checkComposability(InterfaceAutomaton automaton)
private InterfaceAutomaton	_computeProduct(InterfaceAutomaton automaton, boolean considerTransient)
private void	_computeTransitionNamesInComposition(InterfaceAutomaton automaton)
private static boolean	_condition1Satisfied(InterfaceAutomaton superAutomaton, State superState, InterfaceAutomaton subAutomaton, State subState)
private static boolean	_condition2Satisfied(InterfaceAutomaton superAutomaton, State superState, InterfaceAutomaton subAutomaton, State subState, java.util.Set currentSimulation)
private void	_createPorts(InterfaceAutomaton composition)
private java.util.Set	_getDestinationStates(State state, java.lang.String label)
private static boolean	_isTransient(State state)
private void	_pruneIllegalStates()
private void	_removeStateAndTransitions(State state)
private void	_removeUnreacheableStates()
private java.util.Set	_transitionLabelsFrom(State state, int transitionType)
void	addPorts() Add instances of TypedIOPort that correspond to input and output transitions, if these port do not exist.
void	combineInternalTransitions() Combine each chain of internal transitions into one transition.
InterfaceAutomaton	compose(InterfaceAutomaton automaton) Return a new InterfaceAutomaton that is the composition of the specified InterfaceAutomaton and this one.
InterfaceAutomaton	compose(InterfaceAutomaton automaton, boolean considerTransient) Return a new InterfaceAutomaton that is the composition of the specified InterfaceAutomaton and this one.
java.util.Set	computeAlternatingSimulation(InterfaceAutomaton subAutomaton) Return the unique maximal alternating simulation from the specified automaton to this automaton.
java.util.Set	deadlockStates() Return the deadlock states in a Set.
java.util.Set	epsilonClosure(State state) Return the epsilon-closure of the specified state.
java.util.Set	externallyEnabledDestinations(State sourceState, java.lang.String transitionLabel) Return the set of externally enabled destination states.
java.util.Set	externallyEnabledInputTransitionLabels(State state) Return the labels for the set of externally enabled input transitions for the specified state.
java.util.Set	externallyEnabledOutputTransitionLabels(State state) Return the labels for the set of externally enabled output transitions for the specified state.
void	fire() Choose the enabled transition among the outgoing transitions of the current state.
java.lang.String	getInfo() Return a high-level description of this automaton.
java.util.Set	inputNameSet() Return the names of the input ports as a Set.
java.util.Set	internalTransitionNameSet() Return the names of the internal transitions as a Set.
boolean	isClosed() Return true if this automaton does not have any input and output; false otherwise.
boolean	isEmpty() Return true if this automaton is empty; false otherwise.
ComponentRelation	newRelation(java.lang.String name) Create a new instance of InterfaceAutomatonTransition with the specified name in this actor, and return it.
java.util.Set	outputNameSet() Return the names of the output ports as a Set.
void	project(InterfaceAutomaton automaton) Project this automaton into the specified one.
static java.util.Set	reacheableAlternatingSimulation(java.util.Set alternatingSimulation, InterfaceAutomaton superAutomaton, InterfaceAutomaton subAutomaton) Return the reacheable state pairs in the specified alternating simulation.
void	renameTransitionLabels(java.util.Map nameMap) Rename the labels on some transitions.

Methods inherited from class ptolemy.domains.modal.kernel.FSMActor

_addEntity, _commitLastChosenTransition, _getChannelForIdentifier, _getPortForIdentifier, _isRefinementOutput, _readInputs, _setCurrentConnectionMap, addInitializable, chooseTransition, clone, createReceivers, currentState, enabledTransitions, exportSubmodel, foundUnknown, getCausalityInterface, getContext, getDirector, getExecutiveDirector, getInitialState, getLastChosenTransition, getManager, getModifiedVariables, getPortScope, hasInput, hasInput, initialize, inputPortList, isFireFunctional, isOpaque, isStrict, iterate, newPort, newReceiver, outputPortList, postfire, prefire, preinitialize, readInputs, readOutputsFromRefinement, removeInitializable, reset, setLastChosenTransition, setNewIteration, setSupportMultirate, stop, stopFire, terminate, typeConstraints, wrapup

Methods inherited from class ptolemy.kernel.CompositeEntity

_adjustDeferrals, _deepOpaqueEntityList, _description, _exportMoMLContents, _finishedAddEntity, _recordDecoratedAttributes, _removeEntity, _removeRelation, _validateSettables, allAtomicEntityList, allCompositeEntityList, allowLevelCrossingConnect, classDefinitionList, connect, connect, containedObjectsIterator, deepEntityList, deepGetEntities, deepOpaqueEntityList, deepRelationSet, entityList, entityList, exportLinks, exportMoML, getAttribute, getEntities, getEntity, getPort, getRelation, getRelations, isAtomic, lazyAllAtomicEntityList, lazyAllCompositeEntityList, lazyClassDefinitionList, lazyDeepEntityList, lazyEntityList, lazyRelationList, numberOfEntities, numberOfRelations, numEntities, numRelations, relationList, removeAllEntities, removeAllRelations, setClassDefinition, setContainer, statistics, uniqueName

Methods inherited from class ptolemy.kernel.ComponentEntity

_addPort, _checkContainer, _getContainedObject, _propagateExistence, getContainer, instantiate, moveDown, moveToFirst, moveToIndex, moveToLast, moveUp, propagateExistence, setName

Methods inherited from class ptolemy.kernel.Entity

_removePort, connectedPortList, connectedPorts, connectionsChanged, getPorts, linkedRelationList, linkedRelations, portList, removeAllPorts

Methods inherited from class ptolemy.kernel.InstantiableNamedObj

_setParent, getChildren, getElementName, getParent, getPrototypeList, isClassDefinition, isWithinClassDefinition

Methods inherited from class ptolemy.kernel.util.NamedObj

_addAttribute, _adjustOverride, _attachText, _cloneFixAttributeFields, _debug, _debug, _debug, _debug, _debug, _getIndentPrefix, _isMoMLSuppressed, _markContentsDerived, _propagateValue, _removeAttribute, _splitName, _stripNumericSuffix, addChangeListener, addDebugListener, attributeChanged, attributeList, attributeList, attributeTypeChanged, clone, deepContains, depthInHierarchy, description, description, event, executeChangeRequests, exportMoML, exportMoML, exportMoML, exportMoML, exportMoMLPlain, getAttribute, getAttributes, getChangeListeners, getClassName, getDecoratorAttribute, getDecoratorAttributes, getDerivedLevel, getDerivedList, getDisplayName, getFullName, getModelErrorHandler, getName, getName, getSource, handleModelError, isDeferringChangeRequests, isOverridden, isPersistent, lazyContainedObjectsIterator, message, propagateValue, propagateValues, removeChangeListener, removeDebugListener, requestChange, setClassName, setDeferringChangeRequests, setDerivedLevel, setDisplayName, setModelErrorHandler, setPersistent, setSource, sortContainedObjects, toplevel, toString, validateSettables, workspace

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface ptolemy.kernel.util.Nameable

description, getContainer, getDisplayName, getFullName, getName, getName, setName

Methods inherited from interface ptolemy.kernel.util.Derivable

getDerivedLevel, getDerivedList, propagateValue

Field Detail

NAME_CONNECTOR

private static final java.lang.String NAME_CONNECTOR

See Also:

Constant Field Values

_inputNames

private java.util.Set _inputNames

_outputNames

private java.util.Set _outputNames

_internalNames

private java.util.Set _internalNames

_illegalStates

private java.util.Set _illegalStates

Constructor Detail

InterfaceAutomaton

public InterfaceAutomaton()

Construct an InterfaceAutomaton in the default workspace with an empty string as its name. Add the actor to the workspace directory. Increment the version number of the workspace.

InterfaceAutomaton

public InterfaceAutomaton(Workspace workspace)

Construct an InterfaceAutomaton in the specified workspace with an empty string as its name. The name can be changed later with setName(). If the workspace argument is null, then use the default workspace. Add the actor to the workspace directory. Increment the version number of the workspace.

Parameters:

workspace - The workspace that will list the actor.

InterfaceAutomaton

public InterfaceAutomaton(CompositeEntity container,
                          java.lang.String name)
                   throws IllegalActionException,
                          NameDuplicationException

Create an InterfaceAutomaton in the specified container with the specified name. The name must be unique within the container or an exception is thrown. The container argument must not be null, or a NullPointerException will be thrown.

Parameters:

container - The container.

name - The name of this automaton within the container.

Throws:

IllegalActionException - If the entity cannot be contained by the proposed container.

NameDuplicationException - If the name coincides with an entity already in the container.

Method Detail

addPorts

public void addPorts()

Add instances of TypedIOPort that correspond to input and output transitions, if these port do not exist. If the ports corresponding to some transitions already exist, do nothing with respect to those transitions.

combineInternalTransitions

public void combineInternalTransitions()

Combine each chain of internal transitions into one transition. This method iterates through all the states. If a state has just one incoming and one outgoing internal transitions, and it is not the initial state, it is removed and the two transitions are combined into one. The label on the new transition is formed by <incomingLabel><NAME_CONNECTOR><outgoingLabel>.

compose

public InterfaceAutomaton compose(InterfaceAutomaton automaton)
                           throws IllegalActionException

Return a new InterfaceAutomaton that is the composition of the specified InterfaceAutomaton and this one.

Parameters:

automaton - An InterfaceAutomaton to compose with this one.

Returns:

An InterfaceAutomaton that is the composition.

Throws:

IllegalActionException - If this automaton is not composable with the argument.

compose

public InterfaceAutomaton compose(InterfaceAutomaton automaton,
                                  boolean considerTransient)
                           throws IllegalActionException

Return a new InterfaceAutomaton that is the composition of the specified InterfaceAutomaton and this one.

Parameters:

automaton - An InterfaceAutomaton to compose with this one.

considerTransient - True to indicate that transient states should be treated differently; false to indicate that transient states are treated as regular ones.

Returns:

An InterfaceAutomaton that is the composition.

Throws:

IllegalActionException - If this automaton is not composable with the argument.

computeAlternatingSimulation

public java.util.Set computeAlternatingSimulation(InterfaceAutomaton subAutomaton)
                                           throws IllegalActionException

Return the unique maximal alternating simulation from the specified automaton to this automaton. Alternating simulation is a binary relation defined in the interface automata paper. If P and Q are two interface automata, and Vp and Vq are their states, an alternating simulation is a subset of Vp x Vq that satisfies the conditions described in the paper. This method computes such a subset. If this subset is not empty, we say that there is an alternating simulation from Q to P. In this class, we call the automaton P the super automaton, and Q the sub automaton.

This method returns a set of instances of StatePair. The first state in each pair is in the super automaton, and the second state is in the sub automaton.

Parameters:

subAutomaton - An interface automaton.

Returns:

A set representing the alternating simulation.

Throws:

IllegalActionException - If this automaton or the specified one is not consistent. For example, missing ports.

See Also:

StatePair

deadlockStates

public java.util.Set deadlockStates()
                             throws IllegalActionException

Return the deadlock states in a Set. A state is a deadlock state if it does not have any outgoing transitions.

Returns:

A Set of deadlock states.

Throws:

IllegalActionException - If this automaton is not closed.

epsilonClosure

public java.util.Set epsilonClosure(State state)

Return the epsilon-closure of the specified state. Epsilon-closure is defined in Definition 11 of the interface automaton paper. It is the set of states that can be reached from the specified state by taking only internal transitions.

Parameters:

state - The state from which the epsilon-closure is computed.

Returns:

A set of instances of State.

externallyEnabledDestinations

public java.util.Set externallyEnabledDestinations(State sourceState,
                                                   java.lang.String transitionLabel)

Return the set of externally enabled destination states. This set is defined in Definition 13 of the interface automaton paper. The caller should ensure that the specified transition label is for an externally enabled input or output transition. This method assumes this is true without checking.

Parameters:

sourceState - The source state from which the externally enabled destinations are computed.

transitionLabel - The label for an externally enabled transition.

Returns:

A set of instances of State.

externallyEnabledInputTransitionLabels

public java.util.Set externallyEnabledInputTransitionLabels(State state)

Return the labels for the set of externally enabled input transitions for the specified state. This set is defined in Definition 12 of the interface automaton paper.

Parameters:

state - The state for which the externally enabled input transitions are computed.

Returns:

A set of string.

externallyEnabledOutputTransitionLabels

public java.util.Set externallyEnabledOutputTransitionLabels(State state)

Return the labels for the set of externally enabled output transitions for the specified state. This set is defined in Definition 12 of the interface automaton paper.

Parameters:

state - The state for which the externally enabled output transitions are computed.

Returns:

A set of string.

fire

public void fire()
          throws IllegalActionException

Choose the enabled transition among the outgoing transitions of the current state. Throw an exception if there is more than one transition enabled.

Specified by:

fire in interface Executable

Overrides:

fire in class FSMActor

Throws:

IllegalActionException - If there is more than one transition enabled.

getInfo

public java.lang.String getInfo()

Return a high-level description of this automaton. The returned String has the format:

  (full name of automaton):
    (number of states) states
    (number of transitions) transitions
    (number of input names) input names
    (number of output names) output names
    (number of internal transition names) internal transition names
    Input Names:
      (list of input names)
    Output Names:
      (list of output names)
    Internal Transition Names:
      (list of internal transition names)
  

Returns:

A high-level description of this automaton.

inputNameSet

public java.util.Set inputNameSet()

Return the names of the input ports as a Set.

Returns:

A Set containing all the input port names.

internalTransitionNameSet

public java.util.Set internalTransitionNameSet()

Return the names of the internal transitions as a Set.

Returns:

A Set containing all the internal transition names.

isClosed

public boolean isClosed()

Return true if this automaton does not have any input and output; false otherwise.

Returns:

True if this automaton does not have any input and output.

isEmpty

public boolean isEmpty()

Return true if this automaton is empty; false otherwise.

Returns:

true if this automaton is empty; false otherwise.

newRelation

public ComponentRelation newRelation(java.lang.String name)
                              throws IllegalActionException,
                                     NameDuplicationException

Create a new instance of InterfaceAutomatonTransition with the specified name in this actor, and return it. This method is write-synchronized on the workspace.

Overrides:

newRelation in class FSMActor

Parameters:

name - The name of the new transition.

Returns:

An InterfaceAutomatonTransition with the given name.

Throws:

IllegalActionException - If the name argument is null.

NameDuplicationException - If name collides with that of a transition already in this actor.

outputNameSet

public java.util.Set outputNameSet()

Return the names of the output ports as a Set.

Returns:

A Set containing all the output port names.

project

public void project(InterfaceAutomaton automaton)
             throws IllegalActionException

Project this automaton into the specified one. More specifically, this method converts the input and output transitions of this automaton that do not overlap with the specified one to internal transitions, and remove the corresponding ports.

Parameters:

automaton - The interface automaton to which this automaton will be projected.

Throws:

IllegalActionException - If this or the specified automaton is not consistent. For example, missing ports.

reacheableAlternatingSimulation

public static java.util.Set reacheableAlternatingSimulation(java.util.Set alternatingSimulation,
                                                            InterfaceAutomaton superAutomaton,
                                                            InterfaceAutomaton subAutomaton)
                                                     throws IllegalActionException

Return the reacheable state pairs in the specified alternating simulation. A state pair is reacheable if they can be reached from the initial states of their corresponding automata through the same input or output transitions, or internal transitions. The internal transitions in the two automata that are taken to reach a state pair do not have to be the same.

Parameters:

alternatingSimulation - A set of instances of StatePair.

superAutomaton - The automaton that contains the first state in the state pairs in alternatingSimulation.

subAutomaton - The automaton that contains the second state in the state pairs in alternatingSimulation.

Returns:

A set of instances of StatePair that only contain the reacheable state pairs in alternatingSimulation.

Throws:

IllegalActionException - If thrown by getInitialState().

renameTransitionLabels

public void renameTransitionLabels(java.util.Map nameMap)
                            throws IllegalActionException,
                                   NameDuplicationException

Rename the labels on some transitions. The argument is a Map specifying which transition labels should be renamed. The keys of the Map are the old label names, and the values are the new label names. Neither the keys nor the values should include the ending character "?", "!", or ";" that indicate the type of the transition. And this method does not change the type.

For input and output transitions, this method also renames the ports associated with the renamed transitions, if these ports are created already. This is done regardless of whether there are instances of transitions that correspond to the ports. For internal transitions, this method renames the parameter associated with the renamed transition.

Parameters:

nameMap - A map between the old and the new label names.

Throws:

IllegalActionException - If the new name is not legal.

NameDuplicationException - If the requested name change will cause name collision.

_addRelation

protected void _addRelation(ComponentRelation relation)
                     throws IllegalActionException,
                            NameDuplicationException

Add an InterfaceAutomatonTransition to this InterfaceAutomaton. This method should not be used directly. Call the setContainer() method of the transition instead. This method does not set the container of the transition to refer to this container. This method is not synchronized on the workspace, so the caller should be.

Overrides:

_addRelation in class FSMActor

Parameters:

relation - The InterfaceAutomatonTransition to contain.

Throws:

IllegalActionException - If the transition has no name, or is not an instance of Transition.

NameDuplicationException - If the name collides with a name already on the contained transitions list.

_addState

private State _addState(InterfaceAutomaton product,
                        State stateInThis,
                        State stateInArgument,
                        java.util.HashMap frontier)
                 throws IllegalActionException,
                        NameDuplicationException

Throws:

IllegalActionException

NameDuplicationException

_addTransition

private void _addTransition(InterfaceAutomaton automaton,
                            java.lang.String relationNamePrefix,
                            State sourceState,
                            State destinationState,
                            java.lang.String label)
                     throws IllegalActionException,
                            NameDuplicationException

Throws:

IllegalActionException

NameDuplicationException

_check

private void _check()
             throws IllegalActionException

Throws:

IllegalActionException

_checkComposability

private void _checkComposability(InterfaceAutomaton automaton)
                          throws IllegalActionException

Throws:

IllegalActionException

_computeProduct

private InterfaceAutomaton _computeProduct(InterfaceAutomaton automaton,
                                           boolean considerTransient)
                                    throws IllegalActionException

Throws:

IllegalActionException

_computeTransitionNamesInComposition

private void _computeTransitionNamesInComposition(InterfaceAutomaton automaton)

_condition1Satisfied

private static boolean _condition1Satisfied(InterfaceAutomaton superAutomaton,
                                            State superState,
                                            InterfaceAutomaton subAutomaton,
                                            State subState)

_condition2Satisfied

private static boolean _condition2Satisfied(InterfaceAutomaton superAutomaton,
                                            State superState,
                                            InterfaceAutomaton subAutomaton,
                                            State subState,
                                            java.util.Set currentSimulation)

_createPorts

private void _createPorts(InterfaceAutomaton composition)
                   throws IllegalActionException

Throws:

IllegalActionException

_getDestinationStates

private java.util.Set _getDestinationStates(State state,
                                            java.lang.String label)

_isTransient

private static boolean _isTransient(State state)

_pruneIllegalStates

private void _pruneIllegalStates()

_removeStateAndTransitions

private void _removeStateAndTransitions(State state)

_removeUnreacheableStates

private void _removeUnreacheableStates()

_transitionLabelsFrom

private java.util.Set _transitionLabelsFrom(State state,
                                            int transitionType)