The model component contains a compiler and a process definition registry, used by the workflow engine in order to create process instances and manage in/out messages. The compiler must be able to generate an execution graph composed of the behaviors defined above.
For instance, the WS-BPEL defines ForEach and While activities. These BPEL activities generate nodes with Loop behaviors.