ObjectFlowState - WFR1 - O classificador no estado do estado de fluxo do objeto é o tipo de um parâmetro de entrada para ...

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