ObjectFlowState - WFR2 - O classificador no estado do estado de fluxo do objeto é o tipo de um parâmetro de saída de uma ...

[ObjectFlowState - WFR2] - O classificador no estado do estado de fluxo do objeto é o tipo de um parâmetro de saída de uma operação invocada nos estados de ação que possuem o estado de fluxo do objeto em uma transição de saída.