ObjectFlowState - WFR2 - The classifier in state of the object flow state is the type of an output parameter of an operation ...