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)