
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 <inputPort>
_isPresent,
where <inputPort> 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
<outputPort>=true, where <outputPort> is the output port
corresponding to this transition; for internal transition, the action is set
to <parameter>=true, where <parameter> 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)