No âmbito das máquinas de estados, um relacionamento entre dois estados, indicando que um objeto em um determinado estado realizará certas ações e entrará em outro estado, dependendo da ocorrência de algum evento e da satisfação de alguma condição, é chamado de