
InterfaceAutomaton |
ptolemy.domains.fsm.kernel.ia.InterfaceAutomaton |
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.
<p>
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.
<p>
An InterfaceAutomaton enters its initial state during initialization. The
name of the initial state is specified by the <i>initialStateName</i> string
attribute.
<p>
Author(s): Yuhong Xiong, Xiaojun Liu and Edward A. Lee
Version:$Id: InterfaceAutomaton.doc.html,v 1.1 2006/02/22 18:41:22 mangal Exp $
Pt.Proposed Rating:Yellow (liuxj)
Pt.Accepted Rating:Yellow (kienhuis)