A flow graph representative of the flow may be obtained.
The flow graph may be modified using a logical language.