English | Russian |
action attached to the incoming transition | действие, прикреплённое к входящему переходу (ssn) |
action attached to the outgoing transition | действие, прикреплённое к исходящему переходу (ssn) |
action attached to the transition | действие, прикреплённое к переходу (ssn) |
action of a transition | действие некоторого перехода (ssn) |
action on the transition | действие перехода (ssn) |
action on the transition | действие на переходе (ssn) |
action transitions | переходы по действию (ssn) |
an entry action is executed when the state is entered, after any action attached to the incoming transition and before any other internal activity | Действие при входе выполняется при входе в состояние, после действия, прикреплённого к входящему переходу и перед любым другим видом внутренней деятельности (см. "The UML Reference Manual" by J.Rumbaugh, Ivar Jacobson, Grady Booch 1999 ssn) |
an exit action is executed when the state is exited, after the completion of any internal activity and before action attached to the outgoing transition | Действие при выходе выполняется при выходе из состояния, после завершения любого другого вида внутренней деятельности и перед действием, прикреплённым к исходящему переходу (см. "The UML Reference Manual" by J.Rumbaugh, Ivar Jacobson, Grady Booch 1999 ssn) |
combining the delay and action transitions | объединение переходов по задержке и по действию (ssn) |
delay and action transitions | переходы по задержке и по действию (ssn) |
for each pair of transitions from the individual automata with the same action | для каждой пары переходов отдельных автоматов, помеченных одним и тем же действием (ssn) |
if the action of a transition is only an action of one of the two processes, then there will be a transition in the parallel composition for each location of the other timed automaton | если действием некоторого перехода будет действие только одного из двух процессов, то для каждой позиции второго временного автомата в параллельной композиции будет совместный переход (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
optional action attached to the transition | опциональное действие, прикреплённое к переходу (ssn) |
the action executes instantaneously at the state transition | Действие выполняется мгновенно в момент перехода (состояний) |
transition action | действие перехода (выполняется в результате перехода от одного состояния к другому ssn) |