ObjectFlowState - WFR1 - Le classifieur dans état de l'état de flux d'objet correspond au type d'un paramètre d'entrée d'une ...

[ObjectFlowState - WFR1] - Le classifieur dans état de l'état de flux d'objet correspond au type d'un paramètre d'entrée d'une opération appelée dans les états action qui ont l'état de flux d'objet d'une transition entrante.