InterfaceAutomatonTransition
ptolemy.domains.fsm.kernel.ia.InterfaceAutomatonTransition

A Transition for Interface Automaton. In the Interface Automata paper written by Luca de Alfaro and Henzinger, transitions are called actions. However, the name action conflicts with the Action class in this package, so this class uses the name transition. There are three types of transitions: input, output, and internal. Each transition has a label. The labels for input, output, and internal transitions end with "?", "!", and ";", respectively. The type of transition is determined by the ending character of the label this way. Each input transition corresponds to an input port of the InterfaceAutomaton that contains it, and its label, excluding the ending "?", must be the same as the input port name; Similarly, each output transition corresponds to an output port, and its label, excluding the ending "!", must be the same as the output port name; Each internal transitions corresponds to a parameter of the InterfaceAutomaton that contains it, and its label, excluding the ending ";", must be the same as the parameter name. <p> The guard of each transition is set automatically. Users should not set the guard. For an input transition, the guard is set to &lt;inputPort&gt; _isPresent, where &lt;inputPort&gt; is the port corresponding to this transition; For output and internal transitions, the guard is set to true. Each of the output and internal transitions contain an Action. The expression of the Action is also set automatically. For output transition, the action is set to &lt;outputPort&gt;=true, where &lt;outputPort&gt; is the output port corresponding to this transition; for internal transition, the action is set to &lt;parameter&gt;=true, where &lt;parameter&gt; is the parameter corresponding to this transition.

Author(s): Yuhong Xiong, Xiaojun Liu and Edward A. Lee
Version:$Id: InterfaceAutomatonTransition.doc.html,v 1.1 2006/02/22 18:41:22 mangal Exp $
Pt.Proposed Rating:Red (yuhong)
Pt.Accepted Rating:Red (yuhong)